Monocle-0.0.2: Symbolic computations in strict monoidal categories with LaTeX output.

Monocle.Core

Documentation

class Eq a => Morphism a whereSource

Methods

dom :: a -> aSource

cod :: a -> aSource

isId :: a -> BoolSource

(\.) :: a -> a -> aSource

(\*) :: a -> a -> aSource

Instances

Eq a => Morphism (Mor a) 
Eq a => Morphism (Lab a) 

data ArrowData a Source

Constructors

ArrowData 

Fields

dom' :: Mor a
 
cod' :: Mor a
 
isId' :: Bool
 

Instances

Eq a => Eq (ArrowData a) 
Ord a => Ord (ArrowData a) 

data FuncT Source

Constructors

Function 
Functor 
Cofunctor 

Instances

data Mor a Source

Constructors

Arrow a (ArrowData a) 
Id a 
Tensor [Mor a] 
Composition [Mor a] 
Func String [Mor a] FuncT 
Transform String (Mor a) [Mor a] 

Instances

Eq a => Eq (Mor a) 
Ord a => Ord (Mor a) 
(Printable a, Eq a) => Show (Mor a) 
(Printable a, Eq a) => Printable (Mor a) 
Eq a => Morphism (Mor a) 
(Printable a, Ord a) => Texified (Mor a) 

width :: Eq a => Mor a -> IntSource

height :: Eq a => Mor a -> IntSource

vert :: Eq a => Mor a -> Mor aSource

horz :: Eq a => Mor a -> Mor aSource

mapMorM :: (Eq a, Monad m) => m () -> (Mor a -> m (Mor a)) -> Mor a -> m (Mor a)Source

mapMorM' :: (Eq a, Eq b, Monad m) => (Mor a -> m (Mor b)) -> Mor a -> m (Mor b)Source

merge :: (Eq a, Eq b) => Mor a -> Mor b -> Maybe (Mor (Mor a, b))Source

subst :: (Ord a, Eq b) => Map a (Mor b) -> Mor a -> Mor bSource

subst' :: (Ord a, Eq b, Printable b) => Map a (Mor b) -> Mor a -> Mor bSource

data Rule a Source

Constructors

DefEqual (Mor a) (Mor a) 

Instances

(Printable a, Eq a) => Show (Rule a) 
(Printable a, Ord a) => Texified (Rule a)