Cascade

Documentation

data CascadeC c ts where

Constructors

(:>>>) :: c x y -> CascadeC c (y : zs) -> CascadeC c (x : (y : zs)) infixr 1

Done :: CascadeC c `[t]`

transform :: (forall a b. c a b -> c' a b) -> CascadeC c ts -> CascadeC c' ts

cascade :: Category c => CascadeC c (t : ts) -> c t (Last (t : ts))

type Cascade = CascadeC (->)

type CascadeM m = CascadeC (Kleisli m)

(>=>:) :: (x -> m y) -> CascadeM m (y : zs) -> CascadeM m (x : (y : zs)) infixr 1

cascadeM :: Monad m => CascadeM m (t : ts) -> t -> m (Last (t : ts))

unwrapM :: CascadeM Identity ts -> Cascade ts

wrapM :: Monad m => Cascade ts -> CascadeM m ts

type CascadeW w = CascadeC (Cokleisli w)

(=>=:) :: (w x -> y) -> CascadeW w (y : zs) -> CascadeW w (x : (y : zs)) infixr 1

cascadeW :: Comonad w => CascadeW w (t : ts) -> w t -> Last (t : ts)

unwrapW :: CascadeW Identity ts -> Cascade ts

wrapW :: Comonad w => Cascade ts -> CascadeW w ts