Monocle-0.0.2: Symbolic computations in strict monoidal categories with LaTeX output.
Monocle.Core
class Eq a => Morphism a whereSource
Methods
dom :: a -> aSource
cod :: a -> aSource
isId :: a -> BoolSource
(\.) :: a -> a -> aSource
(\*) :: a -> a -> aSource
Instances
data ArrowData a Source
Constructors
Fields
data FuncT Source
data Mor a Source
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