GHC.Natural

Безопасный Haskell	Безопасный
Язык	Haskell2010

Содержание

Арифметика
Биты
Преобразования
Модульная арифметика

Описание

Модуль совместимости для кода, созданного до ghc-bignum.

data Natural where Source

Натуральное число

Инвариант: числа <= 0xffffffffffffffff используют конструктор NS

Объединённые шаблоны

pattern NatS# :: Word# -> Natural
pattern NatJ# :: BigNat -> Natural

Экземпляры

Подробности экземпляров

PrintfArg Natural Источник	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в Text.Printf Методы formatArg :: Natural -> FieldFormatter Источник parseFormat :: Natural -> ModifierParser Источник
Bits Natural Источник	Начиная с: base-4.8.0
Подробности экземпляра Определён в GHC.Internal.Bits Методы (.&.) :: Natural -> Natural -> Natural Источник (.\|.) :: Natural -> Natural -> Natural Источник xor :: Natural -> Natural -> Natural Источник complement :: Natural -> Natural Источник shift :: Natural -> Int -> Natural Источник rotate :: Natural -> Int -> Natural Источник zeroBits :: Natural Источник bit :: Int -> Natural Источник setBit :: Natural -> Int -> Natural Источник clearBit :: Natural -> Int -> Natural Источник complementBit :: Natural -> Int -> Natural Источник testBit :: Natural -> Int -> Bool Источник bitSizeMaybe :: Natural -> Maybe Int Источник bitSize :: Natural -> Int Источник isSigned :: Natural -> Bool Источник shiftL :: Natural -> Int -> Natural Источник unsafeShiftL :: Natural -> Int -> Natural Источник shiftR :: Natural -> Int -> Natural Источник unsafeShiftR :: Natural -> Int -> Natural Источник rotateL :: Natural -> Int -> Natural Источник rotateR :: Natural -> Int -> Natural Источник popCount :: Natural -> Int Источник
Eq Natural Источник
Подробности экземпляра Определён в GHC.Internal.Bignum.Natural Методы (==) :: Natural -> Natural -> Bool Источник (/=) :: Natural -> Natural -> Bool Источник
Ord Natural Источник
Подробности экземпляра Определён в GHC.Internal.Bignum.Natural Методы compare :: Natural -> Natural -> Ordering Источник (<) :: Natural -> Natural -> Bool Источник (<=) :: Natural -> Natural -> Bool Источник (>) :: Natural -> Natural -> Bool Источник (>=) :: Natural -> Natural -> Bool Источник max :: Natural -> Natural -> Natural Источник min :: Natural -> Natural -> Natural Источник
Data Natural Источник	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Data.Data Методы gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Natural -> c Natural Источник gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Natural Источник toConstr :: Natural -> Constr Источник dataTypeOf :: Natural -> DataType Источник dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Natural) Источник dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Natural) Источник gmapT :: (forall b. Data b => b -> b) -> Natural -> Natural Источник gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Источник gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Natural -> r Источник gmapQ :: (forall d. Data d => d -> u) -> Natural -> [u] Источник gmapQi :: Int -> (forall d. Data d => d -> u) -> Natural -> u Источник gmapM :: Monad m => (forall d. Data d => d -> m d) -> Natural -> m Natural Источник gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Источник gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Natural -> m Natural Источник
Enum Natural Источник	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Enum Методы succ :: Natural -> Natural Источник pred :: Natural -> Natural Источник toEnum :: Int -> Natural Источник fromEnum :: Natural -> Int Источник enumFrom :: Natural -> [Natural] Источник enumFromThen :: Natural -> Natural -> [Natural] Источник enumFromTo :: Natural -> Natural -> [Natural] Источник enumFromThenTo :: Natural -> Natural -> Natural -> [Natural] Источник
Ix Natural Источник	Начиная с: base-4.8.0.0
Подробности экземпляра Определён в GHC.Internal.Ix Методы range :: (Natural, Natural) -> [Natural] Источник index :: (Natural, Natural) -> Natural -> Int Источник unsafeIndex :: (Natural, Natural) -> Natural -> Int Источник inRange :: (Natural, Natural) -> Natural -> Bool Источник rangeSize :: (Natural, Natural) -> Int Источник unsafeRangeSize :: (Natural, Natural) -> Int Источник
Num Natural Источник	Обратите внимание, что экземпляр `Num` для `Natural` не является кольцом: только у 0 есть аддитивный обратный элемент. Однако это полукольцо. Начиная с: base-4.8.0.0

Описание экземпляра Определено в GHC.Internal.Num Методы (+) :: Natural -> Natural -> Natural Исходный код (-) :: Natural -> Natural -> Natural Исходный код (*) :: Natural -> Natural -> Natural Исходный код negate :: Natural -> Natural Исходный код abs :: Natural -> Natural Исходный код signum :: Natural -> Natural Исходный код fromInteger :: Integer -> Natural Исходный код
Read Natural Исходный код	Начиная с: base-4.8.0.0
Описание экземпляра Определено в GHC.Internal.Read Методы readsPrec :: Int -> ReadS Natural Исходный код readList :: ReadS [Natural] Исходный код readPrec :: ReadPrec Natural Исходный код readListPrec :: ReadPrec [Natural] Исходный код
Integral Natural Исходный код	Начиная с: base-4.8.0.0
Описание экземпляра Определено в GHC.Internal.Real Методы quot :: Natural -> Natural -> Natural Исходный код rem :: Natural -> Natural -> Natural Исходный код div :: Natural -> Natural -> Natural Исходный код mod :: Natural -> Natural -> Natural Исходный код quotRem :: Natural -> Natural -> (Natural, Natural) Исходный код divMod :: Natural -> Natural -> (Natural, Natural) Исходный код toInteger :: Natural -> Integer Исходный код
Real Natural Исходный код	Начиная с: base-4.8.0.0
Описание экземпляра Определено в GHC.Internal.Real Методы toRational :: Natural -> Rational Исходный код
Show Natural Исходный код	Начиная с: base-4.8.0.0
Описание экземпляра Определено в GHC.Internal.Show Методы showsPrec :: Int -> Natural -> ShowS Исходный код show :: Natural -> String Исходный код showList :: [Natural] -> ShowS Исходный код
KnownNat n => HasResolution (n :: Nat) Исходный код	Например, `Fixed 1000` даст вам `Fixed` с разрешением 1000.
Описание экземпляра Определено в Data.Fixed Методы resolution :: p n -> Integer Исходный код
TestCoercion SNat Исходный код	Начиная с: base-4.18.0.0
Описание экземпляра Определено в GHC.Internal.TypeNats Методы testCoercion :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (Coercion a b) Исходный код
TestEquality SNat Исходный код	Начиная с: base-4.18.0.0
Описание экземпляра Определено в GHC.Internal.TypeNats Методы testEquality :: forall (a :: Nat) (b :: Nat). SNat a -> SNat b -> Maybe (a :~: b) Исходный код
Lift Natural Исходный код
Описание экземпляра Определено в GHC.Internal.TH.Lift Методы lift :: Quote m => Natural -> m Exp Исходный код liftTyped :: forall (m :: Type -> Type). Quote m => Natural -> Code m Natural Исходный код
type Compare (a :: Natural) (b :: Natural) Исходный код
Описание экземпляра Определено в GHC.Internal.Data.Type.Ord type Compare (a :: Natural) (b :: Natural) = CmpNat a b

data BigNat Исходный код

Поднятый BigNat

Представляется массивом разрядов (Word#), хранящихся в порядке от младшего к старшему (сами значения Word# используют машинный порядок).

Инвариант (каноническое представление): старший Word# не равен нулю.

Следовательно, ноль представлен WordArray# размером 0.

Конструкторы

BN#
Поля unBigNat :: BigNat#

Экземпляры

Описание экземпляров

Eq BigNat Исходный код
Описание экземпляра Определено в GHC.Internal.Bignum.BigNat Методы (==) :: BigNat -> BigNat -> Bool Исходный код (/=) :: BigNat -> BigNat -> Bool Исходный код
Ord BigNat Исходный код
Описание экземпляра Определено в GHC.Internal.Bignum.BigNat Методы compare :: BigNat -> BigNat -> Ordering Исходный код (<) :: BigNat -> BigNat -> Bool Исходный код (<=) :: BigNat -> BigNat -> Bool Исходный код (>) :: BigNat -> BigNat -> Bool Исходный код (>=) :: BigNat -> BigNat -> Bool Исходный код max :: BigNat -> BigNat -> BigNat Исходный код min :: BigNat -> BigNat -> BigNat Исходный код