Eq, Ord instances for Syntax
This commit is contained in:
parent
3fbf491a78
commit
04c432681d
|
@ -1,4 +1,5 @@
|
||||||
{-# Language ConstraintKinds #-}
|
{-# Language ConstraintKinds #-}
|
||||||
|
{-# Language UndecidableInstances #-}
|
||||||
module Data.Config.Suckless.Parse.Megaparsec
|
module Data.Config.Suckless.Parse.Megaparsec
|
||||||
( parseSyntax
|
( parseSyntax
|
||||||
, parseTop
|
, parseTop
|
||||||
|
@ -42,6 +43,9 @@ type Parser r = Parsec () [Char] r
|
||||||
|
|
||||||
type ParseFail = ParseErrorBundle [Char] ()
|
type ParseFail = ParseErrorBundle [Char] ()
|
||||||
|
|
||||||
|
deriving instance Eq (Context MegaParsec) => Eq (Syntax MegaParsec)
|
||||||
|
deriving instance Ord (Context MegaParsec) => Ord (Syntax MegaParsec)
|
||||||
|
|
||||||
sc :: Parser ()
|
sc :: Parser ()
|
||||||
sc = do
|
sc = do
|
||||||
L.space space1 lineComment empty
|
L.space space1 lineComment empty
|
||||||
|
|
|
@ -81,8 +81,6 @@ data Syntax c
|
||||||
| Literal (Context c) Literal
|
| Literal (Context c) Literal
|
||||||
deriving stock (Generic)
|
deriving stock (Generic)
|
||||||
|
|
||||||
deriving instance Eq (Context c) => Eq (Syntax c)
|
|
||||||
deriving instance Ord (Context c) => Ord (Syntax c)
|
|
||||||
|
|
||||||
|
|
||||||
instance HasContext c (Syntax c) where
|
instance HasContext c (Syntax c) where
|
||||||
|
|
Loading…
Reference in New Issue