Language.Hakaru.Syntax.ABT

Our basic notion of variables.

resolveVar

The abstract binding tree interface

data View

unviewABT

class ABT syn abt

caseVarSyn

binds

binds_

caseBinds

underBinders

maxNextFree

maxNextBind

maxNextFreeOrBind

Capture avoiding substitution for any ABT

rename

renames

subst

substs

Constructing first-order trees with a HOAS-like API

binder

Highly experimental

withMetadata

Abstract nonsense

cataABT

paraABT

Some ABT instances

data TrivialABT syn xs a

data MemoizedABT syn xs a

data MetaABT meta syn xs a