Idris2Doc : Test.Data.Graph.Generators

Test.Data.Graph.Generators

(source)
Reexports
import public Chem
import public Hedgehog
Definitions
edge : Gen e -> Gen (Edge (S (S k)) e)
  Visibility: export
edges : Range Nat -> Gen e -> Gen (List (Edge k e))
  Visibility: export
lgraph : Range Nat -> Range Nat -> Gen e -> Gen n -> Gen (Graph e n)
  Visibility: export