Language.Fixpoint.Types.Names

Symbols

data Symbol

class Symbolic a

type LocSymbol

type LocText

Conversion to/from Text

symbolSafeText

symbolSafeString

symbolText

symbolString

isPrefixOfSym

isSuffixOfSym

isNonSymbol

isNontrivialVV

isDummy

Destructors

stripPrefix

consSym

unconsSym

dropSym

headSym

lengthSym

Transforms

nonSymbol

vvCon

tidySymbol

Widely used prefixes

anfPrefix

tempPrefix

vv

symChars

Creating Symbols

dummySymbol

intSymbol

tempSymbol

Wrapping Symbols

litSymbol

renameSymbol

kArgSymbol

existSymbol

suffixSymbol

Unwrapping Symbols

unLitSymbol

Hardwired global names

dummyName

preludeName

boolConName

funConName

listConName

listLConName

tupConName

propConName

hpropConName

strConName

nilName

consName

vvName

size32Name

size64Name

bitVecName

bvAndName

bvOrName

prims

mulFuncName

divFuncName

Casting function names

setToIntName

bitVecToIntName

mapToIntName

boolToIntName

realToIntName

setApplyName

bitVecApplyName

mapApplyName

boolApplyName

realApplyName

intApplyName