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

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

Defined in Data.SizedWord

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

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