Safe Haskell	None
Language	Haskell98

Language.Fortran

Description

Based on FortranP.hs from Parameterized Fortran by Martin Erwig.

Language definition for Fortran (covers a lot of standards, but still incomplete)

The AST is parameterised by type variable p which allows all nodes of the AST to be annotated. The default annotation is (). This is useful for analysis. The Tagged type class provides the function tag :: d a -> a to extract these annotations.

Furthermore, many nodes of the tree have a SrcSpan which is the start and end locations of the syntax in the source file (including whitespace etc.) This is useful for error reporting and refactoring. The Span type class provides the function srcSpan :: d a -> SrcSpan which which extracts the span (where possible)

Synopsis

Documentation

data SrcLoc Source

Constructors

SrcLoc
Fields srcFilename :: String srcLine :: Int srcColumn :: Int

Instances

Eq SrcLoc Source
Data SrcLoc Source
Show SrcLoc Source

type SrcSpan = (SrcLoc, SrcLoc) Source

type Variable = String Source

type ProgName = String Source

Fortran program names

data SubName p Source

Fortran subroutine names

Constructors

SubName p String
NullSubName p

Instances

Functor SubName Source
Tagged SubName Source
Eq p => Eq (SubName p) Source
Data p => Data (SubName p) Source
Show p => Show (SubName p) Source
PPVersion v => PrintMaster (SubName p) v Source

data VarName p Source

Constructors

VarName p Variable

Instances

Functor VarName Source
Tagged VarName Source
Eq p => Eq (VarName p) Source
Data p => Data (VarName p) Source
Read p => Read (VarName p) Source
Show p => Show (VarName p) Source
PPVersion v => PrintMaster (VarName p) v Source

data ArgName p Source

Constructors

ArgName p String
ASeq p (ArgName p) (ArgName p)
NullArg p

Instances

Functor ArgName Source
Tagged ArgName Source
Eq p => Eq (ArgName p) Source
Data p => Data (ArgName p) Source
Show p => Show (ArgName p) Source
(PrintSlave (VarName p) v, PrintSlave (ArgName p) v, PPVersion v) => PrintMaster (ArgName p) v Source

data Arg p Source

The src span denotes the end of the arg list before ')'

Constructors

Arg p (ArgName p) SrcSpan

Instances

Functor Arg Source
Tagged Arg Source
Eq p => Eq (Arg p) Source
Data p => Data (Arg p) Source
Show p => Show (Arg p) Source
(PrintSlave (ArgName p) v, PPVersion v) => PrintMaster (Arg p) v Source

data ArgList p Source

Constructors

ArgList p (Expr p)

Instances

Functor ArgList Source
Tagged ArgList Source
Eq p => Eq (ArgList p) Source
Data p => Data (ArgList p) Source
Show p => Show (ArgList p) Source
(PrintSlave (Expr p) v, PPVersion v) => PrintMaster (ArgList p) v Source

type Program p = [ProgUnit p] Source

data ProgUnit p Source

Constructors

Main p SrcSpan (SubName p) (Arg p) (Block p) [ProgUnit p]
Sub p SrcSpan (Maybe (BaseType p)) (SubName p) (Arg p) (Block p)
Function p SrcSpan (Maybe (BaseType p)) (SubName p) (Arg p) (Maybe (VarName p)) (Block p)
Module p SrcSpan (SubName p) (Uses p) (Implicit p) (Decl p) [ProgUnit p]
BlockData p SrcSpan (SubName p) (Uses p) (Implicit p) (Decl p)
Prog p SrcSpan (ProgUnit p)
NullProg p SrcSpan
IncludeProg p SrcSpan (Decl p) (Maybe (Fortran p))

Instances

Functor ProgUnit Source
Tagged ProgUnit Source
Eq p => Eq (ProgUnit p) Source
Data p => Data (ProgUnit p) Source
Show p => Show (ProgUnit p) Source
Span (ProgUnit a) Source
(PPVersion v, PrintSlave (ProgUnit p) v) => PrintMaster [ProgUnit p] v Source
(PrintSlave (Arg p) v, PrintSlave (BaseType p) v, PrintSlave (Block p) v, PrintSlave (Decl p) v, PrintSlave (Fortran p) v, PrintSlave (Implicit p) v, PrintSlave (SubName p) v, PrintSlave (VarName p) v, PrintSlave (ProgUnit p) v, PPVersion v) => PrintMaster (ProgUnit p) v Source

data Implicit p Source

Implicit none or no implicit

Constructors

ImplicitNone p
ImplicitNull p

Instances

Functor Implicit Source
Tagged Implicit Source
Eq p => Eq (Implicit p) Source
Data p => Data (Implicit p) Source
Show p => Show (Implicit p) Source
PPVersion v => PrintMaster (Implicit p) v Source

type Renames = [(Variable, Variable)] Source

renames for "use"s

data UseBlock p Source

Constructors

UseBlock (Uses p) SrcLoc

Instances

Functor UseBlock Source
Eq p => Eq (UseBlock p) Source
Data p => Data (UseBlock p) Source
Show p => Show (UseBlock p) Source
(PPVersion v, PrintMaster (Uses p) v) => PrintMaster (UseBlock p) v Source

data Use Source

Constructors

Use String Renames
UseOnly String [(Variable, Maybe Variable)]

Instances

Eq Use Source
Data Use Source
Show Use Source

data Uses p Source

(second p let's you annotate the cons part of the cell)

Constructors

Uses p Use (Uses p) p
UseNil p

Instances

Functor Uses Source
Tagged Uses Source
Eq p => Eq (Uses p) Source
Data p => Data (Uses p) Source
Show p => Show (Uses p) Source
PPVersion v => PrintMaster (Uses p) v Source

data Block p Source

Constructors

Block p (UseBlock p) (Implicit p) SrcSpan (Decl p) (Fortran p)

Instances

Functor Block Source
Eq p => Eq (Block p) Source
Data p => Data (Block p) Source
Show p => Show (Block p) Source
Span (Block a) Source
(PrintSlave (Fortran p) v, PrintSlave (Decl p) v, PrintSlave (Implicit p) v, PPVersion v) => PrintMaster (Block p) v Source

data Decl p Source

Constructors

Decl p SrcSpan [(Expr p, Expr p, Maybe Int)] (Type p)
Namelist p [(Expr p, [Expr p])]
DataDecl p (DataForm p)
Equivalence p SrcSpan [Expr p]
AttrStmt p (Attr p) [(Expr p, Expr p, Maybe Int)]
AccessStmt p (Attr p) [GSpec p]
ExternalStmt p [String]
Interface p (Maybe (GSpec p)) [InterfaceSpec p]
Common p SrcSpan (Maybe String) [Expr p]
DerivedTypeDef p SrcSpan (SubName p) [Attr p] [Attr p] [Decl p]
Include p (Expr p)
DSeq p (Decl p) (Decl p)
TextDecl p String
NullDecl p SrcSpan
MeasureUnitDef p SrcSpan [(MeasureUnit, MeasureUnitSpec p)]

Instances

Functor Decl Source
Tagged Decl Source
Eq p => Eq (Decl p) Source
Data p => Data (Decl p) Source
Show p => Show (Decl p) Source
Span (Decl a) Source
(Indentor (Decl p), PrintSlave (Arg p) v, PrintSlave (ArgList p) v, PrintSlave (Attr p) v, PrintSlave (BinOp p) v, PrintSlave (Decl p) v, PrintSlave (DataForm p) v, PrintSlave (Expr p) v, PrintSlave (GSpec p) v, PrintSlave (Implicit p) v, PrintSlave (InterfaceSpec p) v, PrintSlave (MeasureUnitSpec p) v, PrintSlave (SubName p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PrintSlave (Type p) v, PPVersion v) => PrintMaster (Decl p) v Source

data Type p Source

Constructors

BaseType p (BaseType p) [Attr p] (Expr p) (Expr p)
ArrayT p [(Expr p, Expr p)] (BaseType p) [Attr p] (Expr p) (Expr p)

Instances

Functor Type Source
Eq p => Eq (Type p) Source
Data p => Data (Type p) Source
Show p => Show (Type p) Source
(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (UnaryOp p) v, PrintSlave (BaseType p) v, PrintSlave (Expr p) v, PrintSlave (MeasureUnitSpec p) v, PrintSlave (VarName p) v, PPVersion v) => PrintMaster (Type p) v Source

data BaseType p Source

Constructors

Integer p
Real p
DoublePrecision p
Character p
SomeType p
DerivedType p (SubName p)
Recursive p
Pure p
Elemental p
Logical p
Complex p

Instances

Functor BaseType Source
Tagged BaseType Source
Eq p => Eq (BaseType p) Source
Data p => Data (BaseType p) Source
Show p => Show (BaseType p) Source
(PrintSlave (SubName p) v, PPVersion v) => PrintMaster (BaseType p) v Source

data Attr p Source

Constructors

Parameter p
Allocatable p
External p
Intent p (IntentAttr p)
Intrinsic p
Optional p
Pointer p
Save p
Target p
Volatile p
Public p
Private p
Sequence p
Dimension p [(Expr p, Expr p)]
MeasureUnit p (MeasureUnitSpec p)

Instances

Functor Attr Source
Tagged Attr Source
Eq p => Eq (Attr p) Source
Data p => Data (Attr p) Source
Show p => Show (Attr p) Source
(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PrintSlave (MeasureUnitSpec p) v, PPVersion v) => PrintMaster (Attr p) v Source

type MeasureUnit = String Source

data MeasureUnitSpec p Source

Constructors

UnitProduct p [(MeasureUnit, Fraction p)]
UnitQuotient p [(MeasureUnit, Fraction p)] [(MeasureUnit, Fraction p)]
UnitNone p

Instances

Functor MeasureUnitSpec Source
Eq p => Eq (MeasureUnitSpec p) Source
Data p => Data (MeasureUnitSpec p) Source
Show p => Show (MeasureUnitSpec p) Source
PPVersion v => PrintMaster (MeasureUnitSpec p) v Source

data Fraction p Source

Constructors

IntegerConst p String
FractionConst p String String
NullFraction p

Instances

Functor Fraction Source
Eq p => Eq (Fraction p) Source
Data p => Data (Fraction p) Source
Show p => Show (Fraction p) Source
PPVersion v => PrintMaster (Fraction p) v Source

data GSpec p Source

Constructors

GName p (Expr p)
GOper p (BinOp p)
GAssg p

Instances

Functor GSpec Source
Tagged GSpec Source
Eq p => Eq (GSpec p) Source
Data p => Data (GSpec p) Source
Show p => Show (GSpec p) Source
(PrintSlave (Arg p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PPVersion v) => PrintMaster (GSpec p) v Source

data InterfaceSpec p Source

Constructors

FunctionInterface p (SubName p) (Arg p) (Uses p) (Implicit p) (Decl p)
SubroutineInterface p (SubName p) (Arg p) (Uses p) (Implicit p) (Decl p)
ModuleProcedure p [SubName p]

Instances

Functor InterfaceSpec Source
Eq p => Eq (InterfaceSpec p) Source
Data p => Data (InterfaceSpec p) Source
Show p => Show (InterfaceSpec p) Source
(PrintSlave (Arg p) v, PrintSlave (Decl p) v, PrintSlave (Implicit p) v, PrintSlave (SubName p) v, PPVersion v) => PrintMaster (InterfaceSpec p) v Source

data DataForm p Source

Constructors

Data p [(Expr p, Expr p)]

Instances

Functor DataForm Source
Tagged DataForm Source
Eq p => Eq (DataForm p) Source
Data p => Data (DataForm p) Source
Show p => Show (DataForm p) Source
PrintSlave (Expr p) v => PrintMaster (DataForm p) v Source

data IntentAttr p Source

Constructors

In p
Out p
InOut p

Instances

Functor IntentAttr Source
Eq p => Eq (IntentAttr p) Source
Data p => Data (IntentAttr p) Source
Show p => Show (IntentAttr p) Source

data Fortran p Source

Constructors

Assg p SrcSpan (Expr p) (Expr p)
For p SrcSpan (VarName p) (Expr p) (Expr p) (Expr p) (Fortran p)
DoWhile p SrcSpan (Expr p) (Fortran p)
FSeq p SrcSpan (Fortran p) (Fortran p)
If p SrcSpan (Expr p) (Fortran p) [(Expr p, Fortran p)] (Maybe (Fortran p))
Allocate p SrcSpan (Expr p) (Expr p)
Backspace p SrcSpan [Spec p]
Call p SrcSpan (Expr p) (ArgList p)
Open p SrcSpan [Spec p]
Close p SrcSpan [Spec p]
Continue p SrcSpan
Cycle p SrcSpan String
DataStmt p SrcSpan (DataForm p)
Deallocate p SrcSpan [Expr p] (Expr p)
Endfile p SrcSpan [Spec p]
Exit p SrcSpan String
Format p SrcSpan [Spec p]
Forall p SrcSpan ([(String, Expr p, Expr p, Expr p)], Expr p) (Fortran p)
Goto p SrcSpan String
Nullify p SrcSpan [Expr p]
Inquire p SrcSpan [Spec p] [Expr p]
Pause p SrcSpan String
Rewind p SrcSpan [Spec p]
Stop p SrcSpan (Expr p)
Where p SrcSpan (Expr p) (Fortran p) (Maybe (Fortran p))
Write p SrcSpan [Spec p] [Expr p]
PointerAssg p SrcSpan (Expr p) (Expr p)
Return p SrcSpan (Expr p)
Label p SrcSpan String (Fortran p)
Print p SrcSpan (Expr p) [Expr p]
ReadS p SrcSpan [Spec p] [Expr p]
TextStmt p SrcSpan String
NullStmt p SrcSpan

Instances

Functor Fortran Source
Tagged Fortran Source
Eq p => Eq (Fortran p) Source
Data p => Data (Fortran p) Source
Show p => Show (Fortran p) Source
Span (Fortran a) Source
(Indentor (Fortran p), PrintSlave (VarName p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (BinOp p) v, PrintSlave (ArgList p) v, PrintIndSlave (Fortran p) v, PrintSlave (DataForm p) v, PrintSlave (Fortran p) v, PrintSlave (Spec p) v, PPVersion v) => PrintIndMaster (Fortran p) v Source
(PrintIndMaster (Fortran p) v, PPVersion v) => PrintMaster (Fortran p) v Source

data Expr p Source

Constructors

Con p SrcSpan String
ConL p SrcSpan Char String
ConS p SrcSpan String
Var p SrcSpan [(VarName p, [Expr p])]
Bin p SrcSpan (BinOp p) (Expr p) (Expr p)
Unary p SrcSpan (UnaryOp p) (Expr p)
CallExpr p SrcSpan (Expr p) (ArgList p)
NullExpr p SrcSpan
Null p SrcSpan
ESeq p SrcSpan (Expr p) (Expr p)
Bound p SrcSpan (Expr p) (Expr p)
Sqrt p SrcSpan (Expr p)
ArrayCon p SrcSpan [Expr p]
AssgExpr p SrcSpan String (Expr p)

Instances

Functor Expr Source
Tagged Expr Source
Eq p => Eq (Expr p) Source
Data p => Data (Expr p) Source
Show p => Show (Expr p) Source
Span (Expr a) Source
(PrintSlave (ArgList p) v, PrintSlave (BinOp p) v, PrintSlave (Expr p) v, PrintSlave (UnaryOp p) v, PrintSlave (VarName p) v, PPVersion v) => PrintMaster (Expr p) v Source

data BinOp p Source

Constructors

Plus p
Minus p
Mul p
Div p
Or p
And p
Concat p
Power p
RelEQ p
RelNE p
RelLT p
RelLE p
RelGT p
RelGE p

Instances

Functor BinOp Source
Eq p => Eq (BinOp p) Source
Data p => Data (BinOp p) Source
Show p => Show (BinOp p) Source
PPVersion v => PrintMaster (BinOp p) v Source

data UnaryOp p Source

Constructors

UMinus p
Not p

Instances

Functor UnaryOp Source
Eq p => Eq (UnaryOp p) Source
Data p => Data (UnaryOp p) Source
Show p => Show (UnaryOp p) Source
PPVersion v => PrintMaster (UnaryOp p) v Source

data Spec p Source

Constructors

Access p (Expr p)
Action p (Expr p)
Advance p (Expr p)
Blank p (Expr p)
Delim p (Expr p)
Direct p (Expr p)
End p (Expr p)
Err p (Expr p)
ExFile p (Expr p)
Exist p (Expr p)
Eor p (Expr p)
File p (Expr p)
FMT p (Expr p)
Form p (Expr p)
Formatted p (Expr p)
Unformatted p (Expr p)
IOLength p (Expr p)
IOStat p (Expr p)
Name p (Expr p)
Named p (Expr p)
NoSpec p (Expr p)
Number p (Expr p)
Floating p (Expr p) (Expr p)
NextRec p (Expr p)
NML p (Expr p)
Opened p (Expr p)
Pad p (Expr p)
Position p (Expr p)
Read p (Expr p)
ReadWrite p (Expr p)
Rec p (Expr p)
Recl p (Expr p)
Sequential p (Expr p)
Size p (Expr p)
Status p (Expr p)
StringLit p String
Unit p (Expr p)
WriteSp p (Expr p)
Delimiter p

Instances

Functor Spec Source
Eq p => Eq (Spec p) Source
Data p => Data (Spec p) Source
Show p => Show (Spec p) Source
(PrintSlave (Expr p) v, PPVersion v) => PrintMaster (Spec p) v Source

class Span t where Source

Methods

srcSpan :: t -> (SrcLoc, SrcLoc) Source

Instances

Span (Expr a) Source
Span (Fortran a) Source
Span (Decl a) Source
Span (Block a) Source
Span (ProgUnit a) Source

class Tagged d where Source

Methods

tag :: d a -> a Source