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