Language.Fortran.ParserMonad

Documentation

data FortranVersion

Constructors

Fortran66

Fortran77

Fortran77Extended

Fortran90

Fortran95

Fortran2003

Fortran2008

Instances

Eq FortranVersion

Methods

(==) :: FortranVersion -> FortranVersion -> Bool

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

Data FortranVersion

Methods

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

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

toConstr :: FortranVersion -> Constr

dataTypeOf :: FortranVersion -> DataType

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

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

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

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

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

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

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

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

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

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

Ord FortranVersion

Methods

compare :: FortranVersion -> FortranVersion -> Ordering

(<) :: FortranVersion -> FortranVersion -> Bool

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

(>) :: FortranVersion -> FortranVersion -> Bool

(>=) :: FortranVersion -> FortranVersion -> Bool

max :: FortranVersion -> FortranVersion -> FortranVersion

min :: FortranVersion -> FortranVersion -> FortranVersion

Show FortranVersion

Methods

showsPrec :: Int -> FortranVersion -> ShowS

show :: FortranVersion -> String

showList :: [FortranVersion] -> ShowS

Generic FortranVersion

Associated Types

type Rep FortranVersion :: * -> *

Methods

from :: FortranVersion -> Rep FortranVersion x

to :: Rep FortranVersion x -> FortranVersion

type Rep FortranVersion

type Rep FortranVersion = D1 (MetaData "FortranVersion" "Language.Fortran.ParserMonad" "fortran-src-0.1.0.6-FCLsfvjOy9SGrH51XLsolu" False) ((:+:) ((:+:) (C1 (MetaCons "Fortran66" PrefixI False) U1) ((:+:) (C1 (MetaCons "Fortran77" PrefixI False) U1) (C1 (MetaCons "Fortran77Extended" PrefixI False) U1))) ((:+:) ((:+:) (C1 (MetaCons "Fortran90" PrefixI False) U1) (C1 (MetaCons "Fortran95" PrefixI False) U1)) ((:+:) (C1 (MetaCons "Fortran2003" PrefixI False) U1) (C1 (MetaCons "Fortran2008" PrefixI False) U1))))

data ParanthesesCount

Constructors

ParanthesesCount

Fields

• pcActual :: Integer
• pcHasReached0 :: Bool

Instances

Eq ParanthesesCount

Methods

(==) :: ParanthesesCount -> ParanthesesCount -> Bool

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

Show ParanthesesCount

Methods

showsPrec :: Int -> ParanthesesCount -> ShowS

show :: ParanthesesCount -> String

showList :: [ParanthesesCount] -> ShowS

data Context

Constructors

ConStart

ConData

ConImplicit

ConNamelist

ConCommon

Instances

Eq Context

Methods

(==) :: Context -> Context -> Bool

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

Show Context

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

data ParseState a

Constructors

ParseState

Fields

• psAlexInput :: a
• psParanthesesCount :: ParanthesesCount
• psVersion :: FortranVersion
• psFilename :: String
• psContext :: [Context]

Instances

Show a => Show (ParseState a)

Methods

showsPrec :: Int -> ParseState a -> ShowS

show :: ParseState a -> String

showList :: [ParseState a] -> ShowS

(Loc b, LastToken b c, Show c) => MonadState (ParseState b) (Parse b c)

Methods

get :: Parse b c (ParseState b)

put :: ParseState b -> Parse b c ()

state :: (ParseState b -> (a, ParseState b)) -> Parse b c a

data ParseError a b

Constructors

ParseError

Fields

• errPos :: Position
• errLastToken :: Maybe b
• errFilename :: String
• errMsg :: String

Instances

Show b => Show (ParseError a b)

Methods

showsPrec :: Int -> ParseError a b -> ShowS

show :: ParseError a b -> String

showList :: [ParseError a b] -> ShowS

(Typeable * a, Typeable * b, Show a, Show b) => Exception (ParseError a b)

Methods

toException :: ParseError a b -> SomeException

fromException :: SomeException -> Maybe (ParseError a b)

displayException :: ParseError a b -> String

(Loc b, LastToken b c, Show c) => MonadError (ParseError b c) (Parse b c)

Methods

throwError :: ParseError b c -> Parse b c a

catchError :: Parse b c a -> (ParseError b c -> Parse b c a) -> Parse b c a

tokenMsg :: Show a => Maybe a -> [Char]

data ParseResult b c a

Constructors

ParseOk a (ParseState b)

ParseFailed (ParseError b c)

Instances

Functor (ParseResult b c)

Methods

fmap :: (a -> b) -> ParseResult b c a -> ParseResult b c b

(<$) :: a -> ParseResult b c b -> ParseResult b c a

data ParseErrorSimple

Constructors

ParseErrorSimple

Fields

• errorPos :: Position
• errorFilename :: String
• errorMsg :: String

Instances

Show ParseErrorSimple

Methods

showsPrec :: Int -> ParseErrorSimple -> ShowS

show :: ParseErrorSimple -> String

showList :: [ParseErrorSimple] -> ShowS

fromParseResultUnsafe :: Show c => ParseResult b c a -> a

fromRight :: Show a => Either a b -> b

fromParseResult :: Show c => ParseResult b c a -> Either ParseErrorSimple a

class LastToken a b | a -> b where

Minimal complete definition

getLastToken

Methods

getLastToken :: Show b => a -> Maybe b

Instances

LastToken AlexInput Token

Methods

getLastToken :: AlexInput -> Maybe Token

LastToken AlexInput Token

Methods

getLastToken :: AlexInput -> Maybe Token

newtype Parse b c a

Constructors

Parse

Fields

• unParse :: ParseState b -> ParseResult b c a

Instances

(Loc b, LastToken b c, Show c) => MonadState (ParseState b) (Parse b c)

Methods

get :: Parse b c (ParseState b)

put :: ParseState b -> Parse b c ()

state :: (ParseState b -> (a, ParseState b)) -> Parse b c a

(Loc b, LastToken b c, Show c) => Monad (Parse b c)

Methods

(>>=) :: Parse b c a -> (a -> Parse b c b) -> Parse b c b

(>>) :: Parse b c a -> Parse b c b -> Parse b c b

return :: a -> Parse b c a

fail :: String -> Parse b c a

(Loc b, LastToken b c, Show c) => Functor (Parse b c)

Methods

fmap :: (a -> b) -> Parse b c a -> Parse b c b

(<$) :: a -> Parse b c b -> Parse b c a

(Loc b, LastToken b c, Show c) => Applicative (Parse b c)

Methods

pure :: a -> Parse b c a

(<*>) :: Parse b c (a -> b) -> Parse b c a -> Parse b c b

(*>) :: Parse b c a -> Parse b c b -> Parse b c b

(<*) :: Parse b c a -> Parse b c b -> Parse b c a

(Loc b, LastToken b c, Show c) => MonadError (ParseError b c) (Parse b c)

Methods

throwError :: ParseError b c -> Parse b c a

catchError :: Parse b c a -> (ParseError b c -> Parse b c a) -> Parse b c a

getVersion :: (Loc a, LastToken a b, Show b) => Parse a b FortranVersion

putAlex :: (Loc a, LastToken a b, Show b) => a -> Parse a b ()

getAlex :: (Loc a, LastToken a b, Show b) => Parse a b a

topContext :: (Loc a, LastToken a b, Show b) => Parse a b Context

popContext :: (Loc a, LastToken a b, Show b) => Parse a b ()

pushContext :: (Loc a, LastToken a b, Show b) => Context -> Parse a b ()

getPosition :: (Loc a, LastToken a b, Show b) => Parse a b Position

getSrcSpan :: (Loc a, LastToken a b, Show b) => Position -> Parse a b SrcSpan

getParanthesesCount :: (Loc a, LastToken a b, Show b) => Parse a b ParanthesesCount

resetPar :: (Loc a, LastToken a b, Show b) => Parse a b ()

incPar :: (Loc a, LastToken a b, Show b) => Parse a b ()

decPar :: (Loc a, LastToken a b, Show b) => Parse a b ()

throwIOerror :: String -> a

runParse :: (Loc b, LastToken b c, Show c) => Parse b c a -> ParseState b -> ParseResult b c a

runParseUnsafe :: (Loc b, LastToken b c, Show c) => Parse b c a -> ParseState b -> (a, ParseState b)

evalParse :: (Loc b, LastToken b c, Show c) => Parse b c a -> ParseState b -> a

execParse :: (Loc b, LastToken b c, Show c) => Parse b c a -> ParseState b -> ParseState b

class Tok a where

Minimal complete definition

eofToken

Methods

eofToken :: a -> Bool

Instances

Tok Token

Methods

eofToken :: Token -> Bool

Tok Token

Methods

eofToken :: Token -> Bool

collectTokens :: forall a b. (Loc b, Tok a, LastToken b a, Show a) => Parse b a a -> ParseState b -> [a]

collectTokensSafe :: forall a b. (Loc b, Tok a, LastToken b a, Show a) => Parse b a a -> ParseState b -> Maybe [a]