Documentation

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 #

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

Methods

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

Methods

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

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

Methods

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

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