Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Language.Fortran.ParserMonad
Documentation
data FortranVersion #
Constructors
Fortran66 | |
Fortran77 | |
Fortran77Extended | |
Fortran90 | |
Fortran2003 | |
Fortran2008 |
Instances
data ParanthesesCount #
Constructors
ParanthesesCount | |
Fields
|
Instances
Constructors
ConStart | |
ConData | |
ConImplicit | |
ConNamelist | |
ConCommon |
data ParseState a #
Constructors
ParseState | |
Fields
|
Instances
Show a => Show (ParseState a) # | |
(Loc b, LastToken b c, Show c) => MonadState (ParseState b) (Parse b c) # | |
data ParseError a b #
Constructors
ParseError | |
Fields
|
Instances
Show b => Show (ParseError a b) # | |
(Typeable * a, Typeable * b, Show a, Show b) => Exception (ParseError a b) # | |
(Loc b, LastToken b c, Show c) => MonadError (ParseError b c) (Parse b c) # | |
data ParseResult b c a #
Constructors
ParseOk a (ParseState b) | |
ParseFailed (ParseError b c) |
Instances
Functor (ParseResult b c) # | |
fromParseResultUnsafe :: Show c => ParseResult b c a -> a #
fromParseResult :: Show c => ParseResult b c a -> Either ParseErrorSimple a #
class LastToken a b | a -> b where #
Minimal complete definition
Methods
getLastToken :: Show b => a -> Maybe b #
Constructors
Parse | |
Fields
|
Instances
(Loc b, LastToken b c, Show c) => MonadState (ParseState b) (Parse b c) # | |
(Loc b, LastToken b c, Show c) => Monad (Parse b c) # | |
(Loc b, LastToken b c, Show c) => Functor (Parse b c) # | |
(Loc b, LastToken b c, Show c) => Applicative (Parse b c) # | |
(Loc b, LastToken b c, Show c) => MonadError (ParseError b c) (Parse b c) # | |
getVersion :: (Loc a, LastToken a b, Show b) => Parse a b FortranVersion #
getParanthesesCount :: (Loc a, LastToken a b, Show b) => Parse a b ParanthesesCount #
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) #
execParse :: (Loc b, LastToken b c, Show c) => Parse b c a -> ParseState b -> ParseState b #
Minimal complete definition
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] #