Data.Profunctor.Remember

Documentation

newtype Remember r a b

Constructors

Remember (r -> b)

Instances

Profunctor (Remember r)

Defined in Data.Profunctor.Remember

Methods

dimap :: (a -> b) -> (c -> d) -> Remember r b c -> Remember r a d

lmap :: (a -> b) -> Remember r b c -> Remember r a c

rmap :: (b -> c) -> Remember r a b -> Remember r a c

(#.) :: forall a b c q. Coercible c b => q b c -> Remember r a b -> Remember r a c

(.#) :: forall a b c q. Coercible b a => Remember r b c -> q a b -> Remember r a c

Choice (Remember r)

Defined in Data.Profunctor.Remember

Methods

left' :: Remember r a b -> Remember r (Either a c) (Either b c)

right' :: Remember r a b -> Remember r (Either c a) (Either c b)

Closed (Remember r)

Defined in Data.Profunctor.Remember

Methods

closed :: Remember r a b -> Remember r (x -> a) (x -> b)

Costrong (Remember r)

Defined in Data.Profunctor.Remember

Methods

unfirst :: Remember r (a, d) (b, d) -> Remember r a b

unsecond :: Remember r (d, a) (d, b) -> Remember r a b

Functor (Remember r a)

Defined in Data.Profunctor.Remember

Methods

fmap :: (a0 -> b) -> Remember r a a0 -> Remember r a b

(<$) :: a0 -> Remember r a b -> Remember r a a0