Language.Fortran.Pretty

Documentation

data Alt1

Constructors

Alt1

Instances

Alts Alt1

OutputIndF t Alt1 => OutputIndG t Alt1

OutputF t Alt1 => OutputG t Alt1

data Alt2

Constructors

Alt2

Instances

Alts Alt2

class Alts a

Instances

Alts Alt2

Alts Alt1

class OutputF t v where

Methods

outputF :: (?variant :: v) => t -> String

Instances

(Alts v, OutputG a v) => OutputF [a] v

(OutputG (Expr p) v, Alts v) => OutputF (Spec p) v

Alts v => OutputF (UnaryOp p) v

Alts v => OutputF (BinOp p) v

(OutputG (ArgList p) v, OutputG (BinOp p) v, OutputG (Expr p) v, OutputG (UnaryOp p) v, OutputG (VarName p) v, Alts v) => OutputF (Expr p) v

(OutputIndF (Fortran p) v, Alts v) => OutputF (Fortran p) v

OutputG (Expr p) v => OutputF (DataForm p) v

(OutputG (Arg p) v, OutputG (Decl p) v, OutputG (Implicit p) v, OutputG (SubName p) v, Alts v) => OutputF (InterfaceSpec p) v

(OutputG (Arg p) v, OutputG (BinOp p) v, OutputG (Expr p) v, Alts v) => OutputF (GSpec p) v

Alts v => OutputF (Fraction p) v

Alts v => OutputF (MeasureUnitSpec p) v

(OutputG (MeasureUnitSpec p) v, Alts v) => OutputF (Attr p) v

(OutputG (SubName p) v, Alts v) => OutputF (BaseType p) v

(OutputG (ArgList p) v, OutputG (BinOp p) v, OutputG (UnaryOp p) v, OutputG (BaseType p) v, OutputG (Expr p) v, OutputG (MeasureUnitSpec p) v, OutputG (VarName p) v, Alts v) => OutputF (Type p) v

(Indentor (Decl p), OutputG (ArgList p) v, OutputG (Attr p) v, OutputG (BinOp p) v, OutputG (Decl p) v, OutputG (DataForm p) v, OutputG (Expr p) v, OutputG (GSpec p) v, OutputG (InterfaceSpec p) v, OutputG (MeasureUnitSpec p) v, OutputG (SubName p) v, OutputG (UnaryOp p) v, OutputG (VarName p) v, OutputG (Type p) v, Alts v) => OutputF (Decl p) v

(OutputG (Fortran p) v, OutputG (Decl p) v, OutputG (Implicit p) v, Alts v) => OutputF (Block p) v

Alts v => OutputF (Uses p) v

(Alts v, OutputF (Uses p) v) => OutputF (UseBlock p) v

Alts v => OutputF (Implicit p) v

(OutputG (Arg p) v, OutputG (BaseType p) v, OutputG (Block p) v, OutputG (Decl p) v, OutputG (Fortran p) v, OutputG (Implicit p) v, OutputG (SubName p) v, OutputG (VarName p) v, OutputG (ProgUnit p) v, Alts v) => OutputF (ProgUnit p) v

(OutputG (Expr p) v, Alts v) => OutputF (ArgList p) v

(OutputG (ArgName p) v, Alts v) => OutputF (Arg p) v

(OutputG (VarName p) v, OutputG (ArgName p) v, Alts v) => OutputF (ArgName p) v

Alts v => OutputF (VarName p) v

Alts v => OutputF (SubName p) v

class OutputG t v where

Methods

outputG :: (?variant :: v) => t -> String

Instances

Alts v => OutputG Char v

Alts v => OutputG String v

OutputF t Alt1 => OutputG t Alt1

(Alts v, OutputG a v) => OutputG [a] v

(Alts v, OutputG a v, OutputG b v) => OutputG (a, b) v

class OutputIndF t v where

Methods

outputIndF :: (?variant :: v) => Int -> t -> String

Instances

(Indentor (Fortran p), OutputG (VarName p) v, OutputG (Expr p) v, OutputG (UnaryOp p) v, OutputG (BinOp p) v, OutputG (ArgList p) v, OutputIndG (Fortran p) v, OutputG (DataForm p) v, OutputG (Fortran p) v, OutputG (Spec p) v, Alts v) => OutputIndF (Fortran p) v

class OutputIndG t v where

Methods

outputIndG :: (?variant :: v) => Int -> t -> String

Instances

OutputIndF t Alt1 => OutputIndG t Alt1

showElseIf :: (OutputG t1 v, OutputG t v, ?variant :: v) => Int -> (t, t1) -> [Char]

showForall :: (OutputG (Expr t) v, OutputG t2 v, OutputG t1 v, ?variant :: v) => [([Char], t1, t2, Expr t)] -> [Char]

showUse :: Uses p -> String

show_namelist :: (OutputG a v, OutputG t v, ?variant :: v) => [(t, [a])] -> [Char]

show_data :: (OutputG t1 v, OutputG t v, ?variant :: v) => (t, t1) -> [Char]

showDV :: (Alts v, OutputF t1 v, OutputG (VarName t) v, OutputG (ArgList t) v, OutputG (Expr t) v, OutputG (BinOp t) v, OutputG (UnaryOp t) v, ?variant :: v, Show a) => (t1, Expr t, Maybe a) -> [Char]

showDU :: (OutputF t1 v, OutputF t v, ?variant :: v) => (t, t1) -> [Char]

isEmptyArg :: Arg t -> Bool

isEmptyArgName :: ArgName t -> [Bool]

paren :: String -> String

checkPrec :: BinOp p -> BinOp p -> (a -> a) -> a -> a

opPrec :: BinOp p -> Int

class Indentor t where

Methods

indR :: t -> Int -> String

showNQ :: Show a => a -> String

ind :: Int -> [Char]

indent :: Int -> Int -> [Char]

printList :: [[a]] -> (a1 -> [a]) -> [a1] -> [a]

asTuple :: (a -> [Char]) -> [a] -> [Char]

asSeq :: (a -> [Char]) -> [a] -> [Char]

asList :: (a -> [Char]) -> [a] -> [Char]

asSet :: (a -> [Char]) -> [a] -> [Char]

asLisp :: (a -> [Char]) -> [a] -> [Char]

asPlain :: (a -> [Char]) -> [a] -> [Char]

asPlain' :: (a -> [Char]) -> [a] -> [Char]

asCases :: Int -> (a -> [Char]) -> [a] -> [Char]

asDefs :: [Char] -> (a -> [Char]) -> [a] -> [Char]

asParagraphs :: (a -> [Char]) -> [a] -> [Char]

optTuple :: (?variant :: v, Alts v, OutputG (UnaryOp p) v, OutputF (Expr p) v) => [Expr p] -> String

optTuple xs = ""

showUnits :: (Alts v, ?variant :: v, OutputF (Fraction p) v) => [(MeasureUnit, Fraction p)] -> String

outputFList :: (Alts v, ?variant :: v, OutputF a v) => [a] -> String

showBounds :: (Alts v, ?variant :: v, OutputF (Expr p) v) => (Expr p, Expr p) -> String

showRanges :: (Alts v, ?variant :: v, OutputF (Expr p) v) => [(Expr p, Expr p)] -> String

showPartRefList :: (Alts v, ?variant :: v, OutputG (VarName p) v, OutputG (UnaryOp p) v, OutputF (Expr p) v) => [(VarName p, [Expr p])] -> String