Documentation

data GConfig #

defConfig :: GConfig #

setPId :: GConfig -> Int -> GConfig #

makeGConfig :: Config -> GConfig #

type GSub a = HashMap KVar (a, Expr) #

type GMap a = HashMap KVar (a, [Expr]) #

type GSpan = HashMap KVar [(KVar, Maybe SrcSpan)] #

toGMap :: [(KVar, (a, [Expr]))] -> GMap a #

fromGMap :: GMap a -> [(KVar, (a, [Expr]))] #

fromGSub :: GSub a -> [(KVar, (a, Expr))] #

removeInfo :: GMap a -> GMap () #