Safe Haskell	None
Language	Haskell98

Language.Fixpoint.Solver.Worklist

Contents

Synopsis

Worklist type is opaque

Worklist ------------------------------------------------------------------

Instances

PTable (Worklist a) Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods ptable :: Worklist a -> DocTable Source #
PPrint (Worklist a) Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods pprintTidy :: Tidy -> Worklist a -> Doc Source # pprintPrec :: Int -> Tidy -> Worklist a -> Doc Source #

Instances

Eq Stats Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods (==) :: Stats -> Stats -> Bool # (/=) :: Stats -> Stats -> Bool #
Show Stats Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods showsPrec :: Int -> Stats -> ShowS # show :: Stats -> String # showList :: [Stats] -> ShowS #
PTable Stats Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods ptable :: Stats -> DocTable Source #

Initialize

Initialize worklist and slice out irrelevant constraints ------------------

Candidate Constraints to be checked AFTER computing Fixpoint ---------