Term.VTerm

# Terms with constants and variables

data Lit c v

type VTerm c v

varTerm

constTerm

varsVTerm

occursVTerm

constsVTerm

isVar

## Destructors

termVar

termVar'

class IsVar v

class IsConst c

## Pretty printing and query functions.

prettyTerm

showFunSymName

lits

## Smart constructors

fAppOne

fAppDiff

fAppExp

fAppInv

fAppPMult

fAppEMap

fAppPair

fAppFst

fAppSnd

## Destructors and classifiers

isPair

isDiff

isInverse

isProduct

isUnion

isEMap

isNullaryPublicFunction

isPrivateFunction

getLeftTerm

getRightTerm

# AC, C, and NonAC funcion symbols

data FunSym

data ACSym

data CSym

data Privacy

type NoEqSym

## Signatures

type FunSig

type NoEqFunSig

## concrete symbols strings

diffSymString

expSymString

invSymString

pmultSymString

emapSymString

unionSymString

## Function symbols

diffSym

expSym

pmultSym

## concrete signatures

dhFunSig

bpFunSig

msetFunSig

pairFunSig

dhReducibleFunSig

bpReducibleFunSig

implicitFunSig

class Sized a

# Terms

data Term a

data TermView a

viewTerm

data TermView2 a

viewTerm2

termViewToTerm

# Diff Type

data DiffType

## Standard function

traverseTerm

fmapTerm

bindTerm

## Smart constructors

lit

fApp

fAppAC

fAppC

fAppNoEq

fAppList

unsafefApp