RandomDiagram.RandomDiagram

This module provide functions to generate random diagrams. It can be used to test functions, to generate examples or to test hypothesis.

Documentation

mkRandomDiagram :: (FiniteCategory c1 m1 o1, Morphism m1 o1, Eq m1, Eq o1, FiniteCategory c2 m2 o2, Morphism m2 o2, Eq m2, Eq o2, RandomGen g) => c1 -> c2 -> g -> (Diagram c1 m1 o1 c2 m2 o2, g)

Choose a random diagram in the functor category of an index category and an image category.

defaultMkRandomDiagram :: RandomGen g => g -> (Diagram (CompositionGraph Int Int) (CGMorphism Int Int) Int (CompositionGraph Int Int) (CGMorphism Int Int) Int, g)

Constructs two random composition graphs and choose a random diagram between the two.