tfp-1.0.1: Type-level integers, booleans, lists using type families

Safe HaskellSafe
LanguageHaskell2010

Data.SizedWord

Documentation

data SizedWord nT Source #

Instances
Natural nT => Bounded (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

minBound :: SizedWord nT #

maxBound :: SizedWord nT #

Natural nT => Enum (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

succ :: SizedWord nT -> SizedWord nT #

pred :: SizedWord nT -> SizedWord nT #

toEnum :: Int -> SizedWord nT #

fromEnum :: SizedWord nT -> Int #

enumFrom :: SizedWord nT -> [SizedWord nT] #

enumFromThen :: SizedWord nT -> SizedWord nT -> [SizedWord nT] #

enumFromTo :: SizedWord nT -> SizedWord nT -> [SizedWord nT] #

enumFromThenTo :: SizedWord nT -> SizedWord nT -> SizedWord nT -> [SizedWord nT] #

Natural nT => Eq (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

(==) :: SizedWord nT -> SizedWord nT -> Bool #

(/=) :: SizedWord nT -> SizedWord nT -> Bool #

Natural nT => Integral (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

quot :: SizedWord nT -> SizedWord nT -> SizedWord nT #

rem :: SizedWord nT -> SizedWord nT -> SizedWord nT #

div :: SizedWord nT -> SizedWord nT -> SizedWord nT #

mod :: SizedWord nT -> SizedWord nT -> SizedWord nT #

quotRem :: SizedWord nT -> SizedWord nT -> (SizedWord nT, SizedWord nT) #

divMod :: SizedWord nT -> SizedWord nT -> (SizedWord nT, SizedWord nT) #

toInteger :: SizedWord nT -> Integer #

Natural nT => Num (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

(+) :: SizedWord nT -> SizedWord nT -> SizedWord nT #

(-) :: SizedWord nT -> SizedWord nT -> SizedWord nT #

(*) :: SizedWord nT -> SizedWord nT -> SizedWord nT #

negate :: SizedWord nT -> SizedWord nT #

abs :: SizedWord nT -> SizedWord nT #

signum :: SizedWord nT -> SizedWord nT #

fromInteger :: Integer -> SizedWord nT #

Natural nT => Ord (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

compare :: SizedWord nT -> SizedWord nT -> Ordering #

(<) :: SizedWord nT -> SizedWord nT -> Bool #

(<=) :: SizedWord nT -> SizedWord nT -> Bool #

(>) :: SizedWord nT -> SizedWord nT -> Bool #

(>=) :: SizedWord nT -> SizedWord nT -> Bool #

max :: SizedWord nT -> SizedWord nT -> SizedWord nT #

min :: SizedWord nT -> SizedWord nT -> SizedWord nT #

Natural nT => Read (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

readsPrec :: Int -> ReadS (SizedWord nT) #

readList :: ReadS [SizedWord nT] #

readPrec :: ReadPrec (SizedWord nT) #

readListPrec :: ReadPrec [SizedWord nT] #

Natural nT => Real (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

toRational :: SizedWord nT -> Rational #

Natural nT => Show (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

showsPrec :: Int -> SizedWord nT -> ShowS #

show :: SizedWord nT -> String #

showList :: [SizedWord nT] -> ShowS #

Natural nT => Bits (SizedWord nT) Source # 
Instance details

Defined in Data.SizedWord

Methods

(.&.) :: SizedWord nT -> SizedWord nT -> SizedWord nT #

(.|.) :: SizedWord nT -> SizedWord nT -> SizedWord nT #

xor :: SizedWord nT -> SizedWord nT -> SizedWord nT #

complement :: SizedWord nT -> SizedWord nT #

shift :: SizedWord nT -> Int -> SizedWord nT #

rotate :: SizedWord nT -> Int -> SizedWord nT #

zeroBits :: SizedWord nT #

bit :: Int -> SizedWord nT #

setBit :: SizedWord nT -> Int -> SizedWord nT #

clearBit :: SizedWord nT -> Int -> SizedWord nT #

complementBit :: SizedWord nT -> Int -> SizedWord nT #

testBit :: SizedWord nT -> Int -> Bool #

bitSizeMaybe :: SizedWord nT -> Maybe Int #

bitSize :: SizedWord nT -> Int #

isSigned :: SizedWord nT -> Bool #

shiftL :: SizedWord nT -> Int -> SizedWord nT #

unsafeShiftL :: SizedWord nT -> Int -> SizedWord nT #

shiftR :: SizedWord nT -> Int -> SizedWord nT #

unsafeShiftR :: SizedWord nT -> Int -> SizedWord nT #

rotateL :: SizedWord nT -> Int -> SizedWord nT #

rotateR :: SizedWord nT -> Int -> SizedWord nT #

popCount :: SizedWord nT -> Int #