what4-1.0: Solver-agnostic symbolic values support for issuing queries
What4.Utils.Endian
data Endian Source #
Constructors
Defined in What4.Utils.Endian
Methods
(==) :: Endian -> Endian -> Bool #
(/=) :: Endian -> Endian -> Bool #
compare :: Endian -> Endian -> Ordering #
(<) :: Endian -> Endian -> Bool #
(<=) :: Endian -> Endian -> Bool #
(>) :: Endian -> Endian -> Bool #
(>=) :: Endian -> Endian -> Bool #
max :: Endian -> Endian -> Endian #
min :: Endian -> Endian -> Endian #
showsPrec :: Int -> Endian -> ShowS #
show :: Endian -> String #
showList :: [Endian] -> ShowS #