Idris2Doc : Text.Quantity

Text.Quantity

recordQuantity : Type
Totality: total
Constructor: 
Qty : Nat -> MaybeNat -> Quantity

Projections:
.max : Quantity -> MaybeNat
.min : Quantity -> Nat
atLeast : Nat -> Quantity
Totality: total
atMost : Nat -> Quantity
Totality: total
between : Nat -> Nat -> Quantity
Totality: total
exactly : Nat -> Quantity
Totality: total
inOrder : Quantity -> Bool
Totality: total