Safe Haskell	None
Language	Haskell98

Autolib.Nat

Documentation

data Nat Source #

Instances

Instances details

Reader Nat Source #
Instance details Defined in Autolib.Nat Methods atomic_reader :: Parser Nat # atomic_readerPrec :: Int -> Parser Nat # reader :: Parser Nat # readerPrec :: Int -> Parser Nat # readerList :: Parser [Nat] #
ToDoc Nat Source #
Instance details Defined in Autolib.Nat Methods toDocPrec :: Int -> Nat -> Doc # toDocList :: [Nat] -> Doc #
Data Nat Source #
Instance details Defined in Autolib.Nat Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Nat -> c Nat # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Nat # toConstr :: Nat -> Constr # dataTypeOf :: Nat -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Nat) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Nat) # gmapT :: (forall b. Data b => b -> b) -> Nat -> Nat # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Nat -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Nat -> r # gmapQ :: (forall d. Data d => d -> u) -> Nat -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Nat -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Nat -> m Nat # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Nat -> m Nat # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Nat -> m Nat #
Enum Nat Source #
Instance details Defined in Autolib.Nat Methods succ :: Nat -> Nat # pred :: Nat -> Nat # toEnum :: Int -> Nat # fromEnum :: Nat -> Int # enumFrom :: Nat -> [Nat] # enumFromThen :: Nat -> Nat -> [Nat] # enumFromTo :: Nat -> Nat -> [Nat] # enumFromThenTo :: Nat -> Nat -> Nat -> [Nat] #
Ix Nat Source #
Instance details Defined in Autolib.Nat Methods range :: (Nat, Nat) -> [Nat] # index :: (Nat, Nat) -> Nat -> Int # unsafeIndex :: (Nat, Nat) -> Nat -> Int # inRange :: (Nat, Nat) -> Nat -> Bool # rangeSize :: (Nat, Nat) -> Int # unsafeRangeSize :: (Nat, Nat) -> Int #
Num Nat Source #
Instance details Defined in Autolib.Nat Methods (+) :: Nat -> Nat -> Nat # (-) :: Nat -> Nat -> Nat # (*) :: Nat -> Nat -> Nat # negate :: Nat -> Nat # abs :: Nat -> Nat # signum :: Nat -> Nat # fromInteger :: Integer -> Nat #
Integral Nat Source #
Instance details Defined in Autolib.Nat Methods quot :: Nat -> Nat -> Nat # rem :: Nat -> Nat -> Nat # div :: Nat -> Nat -> Nat # mod :: Nat -> Nat -> Nat # quotRem :: Nat -> Nat -> (Nat, Nat) # divMod :: Nat -> Nat -> (Nat, Nat) # toInteger :: Nat -> Integer #
Real Nat Source #
Instance details Defined in Autolib.Nat Methods toRational :: Nat -> Rational #
Show Nat Source #
Instance details Defined in Autolib.Nat Methods showsPrec :: Int -> Nat -> ShowS # show :: Nat -> String # showList :: [Nat] -> ShowS #
Eq Nat Source #
Instance details Defined in Autolib.Nat Methods (==) :: Nat -> Nat -> Bool # (/=) :: Nat -> Nat -> Bool #
Ord Nat Source #
Instance details Defined in Autolib.Nat Methods compare :: Nat -> Nat -> Ordering # (<) :: Nat -> Nat -> Bool # (<=) :: Nat -> Nat -> Bool # (>) :: Nat -> Nat -> Bool # (>=) :: Nat -> Nat -> Bool # max :: Nat -> Nat -> Nat # min :: Nat -> Nat -> Nat #
Hashable Nat Source #
Instance details Defined in Autolib.Nat Methods hashWithSalt :: Int -> Nat -> Int # hash :: Nat -> Int #
Random Nat Source #
Instance details Defined in Autolib.Nat Methods randomR :: RandomGen g => (Nat, Nat) -> g -> (Nat, g) # random :: RandomGen g => g -> (Nat, g) # randomRs :: RandomGen g => (Nat, Nat) -> g -> [Nat] # randoms :: RandomGen g => g -> [Nat] #

nat :: Int -> Nat Source #

unNat :: Nat -> Int Source #