positive-0.4.1: Positive integers.

Safe Haskell	None
Language	Haskell2010

Numeric.Positive

Documentation

data Positive Source

Instances

Enum Positive
Eq Positive
Integral Positive
Num Positive
Ord Positive
Read Positive
Real Positive
Show Positive

positive :: a -> (a -> a) -> Positive -> a Source

nonEmptyLength :: NonEmpty a -> Positive Source