fresnel-0.0.0.2: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Fresnel.Review

Synopsis

Reviews

type Review t b = forall p. IsReview p => Optic' p t b Source #

class (IsPrism p, Bifunctor p, Costrong p) => IsReview p Source #

Instances

Instances details
IsReview (Recall e) Source # 
Instance details

Defined in Fresnel.Review

Construction

unto :: (b -> t) -> Review t b Source #

reviewing :: (Profunctor p, Bifunctor p) => Optic p s t a b -> Optic' p t b Source #

un :: Getter s a -> Review a s Source #

Elimination

reviews :: Review t b -> (e -> b) -> e -> t Source #

review :: Review t b -> b -> t Source #

(#) :: Review t b -> b -> t infixr 8 Source #

re :: Review t b -> Getter b t Source #

Utilities

lphantom :: (Bifunctor p, Profunctor p) => p b c -> p a c Source #