camfort-0.802: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell98

Camfort.Specification.Stencils.Annotation

Contents

Synopsis

Routines for associating annotations to ASTs

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 #