Data.Finite

Definitions

interface Finite : Type -> Type

Parameters: a
Methods:

enumerate : List a

Implementations:

Finite Axiom

Finite (Op Signature)

Finite Axiom

enumerate : Finite a => List a

Totality: total
Visibility: public export