Language.Fortran.ParserMonad

Documentation

class Tok a where

Methods

eofToken :: a -> Bool

Instances

Tok Token

Defined in Language.Fortran.Lexer.FreeForm

Methods

eofToken :: Token -> Bool

Tok Token

Defined in Language.Fortran.Lexer.FixedForm

Methods

eofToken :: Token -> Bool

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)

Defined in Language.Fortran.ParserMonad

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)

Defined in Language.Fortran.ParserMonad

Methods

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

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

return :: a -> Parse b c a

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

Defined in Language.Fortran.ParserMonad

Methods

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

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

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

Defined in Language.Fortran.ParserMonad

Methods

fail :: String -> Parse b c a

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

Defined in Language.Fortran.ParserMonad

Methods

pure :: a -> Parse b c a

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

liftA2 :: (a -> b0 -> c0) -> Parse b c a -> Parse b c b0 -> Parse b c c0

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

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

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

Defined in Language.Fortran.ParserMonad

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

class LastToken a b | a -> b where

Methods

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

Instances

LastToken AlexInput Token

Defined in Language.Fortran.Lexer.FreeForm

Methods

getLastToken :: AlexInput -> Maybe Token

LastToken AlexInput Token

Defined in Language.Fortran.Lexer.FixedForm

Methods

getLastToken :: AlexInput -> Maybe Token

data ParseErrorSimple

Constructors

ParseErrorSimple

Fields

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

Instances

Show ParseErrorSimple

Defined in Language.Fortran.ParserMonad

Methods

showsPrec :: Int -> ParseErrorSimple -> ShowS

show :: ParseErrorSimple -> String

showList :: [ParseErrorSimple] -> ShowS

data ParseResult b c a

Constructors

ParseOk a (ParseState b)

ParseFailed (ParseError b c)

Instances

Functor (ParseResult b c)

Defined in Language.Fortran.ParserMonad

Methods

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

(<$) :: a -> ParseResult b c b0 -> ParseResult 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)

Defined in Language.Fortran.ParserMonad

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)

Defined in Language.Fortran.ParserMonad

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)

Defined in Language.Fortran.ParserMonad

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

data ParseState a

Constructors

ParseState

Fields

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

Instances

Show a => Show (ParseState a)

Defined in Language.Fortran.ParserMonad

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)

Defined in Language.Fortran.ParserMonad

Methods

get :: Parse b c (ParseState b)

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

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

data Context

Constructors

ConStart

ConData

ConImplicit

ConNamelist

ConCommon

Instances

Eq Context

Defined in Language.Fortran.ParserMonad

Methods

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

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

Show Context

Defined in Language.Fortran.ParserMonad

Methods

showsPrec :: Int -> Context -> ShowS

show :: Context -> String

showList :: [Context] -> ShowS

data ParanthesesCount

Constructors

ParanthesesCount

Fields

• pcActual :: Integer
• pcHasReached0 :: Bool

Instances

Eq ParanthesesCount

Defined in Language.Fortran.ParserMonad

Methods

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

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

Show ParanthesesCount

Defined in Language.Fortran.ParserMonad

Methods

showsPrec :: Int -> ParanthesesCount -> ShowS

show :: ParanthesesCount -> String

showList :: [ParanthesesCount] -> ShowS

tokenMsg :: Show a => Maybe a -> String

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

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

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]

module Language.Fortran.Version