Language.Fixpoint.Types.Names

Symbols

data Symbol

class Symbolic a

type LocSymbol

type LocText

symbolicString

Conversion to/from Text

symbolSafeText

symbolSafeString

symbolText

symbolString

symbolBuilder

buildMany

isPrefixOfSym

isSuffixOfSym

isNonSymbol

isLitSymbol

isTestSymbol

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

gradIntSymbol

Wrapping Symbols

litSymbol

testSymbol

renameSymbol

kArgSymbol

existSymbol

suffixSymbol

Unwrapping Symbols

unLitSymbol

Hardwired global names

dummyName

preludeName

boolConName

funConName

listConName

listLConName

tupConName

setConName

mapConName

strConName

nilName

consName

vvName

size32Name

size64Name

bitVecName

bvAndName

bvOrName

prims

mulFuncName

divFuncName

Casting function names

setToIntName

bitVecToIntName

mapToIntName

boolToIntName

realToIntName

toIntName

setApplyName

bitVecApplyName

mapApplyName

boolApplyName

realApplyName

intApplyName

applyName

lambdaName

lamArgSymbol

isLamArgSymbol