Cascade-0.1.0.0: Playing with reified categorical composition

Safe HaskellNone
LanguageHaskell2010

Cascade.Operators

Documentation

(#) :: Category c => CascadeC c (t : ts) -> c t (Last (t : ts)) infixr 0 Source

(#~) :: Monad m => CascadeM m (t : ts) -> t -> m (Last (t : ts)) infixr 0 Source

(~#) :: Comonad w => CascadeW w (t : ts) -> w t -> Last (t : ts) infixr 0 Source