what4-1.6.3: Solver-agnostic symbolic values support for issuing queries
Safe HaskellSafe-Inferred
LanguageHaskell2010

What4.Utils.Endian

Documentation

data Endian Source #

Constructors

LittleEndian 
BigEndian 

Instances

Instances details
Show Endian Source # 
Instance details

Defined in What4.Utils.Endian

Methods

showsPrec :: Int -> Endian -> ShowS

show :: Endian -> String

showList :: [Endian] -> ShowS

Eq Endian Source # 
Instance details

Defined in What4.Utils.Endian

Methods

(==) :: Endian -> Endian -> Bool

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

Ord Endian Source # 
Instance details

Defined in What4.Utils.Endian

Methods

compare :: Endian -> Endian -> Ordering

(<) :: Endian -> Endian -> Bool

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

(>) :: Endian -> Endian -> Bool

(>=) :: Endian -> Endian -> Bool

max :: Endian -> Endian -> Endian

min :: Endian -> Endian -> Endian