| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Fresnel.Review
Synopsis
- type Review t b = forall p. IsReview p => Optic' p t b
- class (IsPrism p, Bifunctor p, Costrong p) => IsReview p
- 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
class (IsPrism p, Bifunctor p, Costrong p) => IsReview p Source #
Instances
| IsReview (Recall e) Source # | |
Defined in Fresnel.Review | |