Idris2Doc : Data.Bounded

Data.Bounded

(source)
Definitions
interface MinBound : Type -> Type
  Parameters: b
Constraints: Ord b
Methods:
  
minBound : b
  The lower bound for the type

Implementations:
  
MinBound Bits8
  
MinBound Bits16
  
MinBound Bits32
  
MinBound Bits64
  
MinBound Int8
  
MinBound Int16
  
MinBound Int32
  
MinBound Int64
  
MinBound Int
  
MinBound (Fin (S n))
minBound : MinBound b => b
  The lower bound for the type

  Totality: total
  Visibility: public export
interface MaxBound : Type -> Type
  Parameters: b
Constraints: Ord b
Methods:
  
maxBound : b
  The upper bound for the type

Implementations:
  
MaxBound Bits8
  
MaxBound Bits16
  
MaxBound Bits32
  
MaxBound Bits64
  
MaxBound Int8
  
MaxBound Int16
  
MaxBound Int32
  
MaxBound Int64
  
MaxBound Int
  
MaxBound (Fin (S n))
maxBound : MaxBound b => b
  The upper bound for the type

  Totality: total
  Visibility: public export