Safe Haskell | Safe-Infered |
---|
Control.Pipe.Category
Documentation
This module contains category-theoretic instances corresponding to basic
pipe combinators in Common
and Monoidal
.
Instances
Monad m => PFunctor Either (PipeC m r) (PipeC m r) | |
Monad m => QFunctor Either (PipeC m r) (PipeC m r) | |
Monad m => Bifunctor Either (PipeC m r) (PipeC m r) (PipeC m r) | |
Monad m => Category (PipeC m r) | |
Monad m => IFunctor (PipeC m r) | |
Monad m => Braided (PipeC m r) Either | |
Monad m => Symmetric (PipeC m r) Either | |
Monad m => Monoidal (PipeC m r) Either | |
Monad m => Associative (PipeC m r) Either | |
Monad m => Comultiplicative (PipeC m r) Either | |
Monad m => Multiplicative (PipeC m r) Either |