Module

Data.Functor.Pairing.Co

Package
purescript-pairing
Repository
paf31/purescript-pairing

Monads from comonads, based on https://hackage.haskell.org/package/kan-extensions-5.0.1/docs/Control-Monad-Co.html.

#CoSource

data Co w a

Instances

#coSource

co :: forall w a. (forall r. w (a -> r) -> r) -> Co w a

#runCoSource

runCo :: forall w a r. Co w a -> w (a -> r) -> r

#pairCoSource

pairCo :: forall w. Functor w => w  (Co w)

w pairs with Co w whenever w is a Functor.

#liftCoSource

liftCo :: forall w s. Comonad w => (forall a. w a -> s) -> Co w s

#lowerCoSource

lowerCo :: forall w a s. Functor w => Co w s -> w a -> s