FiniteCategories-0.2.0.0: Finite categories and usual categorical constructions on them.
CopyrightGuillaume Sabbagh 2022
LicenseGPL-3
Maintainerguillaumesabbagh@protonmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

Math.FiniteCategories.SafeCompositionGraph.Example

Description

An example of SafeCompositionGraph exported with GraphViz.

A SafeCompositionGraph created from a string is also exported.

A random SafeCompositionGraph is also exported.

Export the categories in the directory "OutputGraphViz/Examples/FiniteCategories/SafeCompositionGraph".

Synopsis

Documentation

main :: IO () Source #

An example of SafeCompositionGraph exported with GraphViz.