github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-03 13:02:37 +03:00
Code Issues Projects Releases Wiki Activity

Define a Generic1 instance for Live.

Browse Source
This commit is contained in:
Rob Rix 2017-12-01 14:05:30 -05:00
parent ae473f7ad2
commit 4bcbffe827
1 changed files with 19 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

19
src/Data/Abstract/Live.hs
View File

@ -1,9 +1,28 @@
{-# LANGUAGE DataKinds, GeneralizedNewtypeDeriving, TypeFamilies, TypeOperators #-}
module Data.Abstract.Live where
import Data.Abstract.Address
import Data.Set as Set
import GHC.Generics
newtype Live l v = Live { unLive :: Set (Address l v) }
instance Ord l => Generic1 (Live l) where
type Rep1 (Live l)
= D1
('MetaData "Live" "Data.Abstract.Live" "main" 'Prelude.True)
(C1
('MetaCons "Live" 'PrefixI 'Prelude.True)
(S1
('MetaSel
('Just "unLive")
'NoSourceUnpackedness
'NoSourceStrictness
'DecidedLazy)
(Set :.: Rec1 (Address l))))
to1 = Live . Set.map unRec1 . unComp1 . unM1 . unM1 . unM1
from1 = M1 . M1 . M1 . Comp1 . Set.map Rec1 . unLive
instance Ord l => Functor (Live l) where
fmap f (Live as) = Live (Set.map (fmap f) as)