mirror of
https://github.com/github/semantic.git
synced 2024-12-22 22:31:36 +03:00
Derive Eq1, Ord1, & Show1 instances for Live.
This commit is contained in:
parent
4bcbffe827
commit
0d31aece39
@ -2,6 +2,7 @@
|
||||
module Data.Abstract.Live where
|
||||
|
||||
import Data.Abstract.Address
|
||||
import Data.Functor.Classes.Generic
|
||||
import Data.Set as Set
|
||||
import GHC.Generics
|
||||
|
||||
@ -26,3 +27,7 @@ instance Ord l => Generic1 (Live l) where
|
||||
|
||||
instance Ord l => Functor (Live l) where
|
||||
fmap f (Live as) = Live (Set.map (fmap f) as)
|
||||
|
||||
instance Ord l => Eq1 (Live l) where liftEq = genericLiftEq
|
||||
instance Ord l => Ord1 (Live l) where liftCompare = genericLiftCompare
|
||||
instance (Ord l, Show l) => Show1 (Live l) where liftShowsPrec = genericLiftShowsPrec
|
||||
|
Loading…
Reference in New Issue
Block a user