Modulegeneric-lens-core-2.2.1.0Haskell2010

Data.Generics.Sum.Internal.Constructors

Derive constructor-name-based prisms generically.

3 types
3 classes
1 value

Packagegeneric-lens-core-2.2.1.0
Exports7
LanguageHaskell2010
LicenceBSD-3-Clause
SourceConstructors.hs

classclass GAsConstructor (ctor :: Symbol) (s :: Type -> Type) (t :: Type -> Type) a b | ctor s -> a, ctor t -> b where

As AsConstructor but over generic representations as defined by GHC.Generics.

Methods

_GCtor :: Prism (s x) (t x) a b

Instances3GAsConstructor

GSumAsConstructor ctor (HasCtorP ctor l) l r l' r' a b => GAsConstructor ctor (l :+: r) (l' :+: r') a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Sum.Internal.Constructors
GAsConstructor ctor f f' a b => GAsConstructor ctor (M1 D meta f) (M1 D meta f') a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Sum.Internal.Constructors
(GIsList f g as bs, ListTuple a b as bs) => GAsConstructor ctor (M1 C ('MetaCons ctor fixity fields) f) (M1 C ('MetaCons ctor fixity fields) g) a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Sum.Internal.Constructors

typetype GAsConstructor' (ctor :: Symbol) (s :: Type -> Type) a = GAsConstructor ctor s s a a

typetype Context' (ctor :: Symbol) s a = (Context0 ctor s s a a, ErrorUnless ctor s (HasCtorP ctor (Rep s)))

classclass Context (ctor :: Symbol) s t a b | ctor s -> a, ctor t -> b

Instances1Context

(ErrorUnless ctor s (HasCtorP ctor (Rep s)), GAsConstructor' ctor (Rep s) a, GAsConstructor' ctor (Rep (Indexed s)) a', GAsConstructor ctor (Rep s) (Rep t) a b, t ~ Infer s a' b, GAsConstructor' ctor (Rep (Indexed t)) b', s ~ Infer t b' a) => Context ctor s t a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Sum.Internal.Constructors

classclass Context_ (ctor :: Symbol) s t a b

Instances1Context_

(ErrorUnless ctor s (HasCtorP ctor (Rep s)), GAsConstructor' ctor (Rep s) a, GAsConstructor' ctor (Rep (Indexed s)) a', GAsConstructor ctor (Rep s) (Rep t) a b, GAsConstructor' ctor (Rep (Indexed t)) b', UnifyHead s t, UnifyHead t s) => Context_ ctor s t a bDefined in generic-lens-core-2.2.1.0 · Data.Generics.Sum.Internal.Constructors

type

type Context0 (ctor :: Symbol) s t a b = (Generic s, Generic t, GAsConstructor ctor (Rep s) (Rep t) a b, Defined (Rep s) (NoGeneric s '[(('Text "arising from a generic prism focusing on the " ':<>: QuoteType ctor) ':<>: 'Text " constructor of type ") ':<>: QuoteType a, 'Text "in " ':<>: QuoteType s]) ())

valuederived0 :: Context0 ctor s t a b => Prism s t a b