Flat.Spec
Contents
test_flat ∷ TestTree Source #
Methods
arbitrary ∷ Gen DeBruijn #
shrink ∷ DeBruijn → [DeBruijn] #
arbitrary ∷ Gen FakeNamedDeBruijn #
shrink ∷ FakeNamedDeBruijn → [FakeNamedDeBruijn] #
arbitrary ∷ Gen (Binder DeBruijn) #
shrink ∷ Binder DeBruijn → [Binder DeBruijn] #
arbitrary ∷ Gen (Binder FakeNamedDeBruijn) #
shrink ∷ Binder FakeNamedDeBruijn → [Binder FakeNamedDeBruijn] #