Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Sum.Internal.Typed

Derive constructor-field-type-based prisms generically.

1 type
1 class
1 value

Packagegeneric-lens-core-2.3.0.0
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTyped.hs

type

type Context a s = (Generic s, ErrorUnlessOne a s (CollectPartialType (TupleToList a) (Rep s)), GAsType (Rep s) a, Defined (Rep s) (NoGeneric s '['Text "arising from a generic prism focusing on a constructor of type " ':<>: QuoteType a]) ())

valuederived :: Context a s => Prism' s a

classclass GAsType (f :: Type -> Type) as where

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

Methods

_GTyped :: Prism (f x) (f x) as as

Instances3GAsType

GSumAsType (HasPartialTypeP (TupleToList a) l) l r a => GAsType (l :+: r) aDefined in generic-lens-core-2.3.0.0 · Data.Generics.Sum.Internal.Typed
GAsType f a => GAsType (M1 D meta f) aDefined in generic-lens-core-2.3.0.0 · Data.Generics.Sum.Internal.Typed
(GIsList f f as as, ListTuple a a as as) => GAsType (M1 C meta f) aDefined in generic-lens-core-2.3.0.0 · Data.Generics.Sum.Internal.Typed