GHC.TypeNats.Internal
data Natural #
Since: base-4.8.0.0
Defined in Text.Printf
Methods
formatArg :: Natural -> FieldFormatter Source #
parseFormat :: Natural -> ModifierParser Source #
@since base-4.8.0
Defined in GHC.Internal.Bits
(.&.) :: Natural -> Natural -> Natural Source #
(.|.) :: Natural -> Natural -> Natural Source #
xor :: Natural -> Natural -> Natural Source #
complement :: Natural -> Natural Source #
shift :: Natural -> Int -> Natural Source #
rotate :: Natural -> Int -> Natural Source #
zeroBits :: Natural Source #
bit :: Int -> Natural Source #
setBit :: Natural -> Int -> Natural Source #
clearBit :: Natural -> Int -> Natural Source #
complementBit :: Natural -> Int -> Natural Source #
testBit :: Natural -> Int -> Bool Source #
bitSizeMaybe :: Natural -> Maybe Int Source #
bitSize :: Natural -> Int Source #
isSigned :: Natural -> Bool Source #
shiftL :: Natural -> Int -> Natural Source #
unsafeShiftL :: Natural -> Int -> Natural Source #
shiftR :: Natural -> Int -> Natural Source #
unsafeShiftR :: Natural -> Int -> Natural Source #
rotateL :: Natural -> Int -> Natural Source #
rotateR :: Natural -> Int -> Natural Source #
popCount :: Natural -> Int Source #
@since base-4.8.0.0
Defined in GHC.Internal.Data.Data
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural Source #
gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural Source #
toConstr :: Natural -> Constr Source #
dataTypeOf :: Natural -> DataType Source #
dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Natural) Source #
dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) Source #
gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural Source #
gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source #
gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Source #
gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] Source #
gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u Source #
gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Source #
Defined in GHC.Internal.Enum
succ :: Natural -> Natural Source #
pred :: Natural -> Natural Source #
toEnum :: Int -> Natural Source #
fromEnum :: Natural -> Int Source #
enumFrom :: Natural -> [Natural] Source #
enumFromThen :: Natural -> Natural -> [Natural] Source #
enumFromTo :: Natural -> Natural -> [Natural] Source #
enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] Source #
Defined in GHC.Internal.Ix
range :: (Natural, Natural) -> [Natural] Source #
index :: (Natural, Natural) -> Natural -> Int Source #
unsafeIndex :: (Natural, Natural) -> Natural -> Int Source #
inRange :: (Natural, Natural) -> Natural -> Bool Source #
rangeSize :: (Natural, Natural) -> Int Source #
unsafeRangeSize :: (Natural, Natural) -> Int Source #
Note that Natural's Num instance isn't a ring: no element but 0 has an additive inverse. It is a semiring though.
Natural
Num
Defined in GHC.Internal.Num
(+) :: Natural -> Natural -> Natural Source #
(-) :: Natural -> Natural -> Natural Source #
(*) :: Natural -> Natural -> Natural Source #
negate :: Natural -> Natural Source #
abs :: Natural -> Natural Source #
signum :: Natural -> Natural Source #
fromInteger :: Integer -> Natural Source #
Defined in GHC.Internal.Read
readsPrec :: Int -> ReadS Natural Source #
readList :: ReadS [Natural] Source #
readPrec :: ReadPrec Natural Source #
readListPrec :: ReadPrec [Natural] Source #
Defined in GHC.Internal.Real
quot :: Natural -> Natural -> Natural Source #
rem :: Natural -> Natural -> Natural Source #
div :: Natural -> Natural -> Natural Source #
mod :: Natural -> Natural -> Natural Source #
quotRem :: Natural -> Natural -> (Natural, Natural) Source #
divMod :: Natural -> Natural -> (Natural, Natural) Source #
toInteger :: Natural -> Integer Source #
toRational :: Natural -> Rational Source #
Defined in GHC.Internal.Show
showsPrec :: Int -> Natural -> ShowS Source #
show :: Natural -> String Source #
showList :: [Natural] -> ShowS Source #
Defined in GHC.Num.Natural
(==) :: Natural -> Natural -> Bool Source #
(/=) :: Natural -> Natural -> Bool Source #
compare :: Natural -> Natural -> Ordering Source #
(<) :: Natural -> Natural -> Bool Source #
(<=) :: Natural -> Natural -> Bool Source #
(>) :: Natural -> Natural -> Bool Source #
(>=) :: Natural -> Natural -> Bool Source #
max :: Natural -> Natural -> Natural Source #
min :: Natural -> Natural -> Natural Source #
For example, Fixed 1000 will give you a Fixed with a resolution of 1000.
Fixed 1000
Fixed
Defined in Data.Fixed
resolution :: p n -> Integer Source #
@since base-4.18.0.0
Defined in GHC.Internal.TypeNats
testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) Source #
testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) Source #
Defined in GHC.Internal.Data.Type.Ord
type family CmpNat (a :: Natural) (b :: Natural) :: Ordering where ... Source #
Comparison of type-level naturals, as a function.
@since base-4.7.0.0