diff options
Diffstat (limited to 'src/PGF/Expr.hs-boot')
| -rw-r--r-- | src/PGF/Expr.hs-boot | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/PGF/Expr.hs-boot b/src/PGF/Expr.hs-boot index 533feea75..075f7f44b 100644 --- a/src/PGF/Expr.hs-boot +++ b/src/PGF/Expr.hs-boot @@ -10,7 +10,16 @@ instance Eq Expr instance Ord Expr
instance Show Expr
+
+data BindType = Explicit | Implicit
+
+instance Eq BindType
+instance Ord BindType
+instance Show BindType
+
+
pFactor :: RP.ReadP Expr
+pBinds :: RP.ReadP [(BindType,CId)]
ppExpr :: Int -> [CId] -> Expr -> PP.Doc
|