| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Analysis.CommentAnnotator
- 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
- 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 #
Minimal complete definition
Methods
annotateWithAST :: a -> ast -> a Source #
Instances
class Linkable a where Source #
Instances of this class can be combined with Block and ProgramUnit.
Methods
link :: a -> Block a -> a Source #
Combine an a with a Block
Combine an a with a ProgramUnit
linkPU :: a -> ProgramUnit a -> a Source #