Modulegeneric-lens-core-2.3.0.0Haskell2010

Data.Generics.Internal.Profunctor.Prism

Internal lens helpers. Only exported for Haddock

Synopsis

typetype APrism i s t a b = Market a b i a b -> Market a b i s t

typetype Prism s t a b = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a b -> p i s t

typetype Prism' s a = forall (p :: Type -> Type -> Type -> Type) i. Choice p => p i a a -> p i s s

valueleft :: Choice p => p i (a x) (b x) -> p i ((:+:) a c x) ((:+:) b c x)

valueright :: Choice p => p i (b x) (c x) -> p i ((:+:) a b x) ((:+:) a c x)

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

value_Left :: Choice p => p i a b -> p i (Either a c) (Either b c)

value_Right :: Choice p => p i a b -> p i (Either c a) (Either c b)

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

valuebuild :: (Tagged i b b -> Tagged i t t) -> b -> t

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

valuewithout'

valuewithPrism :: APrism i s t a b -> ((b -> t) -> (s -> Either t a) -> r) -> r

valueprism2prismp :: Market a b i s t -> Prism s t a b

valueidPrism :: Market a b i a b

valuegsum :: (a x -> c) -> (b x -> c) -> (:+:) a b x -> c