Numeric.Sized.IntOfSize

This module exports the IntOfSize type and associated functions.

Documentation

newtype IntOfSize n

An integer type with a size decided by a type-level nat. Numeric operations wraparound by default:

>>> (127 :: IntOfSize 8) + 1
-128

Constructors

IntOfSize

Fields

• getIntOfSize :: Integer

Instances

KnownNat n => Bounded (IntOfSize n)

Methods

minBound :: IntOfSize n

maxBound :: IntOfSize n

KnownNat n => Enum (IntOfSize n)

Methods

succ :: IntOfSize n -> IntOfSize n

pred :: IntOfSize n -> IntOfSize n

toEnum :: Int -> IntOfSize n

fromEnum :: IntOfSize n -> Int

enumFrom :: IntOfSize n -> [IntOfSize n]

enumFromThen :: IntOfSize n -> IntOfSize n -> [IntOfSize n]

enumFromTo :: IntOfSize n -> IntOfSize n -> [IntOfSize n]

enumFromThenTo :: IntOfSize n -> IntOfSize n -> IntOfSize n -> [IntOfSize n]

KnownNat n => Eq (IntOfSize n)

Methods

(==) :: IntOfSize n -> IntOfSize n -> Bool

(/=) :: IntOfSize n -> IntOfSize n -> Bool

KnownNat n => Integral (IntOfSize n)

Methods

quot :: IntOfSize n -> IntOfSize n -> IntOfSize n

rem :: IntOfSize n -> IntOfSize n -> IntOfSize n

div :: IntOfSize n -> IntOfSize n -> IntOfSize n

mod :: IntOfSize n -> IntOfSize n -> IntOfSize n

quotRem :: IntOfSize n -> IntOfSize n -> (IntOfSize n, IntOfSize n)

divMod :: IntOfSize n -> IntOfSize n -> (IntOfSize n, IntOfSize n)

toInteger :: IntOfSize n -> Integer

KnownNat n => Num (IntOfSize n)

Methods

(+) :: IntOfSize n -> IntOfSize n -> IntOfSize n

(-) :: IntOfSize n -> IntOfSize n -> IntOfSize n

(*) :: IntOfSize n -> IntOfSize n -> IntOfSize n

negate :: IntOfSize n -> IntOfSize n

abs :: IntOfSize n -> IntOfSize n

signum :: IntOfSize n -> IntOfSize n

fromInteger :: Integer -> IntOfSize n

KnownNat n => Ord (IntOfSize n)

Methods

compare :: IntOfSize n -> IntOfSize n -> Ordering

(<) :: IntOfSize n -> IntOfSize n -> Bool

(<=) :: IntOfSize n -> IntOfSize n -> Bool

(>) :: IntOfSize n -> IntOfSize n -> Bool

(>=) :: IntOfSize n -> IntOfSize n -> Bool

max :: IntOfSize n -> IntOfSize n -> IntOfSize n

min :: IntOfSize n -> IntOfSize n -> IntOfSize n

KnownNat n => Real (IntOfSize n)

Methods

toRational :: IntOfSize n -> Rational

KnownNat n => Show (IntOfSize n)

Methods

showsPrec :: Int -> IntOfSize n -> ShowS

show :: IntOfSize n -> String

showList :: [IntOfSize n] -> ShowS

KnownNat n => Ix (IntOfSize n)

Methods

range :: (IntOfSize n, IntOfSize n) -> [IntOfSize n]

index :: (IntOfSize n, IntOfSize n) -> IntOfSize n -> Int

unsafeIndex :: (IntOfSize n, IntOfSize n) -> IntOfSize n -> Int

inRange :: (IntOfSize n, IntOfSize n) -> IntOfSize n -> Bool

rangeSize :: (IntOfSize n, IntOfSize n) -> Int

unsafeRangeSize :: (IntOfSize n, IntOfSize n) -> Int

Generic (IntOfSize n)

Associated Types

type Rep (IntOfSize n) :: * -> *

Methods

from :: IntOfSize n -> Rep (IntOfSize n) x

to :: Rep (IntOfSize n) x -> IntOfSize n

KnownNat n => Bits (IntOfSize n)

Methods

(.&.) :: IntOfSize n -> IntOfSize n -> IntOfSize n

(.|.) :: IntOfSize n -> IntOfSize n -> IntOfSize n

xor :: IntOfSize n -> IntOfSize n -> IntOfSize n

complement :: IntOfSize n -> IntOfSize n

shift :: IntOfSize n -> Int -> IntOfSize n

rotate :: IntOfSize n -> Int -> IntOfSize n

zeroBits :: IntOfSize n

bit :: Int -> IntOfSize n

setBit :: IntOfSize n -> Int -> IntOfSize n

clearBit :: IntOfSize n -> Int -> IntOfSize n

complementBit :: IntOfSize n -> Int -> IntOfSize n

testBit :: IntOfSize n -> Int -> Bool

bitSizeMaybe :: IntOfSize n -> Maybe Int

bitSize :: IntOfSize n -> Int

isSigned :: IntOfSize n -> Bool

shiftL :: IntOfSize n -> Int -> IntOfSize n

unsafeShiftL :: IntOfSize n -> Int -> IntOfSize n

shiftR :: IntOfSize n -> Int -> IntOfSize n

unsafeShiftR :: IntOfSize n -> Int -> IntOfSize n

rotateL :: IntOfSize n -> Int -> IntOfSize n

rotateR :: IntOfSize n -> Int -> IntOfSize n

popCount :: IntOfSize n -> Int

KnownNat n => FiniteBits (IntOfSize n)

Methods

finiteBitSize :: IntOfSize n -> Int

countLeadingZeros :: IntOfSize n -> Int

countTrailingZeros :: IntOfSize n -> Int

type Rep (IntOfSize n)

type Rep (IntOfSize n) = D1 (MetaData "IntOfSize" "Numeric.Sized.IntOfSize" "nat-sized-numbers-0.2.0.0-G32RKoDML39HRDzfqWsuNm" True) (C1 (MetaCons "IntOfSize" PrefixI True) (S1 (MetaSel (Just Symbol "getIntOfSize") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Integer)))

allIntsOfSize :: KnownNat n => [IntOfSize n]

Generate all values, in a sensible order

>>> allIntsOfSize :: [IntOfSize 4]
[0,-1,1,-2,2,-3,3,-4,4,-5,5,-6,6,-7,7,-8]