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.

#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.