Module
Data.StrictlyPositiveInt
- Package
- purescript-strictlypositiveint
- Repository
- jamieyung/purescript-strictlypositiveint
A data type for representing positive integers not including zero.
#fromInt Source
fromInt :: Int -> StrictlyPositiveIntIf i is less than one, returns one.
#toInt Source
toInt :: StrictlyPositiveInt -> Int#minus Source
minus :: StrictlyPositiveInt -> StrictlyPositiveInt -> StrictlyPositiveIntSubtract a StrictlyPositiveInt from another, with the result lower-bounded by one.
#plus Source
plus :: StrictlyPositiveInt -> StrictlyPositiveInt -> StrictlyPositiveIntAdd a StrictlyPositiveInt to another, with the result lower-bounded by one.
- Modules
- Data.
StrictlyPositiveInt