Language.Hakaru.Syntax.Variable

Our basic notion of variables.

data Variable a

data VarEqTypeError

Variables with existentially quantified types

type KindOf a

data SomeVariable kproxy

Some helper types for "heaps", "environments", etc

Typing environments; aka: sets of (typed) variables

data VarSet kproxy

singletonVarSet

intersectVarSet

Substitutions; aka: maps from variables to their definitions

data Assoc ast

data Assocs ast

singletonAssocs

insertOrReplaceAssoc