exist-instances-0.1.0.0: Instances for "exist" package (requires more language extensions and dependencies)

Safe HaskellNone
LanguageHaskell2010

Data.Exists.Constrained.Instances

Contents

Orphan instances

(Typeable a, Lifting c Eq a) => Eq (E c a) Source # 
Instance details

Methods

(==) :: E c a -> E c a -> Bool #

(/=) :: E c a -> E c a -> Bool #

(Typeable a, Lifting c Eq a, Lifting c Ord a) => Ord (E c a) Source # 
Instance details

Methods

compare :: E c a -> E c a -> Ordering #

(<) :: E c a -> E c a -> Bool #

(<=) :: E c a -> E c a -> Bool #

(>) :: E c a -> E c a -> Bool #

(>=) :: E c a -> E c a -> Bool #

max :: E c a -> E c a -> E c a #

min :: E c a -> E c a -> E c a #

Lifting c Show a => Show (E c a) Source # 
Instance details

Methods

showsPrec :: Int -> E c a -> ShowS #

show :: E c a -> String #

showList :: [E c a] -> ShowS #