Monocle-0.0.3: Symbolic computations in strict monoidal categories with LaTeX output.
Monocle.Utils
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
class Printable a whereSource
str :: a -> StringSource
data Wrap a Source
Constructors