liquidhaskell-0.8.10.1: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.GUI.Types

Documentation

data Unique #

Constructors

Unique 

Fields

Instances

Instances details
Show Unique # 
Instance details

Defined in Gradual.GUI.Types

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

type Deps = Dependencies () #

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)] #

kVarSpan :: Symbol -> SrcSpan #

symbolLoc :: Symbol -> Loc #