Safe Haskell	Safe
Language	Haskell2010

Natural

Documentation

data Natural Source #

Instances

Eq Natural Source #
Instance details Defined in Natural Methods (==) :: Natural -> Natural -> Bool # (/=) :: Natural -> Natural -> Bool #
Ord Natural Source #
Instance details Defined in Natural Methods compare :: Natural -> Natural -> Ordering # (<) :: Natural -> Natural -> Bool # (<=) :: Natural -> Natural -> Bool # (>) :: Natural -> Natural -> Bool # (>=) :: Natural -> Natural -> Bool # max :: Natural -> Natural -> Natural # min :: Natural -> Natural -> Natural #
Show Natural Source #
Instance details Defined in Natural Methods showsPrec :: Int -> Natural -> ShowS # show :: Natural -> String # showList :: [Natural] -> ShowS #
Semigroup Natural Source #
Instance details Defined in Natural Methods (<>) :: Natural -> Natural -> Natural # sconcat :: NonEmpty Natural -> Natural # stimes :: Integral b => b -> Natural -> Natural #
Monoid Natural Source #
Instance details Defined in Natural Methods mempty :: Natural # mappend :: Natural -> Natural -> Natural # mconcat :: [Natural] -> Natural #
AsNatural Natural Source #
Instance details Defined in Natural Methods _Natural :: Prism' Natural Natural Source #
HasNatural Natural Source #
Instance details Defined in Natural Methods natural :: Lens' Natural Natural Source #

class HasNatural a where Source #

Minimal complete definition

natural

Methods

natural :: Lens' a Natural Source #

Instances

HasNatural MinNatural Source #
Instance details Defined in Natural Methods natural :: Lens' MinNatural Natural Source #
HasNatural MaxNatural Source #
Instance details Defined in Natural Methods natural :: Lens' MaxNatural Natural Source #
HasNatural ProductNatural Source #
Instance details Defined in Natural Methods natural :: Lens' ProductNatural Natural Source #
HasNatural Natural Source #
Instance details Defined in Natural Methods natural :: Lens' Natural Natural Source #

class AsNatural a where Source #

Minimal complete definition

_Natural

Methods

_Natural :: Prism' a Natural Source #

Instances

AsNatural Int Source #
Instance details Defined in Natural Methods _Natural :: Prism' Int Natural Source #
AsNatural Integer Source #
Instance details Defined in Natural Methods _Natural :: Prism' Integer Natural Source #
AsNatural Word Source #
Instance details Defined in Natural Methods _Natural :: Prism' Word Natural Source #
AsNatural MinNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' MinNatural Natural Source #
AsNatural MaxNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' MaxNatural Natural Source #
AsNatural ProductNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' ProductNatural Natural Source #
AsNatural Natural Source #
Instance details Defined in Natural Methods _Natural :: Prism' Natural Natural Source #
Integral a => AsNatural (Identity a) Source #
Instance details Defined in Natural Methods _Natural :: Prism' (Identity a) Natural Source #
Integral a => AsNatural (Const a b) Source #
Instance details Defined in Natural Methods _Natural :: Prism' (Const a b) Natural Source #

newtype ProductNatural Source #

Constructors

ProductNatural Natural

Instances

Eq ProductNatural Source #
Instance details Defined in Natural Methods (==) :: ProductNatural -> ProductNatural -> Bool # (/=) :: ProductNatural -> ProductNatural -> Bool #
Ord ProductNatural Source #
Instance details Defined in Natural Methods compare :: ProductNatural -> ProductNatural -> Ordering # (<) :: ProductNatural -> ProductNatural -> Bool # (<=) :: ProductNatural -> ProductNatural -> Bool # (>) :: ProductNatural -> ProductNatural -> Bool # (>=) :: ProductNatural -> ProductNatural -> Bool # max :: ProductNatural -> ProductNatural -> ProductNatural # min :: ProductNatural -> ProductNatural -> ProductNatural #
Show ProductNatural Source #
Instance details Defined in Natural Methods showsPrec :: Int -> ProductNatural -> ShowS # show :: ProductNatural -> String # showList :: [ProductNatural] -> ShowS #
Semigroup ProductNatural Source #
Instance details Defined in Natural Methods (<>) :: ProductNatural -> ProductNatural -> ProductNatural # sconcat :: NonEmpty ProductNatural -> ProductNatural # stimes :: Integral b => b -> ProductNatural -> ProductNatural #
Monoid ProductNatural Source #
Instance details Defined in Natural Methods mempty :: ProductNatural # mappend :: ProductNatural -> ProductNatural -> ProductNatural # mconcat :: [ProductNatural] -> ProductNatural #
Wrapped ProductNatural Source #
Instance details Defined in Natural Associated Types type Unwrapped ProductNatural :: * # Methods _Wrapped' :: Iso' ProductNatural (Unwrapped ProductNatural) #
AsNatural ProductNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' ProductNatural Natural Source #
HasNatural ProductNatural Source #
Instance details Defined in Natural Methods natural :: Lens' ProductNatural Natural Source #
ProductNatural ~ a => Rewrapped ProductNatural a Source #
Instance details Defined in Natural
type Unwrapped ProductNatural Source #
Instance details Defined in Natural type Unwrapped ProductNatural = Natural

newtype MaxNatural Source #

Constructors

MaxNatural Natural

Instances

Eq MaxNatural Source #
Instance details Defined in Natural Methods (==) :: MaxNatural -> MaxNatural -> Bool # (/=) :: MaxNatural -> MaxNatural -> Bool #
Ord MaxNatural Source #
Instance details Defined in Natural Methods compare :: MaxNatural -> MaxNatural -> Ordering # (<) :: MaxNatural -> MaxNatural -> Bool # (<=) :: MaxNatural -> MaxNatural -> Bool # (>) :: MaxNatural -> MaxNatural -> Bool # (>=) :: MaxNatural -> MaxNatural -> Bool # max :: MaxNatural -> MaxNatural -> MaxNatural # min :: MaxNatural -> MaxNatural -> MaxNatural #
Show MaxNatural Source #
Instance details Defined in Natural Methods showsPrec :: Int -> MaxNatural -> ShowS # show :: MaxNatural -> String # showList :: [MaxNatural] -> ShowS #
Semigroup MaxNatural Source #
Instance details Defined in Natural Methods (<>) :: MaxNatural -> MaxNatural -> MaxNatural # sconcat :: NonEmpty MaxNatural -> MaxNatural # stimes :: Integral b => b -> MaxNatural -> MaxNatural #
Wrapped MaxNatural Source #
Instance details Defined in Natural Associated Types type Unwrapped MaxNatural :: * # Methods _Wrapped' :: Iso' MaxNatural (Unwrapped MaxNatural) #
AsNatural MaxNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' MaxNatural Natural Source #
HasNatural MaxNatural Source #
Instance details Defined in Natural Methods natural :: Lens' MaxNatural Natural Source #
MaxNatural ~ a => Rewrapped MaxNatural a Source #
Instance details Defined in Natural
type Unwrapped MaxNatural Source #
Instance details Defined in Natural type Unwrapped MaxNatural = Natural

newtype MinNatural Source #

Constructors

MinNatural Natural

Instances

Eq MinNatural Source #
Instance details Defined in Natural Methods (==) :: MinNatural -> MinNatural -> Bool # (/=) :: MinNatural -> MinNatural -> Bool #
Ord MinNatural Source #
Instance details Defined in Natural Methods compare :: MinNatural -> MinNatural -> Ordering # (<) :: MinNatural -> MinNatural -> Bool # (<=) :: MinNatural -> MinNatural -> Bool # (>) :: MinNatural -> MinNatural -> Bool # (>=) :: MinNatural -> MinNatural -> Bool # max :: MinNatural -> MinNatural -> MinNatural # min :: MinNatural -> MinNatural -> MinNatural #
Show MinNatural Source #
Instance details Defined in Natural Methods showsPrec :: Int -> MinNatural -> ShowS # show :: MinNatural -> String # showList :: [MinNatural] -> ShowS #
Semigroup MinNatural Source #
Instance details Defined in Natural Methods (<>) :: MinNatural -> MinNatural -> MinNatural # sconcat :: NonEmpty MinNatural -> MinNatural # stimes :: Integral b => b -> MinNatural -> MinNatural #
Wrapped MinNatural Source #
Instance details Defined in Natural Associated Types type Unwrapped MinNatural :: * # Methods _Wrapped' :: Iso' MinNatural (Unwrapped MinNatural) #
AsNatural MinNatural Source #
Instance details Defined in Natural Methods _Natural :: Prism' MinNatural Natural Source #
HasNatural MinNatural Source #
Instance details Defined in Natural Methods natural :: Lens' MinNatural Natural Source #
MinNatural ~ a => Rewrapped MinNatural a Source #
Instance details Defined in Natural
type Unwrapped MinNatural Source #
Instance details Defined in Natural type Unwrapped MinNatural = Natural

zero :: Prism' Natural () Source #

zero' :: Natural Source #

successor :: Prism' Natural Natural Source #

successor' :: Natural -> Natural Source #

length :: Foldable f => f a -> Natural Source #

replicate :: Natural -> a -> [a] Source #

take :: Natural -> [a] -> [a] Source #

drop :: Natural -> [a] -> [a] Source #

splitAt :: Natural -> [a] -> ([a], [a]) Source #

(!!) :: [a] -> Natural -> Maybe a Source #

findIndices :: (a -> Bool) -> [a] -> [Natural] Source #

findIndex :: (a -> Bool) -> [a] -> Maybe Natural Source #

elemIndices :: Eq a => a -> [a] -> [Natural] Source #

elemIndex :: Eq a => a -> [a] -> Maybe Natural Source #