Safe Haskell	Safe
Language	Haskell2010

Language.Fortran.ParserMonad

Documentation

data FortranVersion Source #

Constructors

Fortran66
Fortran77
Fortran77Extended
Fortran90
Fortran95
Fortran2003
Fortran2008

Instances

Eq FortranVersion Source #
Methods (==) :: FortranVersion -> FortranVersion -> Bool # (/=) :: FortranVersion -> FortranVersion -> Bool #
Data FortranVersion Source #
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 Source #
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 Source #
Methods showsPrec :: Int -> FortranVersion -> ShowS # show :: FortranVersion -> String # showList :: [FortranVersion] -> ShowS #
Generic FortranVersion Source #
Associated Types type Rep FortranVersion :: * -> * # Methods from :: FortranVersion -> Rep FortranVersion x # to :: Rep FortranVersion x -> FortranVersion #
type Rep FortranVersion Source #
type Rep FortranVersion = D1 (MetaData "FortranVersion" "Language.Fortran.ParserMonad" "fortran-src-0.1.0.3-91DD86MnaFR2VbfFJIGSH6" 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 Source #

Constructors

ParanthesesCount
Fields pcActual :: Integer pcHasReached0 :: Bool

Instances

Eq ParanthesesCount Source #
Methods (==) :: ParanthesesCount -> ParanthesesCount -> Bool # (/=) :: ParanthesesCount -> ParanthesesCount -> Bool #
Show ParanthesesCount Source #
Methods showsPrec :: Int -> ParanthesesCount -> ShowS # show :: ParanthesesCount -> String # showList :: [ParanthesesCount] -> ShowS #

data Context Source #

Constructors

ConStart
ConData
ConImplicit
ConNamelist
ConCommon

Instances

Eq Context Source #
Methods (==) :: Context -> Context -> Bool # (/=) :: Context -> Context -> Bool #
Show Context Source #
Methods showsPrec :: Int -> Context -> ShowS # show :: Context -> String # showList :: [Context] -> ShowS #

data ParseState a Source #

Constructors

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

Instances

Show a => Show (ParseState a) Source #
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) Source #
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 Source #

Constructors

ParseError
Fields errPos :: Position errLastToken :: Maybe b errFilename :: String errMsg :: String

Instances

Show b => Show (ParseError a b) Source #
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) Source #
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) Source #
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 ParseResult b c a Source #

Constructors

ParseOk a (ParseState b)
ParseFailed (ParseError b c)

class LastToken a b | a -> b where Source #

Minimal complete definition

getLastToken

Methods

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

Instances

LastToken AlexInput Token Source #
Methods getLastToken :: AlexInput -> Maybe Token Source #
LastToken AlexInput Token Source #
Methods getLastToken :: AlexInput -> Maybe Token Source #

data Parse b c a Source #

Constructors

Parse
Fields unParse :: ParseState b -> ParseResult b c a

Instances

(Loc b, LastToken b c, Show c) => MonadState (ParseState b) (Parse b c) Source #
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) Source #
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) Source #
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) Source #
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) Source #
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 Source #

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

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

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

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

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

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

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

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

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

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

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

throwIOerror :: String -> a Source #

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

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

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

class Tok a where Source #

Minimal complete definition

eofToken

Methods

eofToken :: a -> Bool Source #

Instances

Tok Token Source #
Methods eofToken :: Token -> Bool Source #
Tok Token Source #
Methods eofToken :: Token -> Bool Source #

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

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