Language.Haskell.Liquid.Prover.Solve
type PrEnv
solve
notGHCVar
iterativeSolve
type Arguments a
groupExpressions
placeExpr
mergeExpressions
placeArg
findValid
minimize
bruteSearch
filterEquivalentExpressions
makeEq
assertExpressions
predCtor
makeExpressions
putExpr
makeArguments
makeCTorArgs
applyArguments
makeArgumnetsExpr
arity
initExpressions
instantiate
makeArgs'
duplicateArgs
makeArgs
axiomInstance
checkExpr
mkcheckExpr
makeSorts
unifiable