Contents Index

Org.Org.Semantic.HBase.Category.Composition

Synopsis

class Compositor comp where identity :: comp a a compose :: comp b c -> comp a b -> comp a c compose' :: Compositor comp => comp a b -> comp b c -> comp a c (>>>) :: Compositor comp => comp a b -> comp b c -> comp a c

Documentation

class Compositor comp where

must satisfy the obvious verities Methods identity :: comp a a compose :: comp b c -> comp a b -> comp a c Instances Compositor m => Compositor (Bimorphism m) Compositor (->) Monad m => Compositor (Contextual m) Compositor ConstFunction Monad m => Compositor (Part m) Arrow a => Compositor (StaticArrow a) FunctorApplyReturn f => Compositor (StaticFunctor f)

compose' :: Compositor comp => comp a b -> comp b c -> comp a c

flipped compose

(>>>) :: Compositor comp => comp a b -> comp b c -> comp a c

same as compose'

Produced by Haddock version 0.6