Gradual.GUI.Types

Documentation

data Unique

Constructors

Unique

Fields

• uId :: Int
• uLoc :: SrcSpan
• uName :: Symbol

Instances

Show Unique

Defined in Gradual.GUI.Types

Methods

showsPrec :: Int -> Unique -> ShowS

show :: Unique -> String

showList :: [Unique] -> ShowS

type LocTokens = [(TokenType, String, Loc)]

type Deps = Dependencies ()

type SDeps = Dependencies String

type Dependencies val = [(Unique, [(Unique, val)])]

type PKeys = [[KVar]]

makePKeys :: [[GSub a]] -> PKeys

kVarId :: Dependencies v -> KVar -> (Int, Int)

srcDeps :: Dependencies v -> [(Int, Int, SrcSpan, v)]

gSpanToDeps :: GSub a -> GSpan -> SDeps

kVarSpan :: Symbol -> SrcSpan

takeFileName :: String -> String

symbolLoc :: Symbol -> Loc