Language.Fixpoint.Types.Solutions

Solution tables

type Solution

type GSolution

data Sol b a

updateGMap

updateGMapWithKey

sScp

type CMap a

Solution elements

type Hyp

data Cube

data QBind

data GBind

data EQual

Equal elements

eQual

trueEqual

Gradual Solution elements

qbToGb

gbToQbs

gbEquals

equalsGb

emptyGMap

qbExprs

Solution Candidates (move to SolverMonad?)

type Cand a

Constructor

fromList

Update

update

Lookup

lookupQBind

lookup

glookup

Manipulating QBind

qb

qbPreds

qbFilter

gbFilterM

Conversion for client

result

resultGradual

Fast Solver (DEPRECATED as unsound)

data Index

data KIndex

data BindPred

data BIndex