Modulelinear-base-0.8.1

Control.Optics.Linear.Prism

value(.>) :: Optic_ arr s t a b -> Optic_ arr a b x y -> Optic_ arr s t x y

value_Just :: Strong Either Void arr => Optic_ arr (Maybe a) (Maybe b) a b

value_Left :: Strong Either Void arr => Optic_ arr (Either a c) (Either b c) a b

value_Nothing :: Strong Either Void arr => Optic_ arr (Maybe a) (Maybe a) () ()

value_Right :: Strong Either Void arr => Optic_ arr (Either c a) (Either c b) a b

valuebuild :: Optic_ (CoKleisli (Const b)) s t a b -> b %1 -> t

valuematch :: Optic_ (Market a b) s t a b -> s %1 -> Either t a

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

valuewithPrism

typetype Prism s t a b = Optic (Strong Either Void) s t a b

typetype Prism' s a = Prism s s a a