module What4.Utils.Endian where

data Endian = LittleEndian | BigEndian deriving (Endian -> Endian -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Endian -> Endian -> Bool
$c/= :: Endian -> Endian -> Bool
== :: Endian -> Endian -> Bool
$c== :: Endian -> Endian -> Bool
Eq,Int -> Endian -> ShowS
[Endian] -> ShowS
Endian -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Endian] -> ShowS
$cshowList :: [Endian] -> ShowS
show :: Endian -> String
$cshow :: Endian -> String
showsPrec :: Int -> Endian -> ShowS
$cshowsPrec :: Int -> Endian -> ShowS
Show,Eq Endian
Endian -> Endian -> Bool
Endian -> Endian -> Ordering
Endian -> Endian -> Endian
forall a.
Eq a
-> (a -> a -> Ordering)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> Bool)
-> (a -> a -> a)
-> (a -> a -> a)
-> Ord a
min :: Endian -> Endian -> Endian
$cmin :: Endian -> Endian -> Endian
max :: Endian -> Endian -> Endian
$cmax :: Endian -> Endian -> Endian
>= :: Endian -> Endian -> Bool
$c>= :: Endian -> Endian -> Bool
> :: Endian -> Endian -> Bool
$c> :: Endian -> Endian -> Bool
<= :: Endian -> Endian -> Bool
$c<= :: Endian -> Endian -> Bool
< :: Endian -> Endian -> Bool
$c< :: Endian -> Endian -> Bool
compare :: Endian -> Endian -> Ordering
$ccompare :: Endian -> Endian -> Ordering
Ord)