src/PGF/Expr.hs-boot


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

module PGF.Expr where

import PGF.CId
import qualified Text.PrettyPrint as PP
import qualified Text.ParserCombinators.ReadP as RP

data Expr

instance Eq   Expr
instance Ord  Expr
instance Show Expr

pFactor :: RP.ReadP Expr

ppExpr :: Int -> [CId] -> Expr -> PP.Doc

freshName :: CId -> [CId] -> CId