Language.Syntactic.Syntax

Syntax trees

data AST dom sig

type ASTF dom a

data Full a

data a :-> sig

size

class ApplySym sig f dom

type family DenResult sig

Symbol domains

data (dom1 :+: dom2) a

class Project sub sup

class sub :<: sup

appSym

Type inference

symType

prjP