Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
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
- link :: a -> Block a -> a
- linkPU :: a -> ProgramUnit a -> a
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 #
annotateWithAST :: a -> ast -> a Source #
Instances
ASTEmbeddable SA Specification Source # | |
Defined in Camfort.Specification.Stencils.Annotation annotateWithAST :: SA -> Specification -> SA Source # | |
ASTEmbeddable UA UnitStatement Source # | |
Defined in Camfort.Specification.Units.Annotation annotateWithAST :: UA -> UnitStatement -> UA Source # | |
ASTEmbeddable HA (SpecOrDecl InnerHA) Source # | |
Defined in Camfort.Specification.Hoare.Annotation annotateWithAST :: HA -> SpecOrDecl InnerHA -> HA Source # |
class Linkable a where Source #
Instances of this class can be combined with Block
and ProgramUnit
.
link :: a -> Block a -> a Source #
Combine an a
with a Block
Combine an a
with a ProgramUnit
linkPU :: a -> ProgramUnit a -> a Source #