Copyright	(c) Galois Inc 2011-2016
License	BSD3
Maintainer	Rob Dockins <rdockins@galois.com>
Stability	provisional
Safe Haskell	Safe-Inferred
Language	Haskell2010

Lang.Crucible.LLVM.Bytes

Contents

Bytes

Description

Synopsis

newtype Bytes = Bytes {
- unBytes :: Integer
}
type Addr = Bytes
type Offset = Bytes
bytesToBits :: Bytes -> Natural
bytesToNatural :: Bytes -> Natural
bytesToInteger :: Bytes -> Integer
bytesToBV :: NatRepr w -> Bytes -> BV w
toBytes :: Integral a => a -> Bytes
bitsToBytes :: Integral a => a -> Bytes
natBytesMul :: Natural -> Bytes -> Bytes

Bytes

newtype Bytes Source #

A newtype for expressing numbers of bytes. This newtype is explicitly introduced to avoid confusion between widths expressed as numbers of bits vs numbers of bytes.

Constructors

Bytes
Fields unBytes :: Integer

Instances

Instances details

Enum Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods succ :: Bytes -> Bytes # pred :: Bytes -> Bytes # toEnum :: Int -> Bytes # fromEnum :: Bytes -> Int # enumFrom :: Bytes -> [Bytes] # enumFromThen :: Bytes -> Bytes -> [Bytes] # enumFromTo :: Bytes -> Bytes -> [Bytes] # enumFromThenTo :: Bytes -> Bytes -> Bytes -> [Bytes] #
Num Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods (+) :: Bytes -> Bytes -> Bytes # (-) :: Bytes -> Bytes -> Bytes # (*) :: Bytes -> Bytes -> Bytes # negate :: Bytes -> Bytes # abs :: Bytes -> Bytes # signum :: Bytes -> Bytes # fromInteger :: Integer -> Bytes #
Integral Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods quot :: Bytes -> Bytes -> Bytes # rem :: Bytes -> Bytes -> Bytes # div :: Bytes -> Bytes -> Bytes # mod :: Bytes -> Bytes -> Bytes # quotRem :: Bytes -> Bytes -> (Bytes, Bytes) # divMod :: Bytes -> Bytes -> (Bytes, Bytes) # toInteger :: Bytes -> Integer #
Real Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods toRational :: Bytes -> Rational #
Show Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods showsPrec :: Int -> Bytes -> ShowS # show :: Bytes -> String # showList :: [Bytes] -> ShowS #
Eq Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods (==) :: Bytes -> Bytes -> Bool # (/=) :: Bytes -> Bytes -> Bool #
Ord Bytes Source #
Instance details Defined in Lang.Crucible.LLVM.Bytes Methods compare :: Bytes -> Bytes -> Ordering # (<) :: Bytes -> Bytes -> Bool # (<=) :: Bytes -> Bytes -> Bool # (>) :: Bytes -> Bytes -> Bool # (>=) :: Bytes -> Bytes -> Bool # max :: Bytes -> Bytes -> Bytes # min :: Bytes -> Bytes -> Bytes #

type Addr = Bytes Source #

type Offset = Bytes Source #

bytesToBits :: Bytes -> Natural Source #

bytesToNatural :: Bytes -> Natural Source #

bytesToInteger :: Bytes -> Integer Source #

bytesToBV :: NatRepr w -> Bytes -> BV w Source #

toBytes :: Integral a => a -> Bytes Source #

bitsToBytes :: Integral a => a -> Bytes Source #

natBytesMul :: Natural -> Bytes -> Bytes Source #

Multiply a number of bytes by a natural number