Modulegeneric-lens-2.3.0.0Haskell2010

Data.Generics.Internal.VL.Prism

Internal lens helpers. Only exported for Haddock

Synopsis

type

type Prism s t a b = forall (p :: Type -> Type -> Type) (f :: Type -> Type). (Choice p, Applicative f) => p a (f b) -> p s (f t)

Type alias for prism

typetype Prism' s a = Prism s s a a

valuematch :: Prism s t a b -> s -> Either t a

valuebuild :: Prism s t a b -> b -> t

valueprism :: (b -> t) -> (s -> Either t a) -> Prism s t a b

valueprism2prismvl :: APrism i s t a b -> Prism s t a b

datadata Market a b s t

Instances3Choice, Profunctor, Functor

Choice (Market a b)Defined in generic-lens-2.3.0.0 · Data.Generics.Internal.VL.Prism
Profunctor (Market a b)Defined in generic-lens-2.3.0.0 · Data.Generics.Internal.VL.Prism
Functor (Market a b s)Defined in generic-lens-2.3.0.0 · Data.Generics.Internal.VL.Prism