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

Monocle.Utils

Documentation

class Monoid monoid => MStack stack monoid whereSource

Methods

pop :: stack -> (stack, monoid)Source

push :: monoid -> stack -> stackSource

tappend :: monoid -> stack -> stackSource

tcombine :: (monoid -> monoid) -> stack -> stackSource

Instances

Monoid monoid => MStack [monoid] monoid 

class Printable a whereSource

Methods

str :: a -> StringSource

Instances

Printable String 
Show a => Printable (Wrap a) 
(Printable a, Eq a) => Printable (Mor a) 
(Printable a, Printable b) => Printable (a, b) 

data Wrap a Source

Constructors

Wrap a 

Instances

Show a => Printable (Wrap a)