liquidhaskell-0.8.10.2: Liquid Types for Haskell
Safe HaskellNone
LanguageHaskell98

Gradual.GUI.Types

Documentation

data Unique Source #

Constructors

Unique 

Fields

Instances

Instances details
Show Unique Source # 
Instance details

Defined in Gradual.GUI.Types

Methods

showsPrec :: Int -> Unique -> ShowS #

show :: Unique -> String #

showList :: [Unique] -> ShowS #

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

type Deps = Dependencies () Source #

type SDeps = Dependencies String Source #

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

type PKeys = [[KVar]] Source #

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

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

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

gSpanToDeps :: GSub a -> GSpan -> SDeps Source #

kVarSpan :: Symbol -> SrcSpan Source #

takeFileName :: String -> String Source #

symbolLoc :: Symbol -> Loc Source #