Language.Fortran.AST.RealLit

Supporting code for handling Fortran REAL literals.

Fortran REAL literals have some idiosyncrasies that prevent them from lining up with Haskell's reals immediately. So, we parse into an intermediate data type that can be easily exported with full precision later. Things we do:

• Strip explicit positive signs so that signed values either begin with the minus sign - or no sign. (Read doesn't allow explicit positive signs.)
• Make exponent explicit by adding the default exponent E0 if not present.
• Make implicit zeroes explicit. .123 -> 0.123, 123. -> 123.0. (Again, Haskell literals do not support this.)

Documentation

data RealLit

A Fortran real literal. (Does not include the optional kind parameter.)

A real literal is formed of a signed rational significand, and an Exponent.

See F90 ISO spec pg.27 / R412-416.

Note that we support signed real literals, even though the F90 spec indicates non-signed real literals are the "default" (signed are only used in a "spare" rule). Our parsers should parse explicit signs as unary operators. There's no harm in supporting signed literals though, especially since the exponent *is* signed.

Constructors

RealLit

Fields

• realLitSignificand :: String

  A string representing a signed decimal. ^ Approximate regex: -? ( [0-9]+ . [0-9]* | . [0-9]+ )

• realLitExponent :: Exponent

Instances

Eq RealLit

Defined in Language.Fortran.AST.RealLit

Methods

(==) :: RealLit -> RealLit -> Bool

(/=) :: RealLit -> RealLit -> Bool

Data RealLit

Defined in Language.Fortran.AST.RealLit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RealLit -> c RealLit

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RealLit

toConstr :: RealLit -> Constr

dataTypeOf :: RealLit -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RealLit)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RealLit)

gmapT :: (forall b. Data b => b -> b) -> RealLit -> RealLit

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RealLit -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RealLit -> r

gmapQ :: (forall d. Data d => d -> u) -> RealLit -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> RealLit -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> RealLit -> m RealLit

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RealLit -> m RealLit

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RealLit -> m RealLit

Ord RealLit

Defined in Language.Fortran.AST.RealLit

Methods

compare :: RealLit -> RealLit -> Ordering

(<) :: RealLit -> RealLit -> Bool

(<=) :: RealLit -> RealLit -> Bool

(>) :: RealLit -> RealLit -> Bool

(>=) :: RealLit -> RealLit -> Bool

max :: RealLit -> RealLit -> RealLit

min :: RealLit -> RealLit -> RealLit

Show RealLit

Defined in Language.Fortran.AST.RealLit

Methods

showsPrec :: Int -> RealLit -> ShowS

show :: RealLit -> String

showList :: [RealLit] -> ShowS

Generic RealLit

Defined in Language.Fortran.AST.RealLit

Associated Types

type Rep RealLit :: Type -> Type

Methods

from :: RealLit -> Rep RealLit x

to :: Rep RealLit x -> RealLit

Out RealLit

Defined in Language.Fortran.AST.RealLit

Methods

docPrec :: Int -> RealLit -> Doc

doc :: RealLit -> Doc

docList :: [RealLit] -> Doc

NFData RealLit

Defined in Language.Fortran.AST.RealLit

Methods

rnf :: RealLit -> ()

type Rep RealLit

Defined in Language.Fortran.AST.RealLit

type Rep RealLit = D1 ('MetaData "RealLit" "Language.Fortran.AST.RealLit" "fortran-src-0.8.0-inplace" 'False) (C1 ('MetaCons "RealLit" 'PrefixI 'True) (S1 ('MetaSel ('Just "realLitSignificand") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "realLitExponent") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Exponent)))

data Exponent

An exponent is an exponent letter (E, D) and a signed integer.

Constructors

Exponent

Fields

• exponentLetter :: ExponentLetter
• exponentNum :: String

Instances

Eq Exponent

Defined in Language.Fortran.AST.RealLit

Methods

(==) :: Exponent -> Exponent -> Bool

(/=) :: Exponent -> Exponent -> Bool

Data Exponent

Defined in Language.Fortran.AST.RealLit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exponent -> c Exponent

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exponent

toConstr :: Exponent -> Constr

dataTypeOf :: Exponent -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exponent)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exponent)

gmapT :: (forall b. Data b => b -> b) -> Exponent -> Exponent

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exponent -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exponent -> r

gmapQ :: (forall d. Data d => d -> u) -> Exponent -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Exponent -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exponent -> m Exponent

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exponent -> m Exponent

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exponent -> m Exponent

Ord Exponent

Defined in Language.Fortran.AST.RealLit

Methods

compare :: Exponent -> Exponent -> Ordering

(<) :: Exponent -> Exponent -> Bool

(<=) :: Exponent -> Exponent -> Bool

(>) :: Exponent -> Exponent -> Bool

(>=) :: Exponent -> Exponent -> Bool

max :: Exponent -> Exponent -> Exponent

min :: Exponent -> Exponent -> Exponent

Show Exponent

Defined in Language.Fortran.AST.RealLit

Methods

showsPrec :: Int -> Exponent -> ShowS

show :: Exponent -> String

showList :: [Exponent] -> ShowS

Generic Exponent

Defined in Language.Fortran.AST.RealLit

Associated Types

type Rep Exponent :: Type -> Type

Methods

from :: Exponent -> Rep Exponent x

to :: Rep Exponent x -> Exponent

Out Exponent

Defined in Language.Fortran.AST.RealLit

Methods

docPrec :: Int -> Exponent -> Doc

doc :: Exponent -> Doc

docList :: [Exponent] -> Doc

NFData Exponent

Defined in Language.Fortran.AST.RealLit

Methods

rnf :: Exponent -> ()

type Rep Exponent

Defined in Language.Fortran.AST.RealLit

type Rep Exponent = D1 ('MetaData "Exponent" "Language.Fortran.AST.RealLit" "fortran-src-0.8.0-inplace" 'False) (C1 ('MetaCons "Exponent" 'PrefixI 'True) (S1 ('MetaSel ('Just "exponentLetter") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExponentLetter) :*: S1 ('MetaSel ('Just "exponentNum") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data ExponentLetter

Constructors

ExpLetterE

KIND=4 (float)

ExpLetterD

KIND=8 (double)

ExpLetterQ

KIND=16 ("quad", rare? extension)

Instances

Eq ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

(==) :: ExponentLetter -> ExponentLetter -> Bool

(/=) :: ExponentLetter -> ExponentLetter -> Bool

Data ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExponentLetter -> c ExponentLetter

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExponentLetter

toConstr :: ExponentLetter -> Constr

dataTypeOf :: ExponentLetter -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ExponentLetter)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExponentLetter)

gmapT :: (forall b. Data b => b -> b) -> ExponentLetter -> ExponentLetter

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExponentLetter -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExponentLetter -> r

gmapQ :: (forall d. Data d => d -> u) -> ExponentLetter -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> ExponentLetter -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExponentLetter -> m ExponentLetter

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExponentLetter -> m ExponentLetter

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExponentLetter -> m ExponentLetter

Ord ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

compare :: ExponentLetter -> ExponentLetter -> Ordering

(<) :: ExponentLetter -> ExponentLetter -> Bool

(<=) :: ExponentLetter -> ExponentLetter -> Bool

(>) :: ExponentLetter -> ExponentLetter -> Bool

(>=) :: ExponentLetter -> ExponentLetter -> Bool

max :: ExponentLetter -> ExponentLetter -> ExponentLetter

min :: ExponentLetter -> ExponentLetter -> ExponentLetter

Show ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

showsPrec :: Int -> ExponentLetter -> ShowS

show :: ExponentLetter -> String

showList :: [ExponentLetter] -> ShowS

Generic ExponentLetter

Defined in Language.Fortran.AST.RealLit

Associated Types

type Rep ExponentLetter :: Type -> Type

Methods

from :: ExponentLetter -> Rep ExponentLetter x

to :: Rep ExponentLetter x -> ExponentLetter

Out ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

docPrec :: Int -> ExponentLetter -> Doc

doc :: ExponentLetter -> Doc

docList :: [ExponentLetter] -> Doc

NFData ExponentLetter

Defined in Language.Fortran.AST.RealLit

Methods

rnf :: ExponentLetter -> ()

type Rep ExponentLetter

Defined in Language.Fortran.AST.RealLit

type Rep ExponentLetter = D1 ('MetaData "ExponentLetter" "Language.Fortran.AST.RealLit" "fortran-src-0.8.0-inplace" 'False) (C1 ('MetaCons "ExpLetterE" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExpLetterD" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExpLetterQ" 'PrefixI 'False) (U1 :: Type -> Type)))

prettyHsRealLit :: RealLit -> String

Prettify a RealLit in a Haskell-compatible way.

readRealLit :: (Fractional a, Read a) => RealLit -> a

parseRealLit :: String -> RealLit