fresnel-0.0.0.0: high-powered optics in a small package

Fresnel.Profunctor.Recall

Synopsis

# Recall profunctor

newtype Recall e a b Source #

Recall e is dual to Forget r: it ignores the argument parameter, substituting in one of its own.

Constructors

 Recall FieldsrunRecall :: e -> b

#### Instances

Instances details
 Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsbimap :: (a -> b) -> (c -> d) -> Recall e a c -> Recall e b d #first :: (a -> b) -> Recall e a c -> Recall e b c #second :: (b -> c) -> Recall e a b -> Recall e a c # Choice (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsleft' :: Recall e a b -> Recall e (Either a c) (Either b c)right' :: Recall e a b -> Recall e (Either c a) (Either c b) Closed (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsclosed :: Recall e a b -> Recall e (x -> a) (x -> b) Costrong (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsunfirst :: Recall e (a, d) (b, d) -> Recall e a bunsecond :: Recall e (d, a) (d, b) -> Recall e a b Profunctor (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsdimap :: (a -> b) -> (c -> d) -> Recall e b c -> Recall e a dlmap :: (a -> b) -> Recall e b c -> Recall e a crmap :: (b -> c) -> Recall e a b -> Recall e a c(#.) :: forall a b c q. Coercible c b => q b c -> Recall e a b -> Recall e a c(.#) :: forall a b c q. Coercible b a => Recall e b c -> q a b -> Recall e a c Corepresentable (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Associated Typestype Corep (Recall e) :: Type -> Type Methodscotabulate :: (Corep (Recall e) d -> c) -> Recall e d c IsIso (Recall e) Source # Instance detailsDefined in Fresnel.Iso.Internal Source # Instance detailsDefined in Fresnel.Prism.Internal Source # Instance detailsDefined in Fresnel.Review Cosieve (Recall e) (Const e :: Type -> Type) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodscosieve :: Recall e a b -> Const e a -> b Sieve (Recall e) ((->) e :: Type -> Type) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodssieve :: Recall e a b -> a -> e -> b Monad (Recall e a) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methods(>>=) :: Recall e a a0 -> (a0 -> Recall e a b) -> Recall e a b #(>>) :: Recall e a a0 -> Recall e a b -> Recall e a b #return :: a0 -> Recall e a a0 # Functor (Recall e a) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsfmap :: (a0 -> b) -> Recall e a a0 -> Recall e a b #(<\$) :: a0 -> Recall e a b -> Recall e a a0 # Applicative (Recall e a) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodspure :: a0 -> Recall e a a0 #(<*>) :: Recall e a (a0 -> b) -> Recall e a a0 -> Recall e a b #liftA2 :: (a0 -> b -> c) -> Recall e a a0 -> Recall e a b -> Recall e a c #(*>) :: Recall e a a0 -> Recall e a b -> Recall e a b #(<*) :: Recall e a a0 -> Recall e a b -> Recall e a a0 # Semigroup b => Semigroup (Recall e a b) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methods(<>) :: Recall e a b -> Recall e a b -> Recall e a b #sconcat :: NonEmpty (Recall e a b) -> Recall e a b #stimes :: Integral b0 => b0 -> Recall e a b -> Recall e a b # Monoid b => Monoid (Recall e a b) Source # Instance detailsDefined in Fresnel.Profunctor.Recall Methodsmempty :: Recall e a b #mappend :: Recall e a b -> Recall e a b -> Recall e a b #mconcat :: [Recall e a b] -> Recall e a b # type Corep (Recall e) Source # Instance detailsDefined in Fresnel.Profunctor.Recall type Corep (Recall e) = Const e :: Type -> Type