Idris2Doc : Text.Quantity

Text.Quantity

Quantity : Type
Totality: total
Constructor: 
atLeast : Nat -> Quantity
atMost : Nat -> Quantity
between : Nat -> Nat -> Quantity
exactly : Nat -> Quantity
inOrder : Quantity -> Bool