Fresnel.Profunctor.Recall
Contents
newtype Recall e a b Source #
Recall e is dual to Forget r: it ignores the argument parameter, substituting in one of its own.
Recall e
Recall
Forget r
Forget
Constructors
Fields
Defined in Fresnel.Profunctor.Recall
Methods
bimap :: (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 #
Defined in Fresnel.Iso.Internal
Defined in Fresnel.Prism.Internal
Defined in Fresnel.Review
left' :: 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 a b -> Recall e (x -> a) (x -> b) #
Associated Types
type Corep (Recall e) :: Type -> Type #
cotabulate :: (Corep (Recall e) d -> c) -> Recall e d c #
unfirst :: Recall e (a, d) (b, d) -> Recall e a b #
unsecond :: Recall e (d, a) (d, b) -> Recall e a b #
dimap :: (a -> b) -> (c -> d) -> Recall e b c -> Recall e a d #
lmap :: (a -> b) -> Recall e b c -> Recall e a c #
rmap :: (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 #
cosieve :: Recall e a b -> Const e a -> b #
sieve :: Recall e a b -> a -> e -> b #
pure :: 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 #
fmap :: (a0 -> b) -> Recall e a a0 -> Recall e a b #
(<$) :: a0 -> Recall e a b -> Recall e a a0 #
(>>=) :: 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 #
mempty :: 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 #
(<>) :: 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 #