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