module Autolib.Util.Hide where
newtype Hide a = Hide { forall a. Hide a -> a
unHide :: a } deriving Int -> Hide a -> ShowS
[Hide a] -> ShowS
Hide a -> String
(Int -> Hide a -> ShowS)
-> (Hide a -> String) -> ([Hide a] -> ShowS) -> Show (Hide a)
forall a. Show a => Int -> Hide a -> ShowS
forall a. Show a => [Hide a] -> ShowS
forall a. Show a => Hide a -> String
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: forall a. Show a => Int -> Hide a -> ShowS
showsPrec :: Int -> Hide a -> ShowS
$cshow :: forall a. Show a => Hide a -> String
show :: Hide a -> String
$cshowList :: forall a. Show a => [Hide a] -> ShowS
showList :: [Hide a] -> ShowS
Show
instance Eq (Hide a) where Hide a
x == :: Hide a -> Hide a -> Bool
== Hide a
y = Bool
True
instance Ord (Hide a) where compare :: Hide a -> Hide a -> Ordering
compare Hide a
x Hide a
y = Ordering
EQ