Servant.Checked.Exceptions.Internal.Prism

These functions are for working with Optics popularized by the lens package. Documentation can be found in the lens package. These functions are redefined here to remove the dependency on the lens package.

Documentation

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

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

type Prism' s a = Prism s s a a

prism' :: (a -> s) -> (s -> Maybe a) -> Prism' s a

type Iso s t a b = forall p f. (Profunctor p, Functor f) => p a (f b) -> p s (f t)

iso :: (s -> a) -> (b -> t) -> Iso s t a b

review :: Prism' t b -> b -> t

preview :: Prism' s a -> s -> Maybe a

(<>~) :: Monoid a => ASetter s t a a -> a -> s -> t infixr 4