fresnel-0.0.0.2: high-powered optics in a small package
Safe HaskellSafe-Inferred
LanguageHaskell2010

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 

Fields

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 #

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

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) #

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 #

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 #

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) Source # 
Instance details

Defined in Fresnel.Profunctor.Recall

Methods

sieve :: Recall e a b -> a -> e -> b #

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 #

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 #

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 #

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 #

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 #

type Corep (Recall e) Source # 
Instance details

Defined in Fresnel.Profunctor.Recall

type Corep (Recall e) = Const e :: Type -> Type