Idris2Doc : Search.Generator

Search.Generator

Generator : Type -> Type
A generator for a given type is a non-empty colist of values of that
type.
Parameters: a
Methods:
generate : Colist1a

Implementations:
GeneratorNat
GeneratorBool
Generator (Fin (Sn))
Generatora => Generator (a, Unit)
(Generatora, Generatorb) => Generator (a, b)
{0 b : a -> Type} -> (Generatora, (x : a) -> Generator (bx)) => Generator (DPaira (\x => bx))
Generatora => Generator (Vectna)
Generatora => Generator (Lista)
generate : Generatora => Colist1a