pipes-core-0.1.0: Compositional pipelines

Safe HaskellSafe-Infered

Control.Pipe.Category

Synopsis

Documentation

This module contains category-theoretic instances corresponding to basic pipe combinators in Common and Monoidal.

newtype PipeC m r a b Source

Category of pipes.

Composition corresponds to <+< and identity to idP.

Constructors

PipeC 

Fields

unPipeC :: Pipe a b m r
 

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 

class Category k => IFunctor k whereSource

Identity-on-objects functor.

This is part of the interface of Arrow.

Methods

arr :: (a -> b) -> k a bSource

Instances

Monad m => IFunctor (PipeC m r)