Language.Symantic.Typing.Variable

data a :~~: b

Type Var

data Var src vs v

varZ

kindOfVar

Comparison

eqVar

eqVarKi

ordVarKi

Type EVar

data EVar src vs

Type IndexVar

type IndexVar

indexVar

Class LenVars

class LenVars a

Class AllocVars

class AllocVars a

appendVars

Type NameVar

data NameVar

Class VarOccursIn

class VarOccursIn a

Type family VarsOf

type family VarsOf a :: [Type]

Type Vars

data Vars src vs

lookupVars

insertVars

Type EVars

data EVars src

Type UsedVars

data UsedVars src vs vs'

lookupUsedVars

insertUsedVars

Class UsedVarsOf

class UsedVarsOf a

Type UnProxy

type family UnProxy (x :: Type) :: k where ...