what4-1.1: 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
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

Show Endian Source # 
Instance details

Defined in What4.Utils.Endian