Safe Haskell	None
Language	Haskell2010

Fresnel.Review

Contents

Synopsis

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)
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
reviews :: Review t b -> (e -> b) -> e -> t
review :: Review t b -> b -> t
(#) :: Review t b -> b -> t
re :: Review t b -> Getter b t
lphantom :: (Bifunctor p, Profunctor p) => p b c -> p a c

Reviews

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

Instances details

IsReview (Recall e) Source #
Instance details Defined in Fresnel.Review

Construction

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

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

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

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