Safe Haskell	None
Language	Haskell2010

Fresnel.Profunctor.Recall

Contents

Recall profunctor

Synopsis

newtype Recall e a b = Recall {
- runRecall :: e -> b
}

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
Fields runRecall :: e -> b

Instances

Instances details

Bifunctor (Recall e) Source #
Instance details 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 #
Choice (Recall e) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods 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) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods closed :: Recall e a b -> Recall e (x -> a) (x -> b)
Costrong (Recall e) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods unfirst :: Recall e (a, d) (b, d) -> Recall e a b unsecond :: Recall e (d, a) (d, b) -> Recall e a b
Profunctor (Recall e) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods 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
Corepresentable (Recall e) Source #
Instance details Defined in Fresnel.Profunctor.Recall Associated Types type Corep (Recall e) :: Type -> Type Methods cotabulate :: (Corep (Recall e) d -> c) -> Recall e d c
IsIso (Recall e) Source #
Instance details Defined in Fresnel.Iso.Internal
IsPrism (Recall e) Source #
Instance details Defined in Fresnel.Prism.Internal
IsReview (Recall e) Source #
Instance details Defined in Fresnel.Review
Cosieve (Recall e) (Const e :: Type -> Type) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods cosieve :: Recall e a b -> Const e a -> b
Sieve (Recall e) ((->) e :: Type -> Type) Source #
Instance details Defined in Fresnel.Profunctor.Recall Methods sieve :: Recall e a b -> a -> e -> b
Monad (Recall e a) Source #
Instance details Defined 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 details Defined in Fresnel.Profunctor.Recall Methods fmap :: (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 details Defined in Fresnel.Profunctor.Recall Methods 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 #
Semigroup b => Semigroup (Recall e a b) Source #
Instance details Defined 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 details Defined in Fresnel.Profunctor.Recall Methods 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 #
type Corep (Recall e) Source #
Instance details Defined in Fresnel.Profunctor.Recall type Corep (Recall e) = Const e :: Type -> Type