github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-21 13:51:44 +03:00
Code Issues Projects Releases Wiki Activity

Define an Eq1 instance for Syntax.

Browse Source
This commit is contained in:
Rob Rix 2017-02-21 16:26:11 -05:00
parent 8884e58f43
commit 802fef2d5a
1 changed files with 5 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
src/Syntax.hs
View File

@ -2,6 +2,8 @@
module Syntax where module Syntax where
import Data.Aeson import Data.Aeson
import Data.Functor.Classes
import Data.Functor.Classes.Eq.Generic
import Data.Functor.Listable import Data.Functor.Listable
import Data.Mergeable import Data.Mergeable
import GHC.Generics import GHC.Generics
@ -170,3 +172,6 @@ instance Listable leaf => Listable1 (Syntax leaf) where
instance (Listable leaf, Listable recur) => Listable (Syntax leaf recur) where instance (Listable leaf, Listable recur) => Listable (Syntax leaf recur) where
tiers = tiers1 tiers = tiers1
instance Eq leaf => Eq1 (Syntax leaf) where
liftEq = genericLiftEq