Data.Finite

Definitions

interface Finite : Type -> Type

  An interface for listing all values of a type with a
  finite number of inhabitants.

Parameters: a
Constructor: 

MkFinite

Methods:

values : List a

Implementations:

Finite ()

Finite Void

Finite Bool

Finite Ordering

Finite a => Finite (Maybe a)

Finite a => Finite b => Finite (Either a b)

Finite a => Finite b => Finite (a, b)

Finite a => Finite (Vect n a)

Finite (Fin n)

values : Finite a => List a

Totality: total
Visibility: public export

valuesOf : (0 a : Type) -> Finite a => List a

Totality: total
Visibility: public export