Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Visitor
Visitor
Constructors
Visitor | |
Fields
|
Default Visitor
defaultVisitor :: Monoid acc => Visitor acc ctx Source
liquid-fixpoint-0.2.3.1: Predicate Abstraction-based Horn-Clause/Implication Constraint Solver
Safe Haskell | None |
---|---|
Language | Haskell98 |
Language.Fixpoint.Visitor
Constructors
Visitor | |
Fields
|
defaultVisitor :: Monoid acc => Visitor acc ctx Source