Safe Haskell	None
Language	Haskell2010

Data.WideWord.Int128

Documentation

data Int128 #

Constructors

Int128
Fields int128Hi64 :: !Word64 int128Lo64 :: !Word64

Instances

Instances details

Binary Int128 #

Since: 0.1.5.0

Instance details

Defined in Data.WideWord.Int128

Methods

put :: Int128 -> Put #

get :: Get Int128 #

putList :: [Int128] -> Put #

NFData Int128 #

Instance details

Defined in Data.WideWord.Int128

Methods

rnf :: Int128 -> () #

Bits Int128 #

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 #

Instance details

Defined in Data.WideWord.Int128

Methods

finiteBitSize :: Int128 -> Int #

countLeadingZeros :: Int128 -> Int #

countTrailingZeros :: Int128 -> Int #

Data Int128 #

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 #

Instance details

Defined in Data.WideWord.Int128

Methods

minBound :: Int128 #

maxBound :: Int128 #

Enum Int128 #

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 #

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 #

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.7.0-BlHRmgATFbS2JF4UVyVt94" '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 #

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 #

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 #

Instance details

Defined in Data.WideWord.Int128

Methods

readsPrec :: Int -> ReadS Int128 #

readList :: ReadS [Int128] #

readPrec :: ReadPrec Int128 #

readListPrec :: ReadPrec [Int128] #

Integral Int128 #

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 #

Instance details

Defined in Data.WideWord.Int128

Methods

toRational :: Int128 -> Rational #

Show Int128 #

Instance details

Defined in Data.WideWord.Int128

Methods

showsPrec :: Int -> Int128 -> ShowS #

show :: Int128 -> String #

showList :: [Int128] -> ShowS #

Eq Int128 #

Instance details

Defined in Data.WideWord.Int128

Methods

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

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

Ord Int128 #

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 #

Instance details

Defined in Data.WideWord.Int128

Methods

hashWithSalt :: Int -> Int128 -> Int #

hash :: Int128 -> Int #

Prim Int128 #

Instance details

Defined in Data.WideWord.Int128

Methods

sizeOfType# :: Proxy Int128 -> Int# #

sizeOf# :: Int128 -> Int# #

alignmentOfType# :: Proxy Int128 -> Int# #

alignment# :: Int128 -> Int# #

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

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

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

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

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

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

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

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

type Rep Int128 #

Instance details

Defined in Data.WideWord.Int128

type Rep Int128 = D1 ('MetaData "Int128" "Data.WideWord.Int128" "wide-word-0.1.7.0-BlHRmgATFbS2JF4UVyVt94" '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 #

showHexInt128 :: Int128 -> String #

zeroInt128 :: Int128 #