Contents
Index
liquid-fixpoint-0.1.0.0: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Index
=>>
Language.Fixpoint.Misc
addIds
Language.Fixpoint.Types
Alts
Language.Fixpoint.Types
andD
Language.Fixpoint.PrettyPrint
anfPrefix
Language.Fixpoint.Types
angleBrackets
Language.Fixpoint.Misc
Angry
Language.Fixpoint.Misc
Annot
Language.Fixpoint.Files
applyNonNull
Language.Fixpoint.Misc
arrow
Language.Fixpoint.Misc
assertstar
Language.Fixpoint.Misc
bchopAlts
Language.Fixpoint.Misc
BindEnv
Language.Fixpoint.Types
BindId
Language.Fixpoint.Types
blanks
Language.Fixpoint.Parse
boolConName
Language.Fixpoint.Names
boolFTyCon
Language.Fixpoint.Types
Bop
Language.Fixpoint.Types
bot
Language.Fixpoint.Types
boxStrCat
Language.Fixpoint.Misc
brackets
Language.Fixpoint.Parse
Brel
Language.Fixpoint.Types
bs
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
catSubst
Language.Fixpoint.Types
Cgi
Language.Fixpoint.Files
checkExitCode
Language.Fixpoint.Misc
checkFail
Language.Fixpoint.Misc
checkSorted
Language.Fixpoint.Sort
checkSortedReft
Language.Fixpoint.Sort
checkSortedReftFull
Language.Fixpoint.Sort
checkValid
Language.Fixpoint.Interface
chopAfter
Language.Fixpoint.Misc
chopAlt
Language.Fixpoint.Misc
chopAlts
Language.Fixpoint.Misc
chopPrefix
Language.Fixpoint.Misc
cm
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
colon
Language.Fixpoint.Parse
colorPhaseLn
Language.Fixpoint.Misc
colorResult
Language.Fixpoint.Types
colorStrLn
Language.Fixpoint.Misc
comma
Language.Fixpoint.Parse
Command
Language.Fixpoint.Config
command
Language.Fixpoint.Config
concatMapM
Language.Fixpoint.Misc
condIdP
Language.Fixpoint.Parse
Config
1 (Type/Class)
Language.Fixpoint.Config
2 (Data Constructor)
Language.Fixpoint.Config
Constant
Language.Fixpoint.Types
constantP
Language.Fixpoint.Parse
copyFiles
Language.Fixpoint.Files
Crash
Language.Fixpoint.Types
Cst
Language.Fixpoint.Files
Cvc4
Language.Fixpoint.Config
Dat
Language.Fixpoint.Files
dcolon
1 (Function)
Language.Fixpoint.Misc
2 (Function)
Language.Fixpoint.Parse
deleteIBindEnv
Language.Fixpoint.Types
deleteSEnv
Language.Fixpoint.Types
distinct
Language.Fixpoint.Misc
Div
Language.Fixpoint.Types
doneLine
Language.Fixpoint.Misc
donePhase
Language.Fixpoint.Misc
doParse'
Language.Fixpoint.Parse
dot
Language.Fixpoint.Misc
dropModuleNames
Language.Fixpoint.Names
dummyName
Language.Fixpoint.Names
dummySymbol
Language.Fixpoint.Types
EApp
Language.Fixpoint.Types
EBin
Language.Fixpoint.Types
EBot
Language.Fixpoint.Types
ECon
Language.Fixpoint.Types
ECst
Language.Fixpoint.Types
EIte
Language.Fixpoint.Types
ELit
Language.Fixpoint.Types
Emp
Language.Fixpoint.Misc
Empty
Language.Fixpoint.Misc
emptyBindEnv
Language.Fixpoint.Types
emptyIBindEnv
Language.Fixpoint.Types
emptySEnv
Language.Fixpoint.Types
emptySubst
Language.Fixpoint.Types
eProp
Language.Fixpoint.Types
Eq
Language.Fixpoint.Types
errorstar
Language.Fixpoint.Misc
errortext
Language.Fixpoint.Misc
ESym
Language.Fixpoint.Types
EVar
Language.Fixpoint.Types
eVar
Language.Fixpoint.Types
executeShellCommand
Language.Fixpoint.Misc
expandSnd
Language.Fixpoint.Misc
Expr
Language.Fixpoint.Types
expr
Language.Fixpoint.Types
Expression
Language.Fixpoint.Types
exprP
Language.Fixpoint.Parse
exprReft
Language.Fixpoint.Types
Ext
Language.Fixpoint.Files
extFileName
Language.Fixpoint.Files
extModuleName
Language.Fixpoint.Files
falseD
Language.Fixpoint.PrettyPrint
FApp
Language.Fixpoint.Types
FEnv
Language.Fixpoint.Types
FFunc
Language.Fixpoint.Types
FI
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
filterSEnv
Language.Fixpoint.Types
findFileInDirs
Language.Fixpoint.Files
findFirst
Language.Fixpoint.Misc
findWithDefaultL
Language.Fixpoint.Misc
FInfo
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
FInt
Language.Fixpoint.Types
firstElem
Language.Fixpoint.Misc
firstElems
Language.Fixpoint.Misc
Fixpoint
Language.Fixpoint.Types
FixResult
Language.Fixpoint.Types
FixSolution
Language.Fixpoint.Types
flattenRefas
Language.Fixpoint.Types
FNum
Language.Fixpoint.Types
FObj
Language.Fixpoint.Types
foldlMap
Language.Fixpoint.Misc
Found
Language.Fixpoint.Types
Fq
Language.Fixpoint.Files
freshIntP
Language.Fixpoint.Parse
fromListSEnv
Language.Fixpoint.Types
fst3
Language.Fixpoint.Misc
FTycon
Language.Fixpoint.Types
fTyConP
Language.Fixpoint.Parse
fTyconString
Language.Fixpoint.Types
funConName
Language.Fixpoint.Names
FVar
Language.Fixpoint.Types
Ge
Language.Fixpoint.Types
GenQualifierSort
Language.Fixpoint.Config
genSorts
Language.Fixpoint.Config
getFileInDirs
Language.Fixpoint.Files
getFixpointPath
Language.Fixpoint.Files
getHsTargets
Language.Fixpoint.Files
getZ3LibPath
Language.Fixpoint.Files
GQS
Language.Fixpoint.Config
group
Language.Fixpoint.Misc
groupList
Language.Fixpoint.Misc
groupMap
Language.Fixpoint.Misc
gs
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
Gt
Language.Fixpoint.Types
Happy
Language.Fixpoint.Misc
hashMapMapKeys
Language.Fixpoint.Misc
hashMapMapWithKey
Language.Fixpoint.Misc
hashMapToAscList
Language.Fixpoint.Misc
Hquals
Language.Fixpoint.Files
Hs
Language.Fixpoint.Files
Html
Language.Fixpoint.Files
I
Language.Fixpoint.Types
IBindEnv
Language.Fixpoint.Types
ifM
Language.Fixpoint.Misc
inFile
Language.Fixpoint.Config
Inputable
Language.Fixpoint.Parse
insertBindEnv
Language.Fixpoint.Types
insertFEnv
Language.Fixpoint.Types
inserts
Language.Fixpoint.Misc
insertSEnv
Language.Fixpoint.Types
insertsIBindEnv
Language.Fixpoint.Types
integer
Language.Fixpoint.Parse
intersectWithSEnv
Language.Fixpoint.Types
intersperse
Language.Fixpoint.Misc
intFTyCon
Language.Fixpoint.Types
intKvar
Language.Fixpoint.Types
intSymbol
Language.Fixpoint.Types
isEVar
Language.Fixpoint.Types
isExtFile
Language.Fixpoint.Files
isFalse
Language.Fixpoint.Types
isFunctionSortedReft
Language.Fixpoint.Types
isNonSymbol
Language.Fixpoint.Types
isNonTrivialSortedReft
Language.Fixpoint.Types
isNontrivialVV
Language.Fixpoint.Types
isSingletonReft
Language.Fixpoint.Types
isTauto
Language.Fixpoint.Types
isTautoPred
Language.Fixpoint.Types
isTautoReft
Language.Fixpoint.Types
Json
Language.Fixpoint.Files
KS
Language.Fixpoint.Types
ksEmpty
Language.Fixpoint.Types
ksUnion
Language.Fixpoint.Types
Kuts
Language.Fixpoint.Types
kuts
Language.Fixpoint.Types
Le
Language.Fixpoint.Types
lexer
Language.Fixpoint.Parse
LHs
Language.Fixpoint.Files
lhsCs
Language.Fixpoint.Types
listConName
Language.Fixpoint.Names
lits
Language.Fixpoint.Types
lookupSEnv
Language.Fixpoint.Types
lookupSEnvWithDistance
Language.Fixpoint.Types
Loud
Language.Fixpoint.Misc
lowerIdP
Language.Fixpoint.Parse
Lt
Language.Fixpoint.Types
mapFst
Language.Fixpoint.Misc
mapFst3
Language.Fixpoint.Misc
mapPair
Language.Fixpoint.Misc
mapSEnv
Language.Fixpoint.Types
mapSnd
Language.Fixpoint.Misc
mapSnd3
Language.Fixpoint.Misc
mapThd3
Language.Fixpoint.Misc
Mathsat
Language.Fixpoint.Config
meet
Language.Fixpoint.Types
memberSEnv
Language.Fixpoint.Types
memoIndex
Language.Fixpoint.Misc
mfromJust
Language.Fixpoint.Misc
Minus
Language.Fixpoint.Types
Mkdn
Language.Fixpoint.Files
mkSubst
Language.Fixpoint.Types
mlookup
Language.Fixpoint.Misc
Mod
Language.Fixpoint.Types
moodColor
Language.Fixpoint.Misc
Moods
Language.Fixpoint.Misc
Ne
Language.Fixpoint.Types
nonSymbol
Language.Fixpoint.Types
notExprReft
Language.Fixpoint.Types
Ok
Language.Fixpoint.Misc
orD
Language.Fixpoint.PrettyPrint
Out
Language.Fixpoint.Files
outFile
Language.Fixpoint.Config
PAll
Language.Fixpoint.Types
PAnd
Language.Fixpoint.Types
pAnd
Language.Fixpoint.Types
params
Language.Fixpoint.Types
parens
Language.Fixpoint.Parse
parseFromFile
Language.Fixpoint.Parse
Parser
Language.Fixpoint.Parse
PAss
Language.Fixpoint.Files
PAtom
Language.Fixpoint.Types
PBexp
Language.Fixpoint.Types
PFalse
Language.Fixpoint.Types
PIff
Language.Fixpoint.Types
PImp
Language.Fixpoint.Types
pIte
Language.Fixpoint.Types
Plus
Language.Fixpoint.Types
PNot
Language.Fixpoint.Types
POr
Language.Fixpoint.Types
pOr
Language.Fixpoint.Types
PPrint
Language.Fixpoint.PrettyPrint
pprint
Language.Fixpoint.PrettyPrint
pprintBin
Language.Fixpoint.PrettyPrint
ppTy
Language.Fixpoint.Types
Pred
1 (Data Constructor)
Language.Fixpoint.Files
2 (Type/Class)
Language.Fixpoint.Types
Predicate
Language.Fixpoint.Types
predP
Language.Fixpoint.Parse
predReft
Language.Fixpoint.Types
preludeName
Language.Fixpoint.Names
prop
Language.Fixpoint.Types
propConName
Language.Fixpoint.Names
propFTyCon
Language.Fixpoint.Types
propReft
Language.Fixpoint.Types
pruneUnsortedReft
Language.Fixpoint.Sort
PTop
Language.Fixpoint.Types
PTrue
Language.Fixpoint.Types
putDocLn
Language.Fixpoint.Misc
Q
Language.Fixpoint.Types
Qualifier
Language.Fixpoint.Types
qualifierP
Language.Fixpoint.Parse
qualifySymbol
Language.Fixpoint.Types
quals
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
q_body
Language.Fixpoint.Types
q_name
Language.Fixpoint.Types
q_params
Language.Fixpoint.Types
RConc
Language.Fixpoint.Types
Refa
Language.Fixpoint.Types
Reft
1 (Type/Class)
Language.Fixpoint.Types
2 (Data Constructor)
Language.Fixpoint.Types
Reftable
Language.Fixpoint.Types
reftKVars
Language.Fixpoint.Types
remainderP
Language.Fixpoint.Parse
removeLhsKvars
Language.Fixpoint.Types
repeats
Language.Fixpoint.Misc
reserved
Language.Fixpoint.Parse
reservedOp
Language.Fixpoint.Parse
Result
Language.Fixpoint.Files
resultDoc
Language.Fixpoint.Types
resultExit
Language.Fixpoint.Interface
rhsCs
Language.Fixpoint.Types
RKvar
Language.Fixpoint.Types
RR
Language.Fixpoint.Types
rr
Language.Fixpoint.Parse
rr'
Language.Fixpoint.Parse
S
Language.Fixpoint.Types
Sad
Language.Fixpoint.Misc
Safe
Language.Fixpoint.Types
safeFromList
Language.Fixpoint.Misc
safeHead
Language.Fixpoint.Misc
safeInit
Language.Fixpoint.Misc
safeLast
Language.Fixpoint.Misc
safeUnion
Language.Fixpoint.Misc
safeZip
Language.Fixpoint.Misc
safeZipWith
Language.Fixpoint.Misc
Saved
Language.Fixpoint.Files
semi
Language.Fixpoint.Parse
SEnv
Language.Fixpoint.Types
SESearch
Language.Fixpoint.Types
shiftVV
Language.Fixpoint.Types
showFix
Language.Fixpoint.Types
showpp
Language.Fixpoint.PrettyPrint
simplify
Language.Fixpoint.Types
sinfo
Language.Fixpoint.Types
single
Language.Fixpoint.Misc
SL
Language.Fixpoint.Types
SMTSolver
Language.Fixpoint.Config
snd3
Language.Fixpoint.Misc
solve
Language.Fixpoint.Interface
solveFile
Language.Fixpoint.Interface
solver
Language.Fixpoint.Config
Sort
Language.Fixpoint.Types
sortDiff
Language.Fixpoint.Misc
SortedReft
Language.Fixpoint.Types
sortNub
Language.Fixpoint.Misc
sortSubst
Language.Fixpoint.Types
Spec
Language.Fixpoint.Files
splitters
Language.Fixpoint.Misc
squishRefas
Language.Fixpoint.Types
sr_reft
Language.Fixpoint.Types
sr_sort
Language.Fixpoint.Types
startPhase
Language.Fixpoint.Misc
strConName
Language.Fixpoint.Names
strFTyCon
Language.Fixpoint.Types
stringFTycon
Language.Fixpoint.Types
stringSymbol
Language.Fixpoint.Types
stringSymbolRaw
Language.Fixpoint.Types
stripParens
Language.Fixpoint.Misc
stripParens'
Language.Fixpoint.Misc
Subable
Language.Fixpoint.Types
SubC
Language.Fixpoint.Types
subC
Language.Fixpoint.Types
Subst
Language.Fixpoint.Types
subst
Language.Fixpoint.Types
subst1
Language.Fixpoint.Types
subst1Except
Language.Fixpoint.Types
substa
Language.Fixpoint.Types
substExcept
Language.Fixpoint.Types
substf
Language.Fixpoint.Types
substfExcept
Language.Fixpoint.Types
suffixSymbol
Language.Fixpoint.Types
Symbol
Language.Fixpoint.Types
symbol
Language.Fixpoint.Types
Symbolic
Language.Fixpoint.Types
symbolP
Language.Fixpoint.Parse
symbolReft
Language.Fixpoint.Types
symbolString
Language.Fixpoint.Types
symChars
Language.Fixpoint.Types
SymConst
Language.Fixpoint.Types
syms
Language.Fixpoint.Types
symSepName
Language.Fixpoint.Names
Tag
Language.Fixpoint.Types
takeModuleNames
Language.Fixpoint.Names
TCEmb
Language.Fixpoint.Types
tempPrefix
Language.Fixpoint.Types
tempSymbol
Language.Fixpoint.Types
testM
Language.Fixpoint.Misc
thd3
Language.Fixpoint.Misc
Times
Language.Fixpoint.Types
toFix
Language.Fixpoint.Types
toFixpoint
Language.Fixpoint.Types
toListSEnv
Language.Fixpoint.Types
top
Language.Fixpoint.Types
toReft
Language.Fixpoint.Types
traceFix
Language.Fixpoint.Types
traceShow
Language.Fixpoint.Misc
trueD
Language.Fixpoint.PrettyPrint
trueRefa
Language.Fixpoint.Types
trueSortedReft
Language.Fixpoint.Types
trueSubCKvar
Language.Fixpoint.Types
tryIgnore
Language.Fixpoint.Misc
tr_foldr'
Language.Fixpoint.Misc
tr_reverse
Language.Fixpoint.Misc
tshow
Language.Fixpoint.Misc
tupConName
Language.Fixpoint.Names
unIntersperse
Language.Fixpoint.Misc
UnknownError
Language.Fixpoint.Types
Unsafe
Language.Fixpoint.Types
upperIdP
Language.Fixpoint.Parse
vv
Language.Fixpoint.Types
vvName
Language.Fixpoint.Names
warnShow
Language.Fixpoint.Misc
WfC
Language.Fixpoint.Types
wfC
Language.Fixpoint.Types
whiteSpace
Language.Fixpoint.Parse
withColor
Language.Fixpoint.Misc
withExt
Language.Fixpoint.Files
withTarget
Language.Fixpoint.Config
wrap
Language.Fixpoint.Misc
wrapStars
Language.Fixpoint.Misc
ws
Language.Fixpoint.Types
,
Language.Fixpoint.Interface
Z3
Language.Fixpoint.Config
Z3mem
Language.Fixpoint.Config