Safe Haskell	Safe-Inferred
Language	Haskell98

Language.Fixpoint.Solver.Worklist

Contents

Synopsis

Worklist type is opaque

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

Instances details

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 #
PTable (Worklist a) Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods ptable :: Worklist a -> DocTable Source #

Instances details

Show Stats Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods showsPrec :: Int -> Stats -> ShowS # show :: Stats -> String # showList :: [Stats] -> ShowS #
Eq Stats Source #
Instance details Defined in Language.Fixpoint.Solver.Worklist Methods (==) :: Stats -> Stats -> Bool # (/=) :: Stats -> Stats -> Bool #
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 ---------