peano-0.1.0.2: Peano numbers

Data.Peano

Description

See Peano.

Synopsis

# Documentation

data Peano Source #

The natural numbers in (lazy) unary notation.

Constructors

 Zero Succ Peano

#### Instances

Instances details
 Source # Instance detailsDefined in Data.Peano Methodsgfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Peano -> c Peano #gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Peano #dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Peano) #dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Peano) #gmapT :: (forall b. Data b => b -> b) -> Peano -> Peano #gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Peano -> r #gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Peano -> r #gmapQ :: (forall d. Data d => d -> u) -> Peano -> [u] #gmapQi :: Int -> (forall d. Data d => d -> u) -> Peano -> u #gmapM :: Monad m => (forall d. Data d => d -> m d) -> Peano -> m Peano #gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Peano -> m Peano #gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Peano -> m Peano # Source # Instance detailsDefined in Data.Peano Methods Source # Instance detailsDefined in Data.Peano Methodssucc :: Peano -> Peano #pred :: Peano -> Peano #toEnum :: Int -> Peano #enumFrom :: Peano -> [Peano] #enumFromThen :: Peano -> Peano -> [Peano] #enumFromTo :: Peano -> Peano -> [Peano] #enumFromThenTo :: Peano -> Peano -> Peano -> [Peano] # Source # Instance detailsDefined in Data.Peano Methodsrange :: (Peano, Peano) -> [Peano] #index :: (Peano, Peano) -> Peano -> Int #unsafeIndex :: (Peano, Peano) -> Peano -> Int #inRange :: (Peano, Peano) -> Peano -> Bool #rangeSize :: (Peano, Peano) -> Int #unsafeRangeSize :: (Peano, Peano) -> Int # Source # Instance detailsDefined in Data.Peano Methods(+) :: Peano -> Peano -> Peano #(-) :: Peano -> Peano -> Peano #(*) :: Peano -> Peano -> Peano #abs :: Peano -> Peano # Source # Instance detailsDefined in Data.Peano Methods Source # Instance detailsDefined in Data.Peano Methodsquot :: Peano -> Peano -> Peano #rem :: Peano -> Peano -> Peano #div :: Peano -> Peano -> Peano #mod :: Peano -> Peano -> Peano #quotRem :: Peano -> Peano -> (Peano, Peano) #divMod :: Peano -> Peano -> (Peano, Peano) # Source # Instance detailsDefined in Data.Peano Methods Source # Instance detailsDefined in Data.Peano MethodsshowsPrec :: Int -> Peano -> ShowS #show :: Peano -> String #showList :: [Peano] -> ShowS # Source # Instance detailsDefined in Data.Peano Methods(==) :: Peano -> Peano -> Bool #(/=) :: Peano -> Peano -> Bool # Source # Instance detailsDefined in Data.Peano Methods(<) :: Peano -> Peano -> Bool #(<=) :: Peano -> Peano -> Bool #(>) :: Peano -> Peano -> Bool #(>=) :: Peano -> Peano -> Bool #max :: Peano -> Peano -> Peano #min :: Peano -> Peano -> Peano #

The infinite number (ω).