Numeric.Positive

Documentation

data Positive

Instances

Enum Positive

Eq Positive

Integral Positive

Num Positive

Ord Positive

Read Positive

Real Positive

Show Positive

Whole Positive

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

nonEmptyLength :: NonEmpty a -> Positive