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

Math.FiniteCategories.SafeCompositionGraph.Examples

Description

Examples of SafeCompositionGraph, some are constructed using the smart constructors, others are random and others are read in a .scg file

Synopsis

Documentation

exampleSafeCompositionGraph :: SafeCompositionGraph Int Char Source #

A SafeCompositionGraph constructed using the smart constructor safeCompositionGraph.

exampleLoopingSafeCompositionGraph :: SafeCompositionGraph Int Char Source #

A SafeCompositionGraph containing a loop which would go infinite with a CompositionGraph.

exampleScgString :: SafeCompositionGraph Text Text Source #

A SafeCompositionGraph read using a .scg string.

exampleRandomSafeCompositionGraph :: SafeCompositionGraph Int Int Source #

A random SafeCompositionGraph.