Fresnel.Review

Reviews

type Review t b = forall (p :: Type -> Type -> Type). IsReview p => Optic' p t b

class (IsPrism p, Bifunctor p, Costrong p) => IsReview (p :: Type -> Type -> Type)

Instances

IsReview (Recall e)

Defined in Fresnel.Review

Construction

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

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

un :: Getter s a -> Review a s

Elimination

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

review :: Review t b -> b -> t

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

re :: Review t b -> Getter b t

Utilities

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