wide-word-0.1.8.1: Data types for large but fixed width signed and unsigned integers
Safe HaskellNone
LanguageHaskell2010

Data.WideWord.Int128

Documentation

data Int128 Source #

Constructors

Int128 

Fields

Instances

Instances details
Binary Int128 Source #

Since: 0.1.5.0

Instance details

Defined in Data.WideWord.Int128

Methods

put :: Int128 -> Put

get :: Get Int128

putList :: [Int128] -> Put

NFData Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

rnf :: Int128 -> ()

Bits Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

(.&.) :: Int128 -> Int128 -> Int128

(.|.) :: Int128 -> Int128 -> Int128

xor :: Int128 -> Int128 -> Int128

complement :: Int128 -> Int128

shift :: Int128 -> Int -> Int128

rotate :: Int128 -> Int -> Int128

zeroBits :: Int128

bit :: Int -> Int128

setBit :: Int128 -> Int -> Int128

clearBit :: Int128 -> Int -> Int128

complementBit :: Int128 -> Int -> Int128

testBit :: Int128 -> Int -> Bool

bitSizeMaybe :: Int128 -> Maybe Int

bitSize :: Int128 -> Int

isSigned :: Int128 -> Bool

shiftL :: Int128 -> Int -> Int128

unsafeShiftL :: Int128 -> Int -> Int128

shiftR :: Int128 -> Int -> Int128

unsafeShiftR :: Int128 -> Int -> Int128

rotateL :: Int128 -> Int -> Int128

rotateR :: Int128 -> Int -> Int128

popCount :: Int128 -> Int

FiniteBits Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

finiteBitSize :: Int128 -> Int

countLeadingZeros :: Int128 -> Int

countTrailingZeros :: Int128 -> Int

Data Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Int128 -> c Int128

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Int128

toConstr :: Int128 -> Constr

dataTypeOf :: Int128 -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Int128)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Int128)

gmapT :: (forall b. Data b => b -> b) -> Int128 -> Int128

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Int128 -> r

gmapQ :: (forall d. Data d => d -> u) -> Int128 -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Int128 -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Int128 -> m Int128

Bounded Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

minBound :: Int128

maxBound :: Int128

Enum Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

succ :: Int128 -> Int128

pred :: Int128 -> Int128

toEnum :: Int -> Int128

fromEnum :: Int128 -> Int

enumFrom :: Int128 -> [Int128]

enumFromThen :: Int128 -> Int128 -> [Int128]

enumFromTo :: Int128 -> Int128 -> [Int128]

enumFromThenTo :: Int128 -> Int128 -> Int128 -> [Int128]

Storable Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

sizeOf :: Int128 -> Int

alignment :: Int128 -> Int

peekElemOff :: Ptr Int128 -> Int -> IO Int128

pokeElemOff :: Ptr Int128 -> Int -> Int128 -> IO ()

peekByteOff :: Ptr b -> Int -> IO Int128

pokeByteOff :: Ptr b -> Int -> Int128 -> IO ()

peek :: Ptr Int128 -> IO Int128

poke :: Ptr Int128 -> Int128 -> IO ()

Generic Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Associated Types

type Rep Int128 
Instance details

Defined in Data.WideWord.Int128

type Rep Int128 = D1 ('MetaData "Int128" "Data.WideWord.Int128" "wide-word-0.1.8.1-LTrmCJN05el1haHeL5Fg3U" 'False) (C1 ('MetaCons "Int128" 'PrefixI 'True) (S1 ('MetaSel ('Just "int128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "int128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

Methods

from :: Int128 -> Rep Int128 x

to :: Rep Int128 x -> Int128

Ix Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

range :: (Int128, Int128) -> [Int128]

index :: (Int128, Int128) -> Int128 -> Int

unsafeIndex :: (Int128, Int128) -> Int128 -> Int

inRange :: (Int128, Int128) -> Int128 -> Bool

rangeSize :: (Int128, Int128) -> Int

unsafeRangeSize :: (Int128, Int128) -> Int

Num Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

(+) :: Int128 -> Int128 -> Int128

(-) :: Int128 -> Int128 -> Int128

(*) :: Int128 -> Int128 -> Int128

negate :: Int128 -> Int128

abs :: Int128 -> Int128

signum :: Int128 -> Int128

fromInteger :: Integer -> Int128

Read Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

readsPrec :: Int -> ReadS Int128

readList :: ReadS [Int128]

readPrec :: ReadPrec Int128

readListPrec :: ReadPrec [Int128]

Integral Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

quot :: Int128 -> Int128 -> Int128

rem :: Int128 -> Int128 -> Int128

div :: Int128 -> Int128 -> Int128

mod :: Int128 -> Int128 -> Int128

quotRem :: Int128 -> Int128 -> (Int128, Int128)

divMod :: Int128 -> Int128 -> (Int128, Int128)

toInteger :: Int128 -> Integer

Real Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

toRational :: Int128 -> Rational

Show Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

showsPrec :: Int -> Int128 -> ShowS

show :: Int128 -> String

showList :: [Int128] -> ShowS

Eq Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

(==) :: Int128 -> Int128 -> Bool

(/=) :: Int128 -> Int128 -> Bool

Ord Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

compare :: Int128 -> Int128 -> Ordering

(<) :: Int128 -> Int128 -> Bool

(<=) :: Int128 -> Int128 -> Bool

(>) :: Int128 -> Int128 -> Bool

(>=) :: Int128 -> Int128 -> Bool

max :: Int128 -> Int128 -> Int128

min :: Int128 -> Int128 -> Int128

Hashable Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

hashWithSalt :: Int -> Int128 -> Int Source #

hash :: Int128 -> Int Source #

Prim Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

Methods

sizeOfType# :: Proxy Int128 -> Int# Source #

sizeOf# :: Int128 -> Int# Source #

alignmentOfType# :: Proxy Int128 -> Int# Source #

alignment# :: Int128 -> Int# Source #

indexByteArray# :: ByteArray# -> Int# -> Int128 Source #

readByteArray# :: MutableByteArray# s -> Int# -> State# s -> (# State# s, Int128 #) Source #

writeByteArray# :: MutableByteArray# s -> Int# -> Int128 -> State# s -> State# s Source #

setByteArray# :: MutableByteArray# s -> Int# -> Int# -> Int128 -> State# s -> State# s Source #

indexOffAddr# :: Addr# -> Int# -> Int128 Source #

readOffAddr# :: Addr# -> Int# -> State# s -> (# State# s, Int128 #) Source #

writeOffAddr# :: Addr# -> Int# -> Int128 -> State# s -> State# s Source #

setOffAddr# :: Addr# -> Int# -> Int# -> Int128 -> State# s -> State# s Source #

type Rep Int128 Source # 
Instance details

Defined in Data.WideWord.Int128

type Rep Int128 = D1 ('MetaData "Int128" "Data.WideWord.Int128" "wide-word-0.1.8.1-LTrmCJN05el1haHeL5Fg3U" 'False) (C1 ('MetaCons "Int128" 'PrefixI 'True) (S1 ('MetaSel ('Just "int128Hi64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64) :*: S1 ('MetaSel ('Just "int128Lo64") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Word64)))

byteSwapInt128 :: Int128 -> Int128 Source #

showHexInt128 :: Int128 -> String Source #

zeroInt128 :: Int128 Source #