Profunctor.Monad.Lifts

Documentation

class Cofunctor p => Lifts p where

lmap i (lifts p j)
=
lifts (lmap i p) (i >>> j)

lifts p i <*> lifts q j
=
lifts (p <*> q) (i &&& j >>> uncurry ($))

Methods

lifts :: p x a -> First p x a -> p x a

liftsArr :: (Lifts p, Arrow (First p)) => p x a -> (x -> a) -> p x a

liftsId :: Lifts p => p a a -> p a a