Control.Pipe.Category

Documentation

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

newtype PipeC m r a b

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 => Comonoidal (PipeC m r) Either

Monad m => Associative (PipeC m r) Either

Monad m => Disassociative (PipeC m r) Either

Monad m => Comultiplicative (PipeC m r) Either

Monad m => Multiplicative (PipeC m r) Either

class Category k => IFunctor k where

Identity-on-objects functor.

This is part of the interface of Arrow.

Methods

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

Instances

Monad m => IFunctor (PipeC m r)