Safe Haskell	None
Language	Haskell98

Camfort.Specification.Stencils.Annotation

Contents

Synopsis

onPrev :: (a -> a) -> Analysis a -> Analysis a Source #

Orphan instances

Linkable (Analysis Annotation) Source #
Methods link :: Analysis Annotation -> Block (Analysis Annotation) -> Analysis Annotation Source # linkMultiple :: [Block (Analysis Annotation)] -> [Block (Analysis Annotation)] -> ([Block (Analysis Annotation)], [Block (Analysis Annotation)]) Source #
ASTEmbeddable (Analysis Annotation) Specification Source #
Methods annotateWithAST :: Analysis Annotation -> Specification -> Analysis Annotation Source #