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.

#Co Source

newtype Co w a

Instances

#co Source

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

#runCo Source

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

#pairCo Source

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

w pairs with Co w whenever w is a Functor.

#liftCo Source

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

#lowerCo Source

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