Camfort.Helpers.Syntax

This module provides a number of helper functions for working with Fortran syntax that are useful between different analyses and transformations.

Variable renaming helpers

caml :: [Char] -> [Char]

Comparison and ordering

data AnnotationFree t

AnnotationFree is a data type that wraps other types and denotes terms which should be compared for equality modulo their annotations and source location information

Constructors

AnnotationFree

Fields

• annotationBound :: t

Instances

Eq (AnnotationFree a) => Eq (AnnotationFree [a])

Methods

(==) :: AnnotationFree [a] -> AnnotationFree [a] -> Bool

(/=) :: AnnotationFree [a] -> AnnotationFree [a] -> Bool

(Eq (AnnotationFree a), Eq (AnnotationFree b)) => Eq (AnnotationFree (a, b))

Methods

(==) :: AnnotationFree (a, b) -> AnnotationFree (a, b) -> Bool

(/=) :: AnnotationFree (a, b) -> AnnotationFree (a, b) -> Bool

Eq (AnnotationFree BaseType)

Methods

(==) :: AnnotationFree BaseType -> AnnotationFree BaseType -> Bool

(/=) :: AnnotationFree BaseType -> AnnotationFree BaseType -> Bool

Eq a => Eq (AnnotationFree (Expression a))

Methods

(==) :: AnnotationFree (Expression a) -> AnnotationFree (Expression a) -> Bool

(/=) :: AnnotationFree (Expression a) -> AnnotationFree (Expression a) -> Bool

Show t => Show (AnnotationFree t)

Methods

showsPrec :: Int -> AnnotationFree t -> ShowS

show :: AnnotationFree t -> String

showList :: [AnnotationFree t] -> ShowS

af :: t -> AnnotationFree t

short-hand constructor for AnnotationFree

Accessor functions for extracting various pieces of information

extractVariable :: Expression a -> Maybe Name

Extracts a string of the (root) variable name from an expression, e.g., extractVariable "v" = Just v extractVariable "v(i)" = Just v

SrcSpan Helpers

afterAligned :: SrcSpan -> Position

deleteLine :: SrcSpan -> SrcSpan

dropLine :: SrcSpan -> SrcSpan

linesCovered :: Position -> Position -> Int

toCol0 :: Position -> Position

Orphan instances

Monoid Int

Set a default monoid instances for Int

Methods

mempty :: Int

mappend :: Int -> Int -> Int

mconcat :: [Int] -> Int