| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Analysis.CommentAnnotator
Synopsis
- annotateComments :: forall m e a ast. (Monad m, Data a, Linkable a, ASTEmbeddable a ast) => SpecParser e ast -> (SrcSpan -> SpecParseError e -> m ()) -> ProgramFile a -> m (ProgramFile a)
- isComment :: HasComment a => a -> Bool
- class ASTEmbeddable a ast where
- annotateWithAST :: a -> ast -> a
- class Linkable a where
Documentation
annotateComments :: forall m e a ast. (Monad m, Data a, Linkable a, ASTEmbeddable a ast) => SpecParser e ast -> (SrcSpan -> SpecParseError e -> m ()) -> ProgramFile a -> m (ProgramFile a) Source #
class ASTEmbeddable a ast where Source #
Methods
annotateWithAST :: a -> ast -> a Source #
Instances
| ASTEmbeddable SA Specification Source # | |
Defined in Camfort.Specification.Stencils.Annotation Methods annotateWithAST :: SA -> Specification -> SA Source # | |
| ASTEmbeddable UA UnitStatement Source # | |
Defined in Camfort.Specification.Units.Annotation Methods annotateWithAST :: UA -> UnitStatement -> UA Source # | |
| ASTEmbeddable HA (SpecOrDecl InnerHA) Source # | |
Defined in Camfort.Specification.Hoare.Annotation Methods annotateWithAST :: HA -> SpecOrDecl InnerHA -> HA Source # | |