Gradual.Types

Documentation

data GConfig

Constructors

GConfig

Fields

• gtarget :: String
• depth :: Int
• pId :: Int
• pNumber :: Int

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 ()