Language.Futhark.Parser.Monad

Utility functions and definitions used in the Happy-generated parser. They are defined here because the .y file is opaque to linters and other tools. In particular, we cannot enable warnings for that file, because Happy-generated code is very dirty by GHC's standards.

Documentation

type ParserMonad = ExceptT SyntaxError (StateT ParserState ReadLineMonad)

data ParserState

data ReadLineMonad a

Constructors

Value a

GetLine (Maybe Text -> ReadLineMonad a)

Instances

Applicative ReadLineMonad

Defined in Language.Futhark.Parser.Monad

Methods

pure :: a -> ReadLineMonad a

(<*>) :: ReadLineMonad (a -> b) -> ReadLineMonad a -> ReadLineMonad b

liftA2 :: (a -> b -> c) -> ReadLineMonad a -> ReadLineMonad b -> ReadLineMonad c

(*>) :: ReadLineMonad a -> ReadLineMonad b -> ReadLineMonad b

(<*) :: ReadLineMonad a -> ReadLineMonad b -> ReadLineMonad a

Functor ReadLineMonad

Defined in Language.Futhark.Parser.Monad

Methods

fmap :: (a -> b) -> ReadLineMonad a -> ReadLineMonad b

(<$) :: a -> ReadLineMonad b -> ReadLineMonad a

Monad ReadLineMonad

Defined in Language.Futhark.Parser.Monad

Methods

(>>=) :: ReadLineMonad a -> (a -> ReadLineMonad b) -> ReadLineMonad b

(>>) :: ReadLineMonad a -> ReadLineMonad b -> ReadLineMonad b

return :: a -> ReadLineMonad a

parseInMonad :: ParserMonad a -> FilePath -> Text -> ReadLineMonad (Either SyntaxError a)

parse :: ParserMonad a -> FilePath -> Text -> Either SyntaxError a

getLinesFromM :: Monad m => m Text -> ReadLineMonad a -> m a

lexer :: (L Token -> ParserMonad a) -> ParserMonad a

mustBeEmpty :: Located loc => loc -> ValueType -> ParserMonad ()

arrayFromList :: [a] -> Array Int a

binOp :: UncheckedExp -> L Token -> UncheckedExp -> UncheckedExp

binOpName :: L Token -> (QualName Name, Loc)

mustBe :: L Token -> Text -> ParserMonad ()

primNegate :: PrimValue -> PrimValue

applyExp :: [UncheckedExp] -> ParserMonad UncheckedExp

patternExp :: UncheckedPat -> ParserMonad UncheckedExp

addDocSpec :: DocComment -> SpecBase NoInfo Name -> SpecBase NoInfo Name

addAttrSpec :: AttrInfo Name -> UncheckedSpec -> UncheckedSpec

addDoc :: DocComment -> UncheckedDec -> UncheckedDec

addAttr :: AttrInfo Name -> UncheckedDec -> UncheckedDec

twoDotsRange :: Loc -> ParserMonad a

data SyntaxError

A syntax error.

Constructors

SyntaxError

Fields

• syntaxErrorLoc :: Loc
• syntaxErrorMsg :: Text

emptyArrayError :: Loc -> ParserMonad a

parseError :: (L Token, [String]) -> ParserMonad a

parseErrorAt :: Located loc => loc -> Maybe Text -> ParserMonad a

backOneCol :: Loc -> Loc

Move the end position back one column.

Reexports

data L a

A value of type L a is a value of type a with an associated Loc, but this location is ignored when performing comparisons.

Instances

Functor L

Defined in Data.Loc

Methods

fmap :: (a -> b) -> L a -> L b

(<$) :: a -> L b -> L a

Data a => Data (L a)

Defined in Data.Loc

Methods

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

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

toConstr :: L a -> Constr

dataTypeOf :: L a -> DataType

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

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

gmapT :: (forall b. Data b => b -> b) -> L a -> L a

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

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

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

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

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

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

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

Show x => Show (L x)

Defined in Data.Loc

Methods

showsPrec :: Int -> L x -> ShowS

show :: L x -> String

showList :: [L x] -> ShowS

Eq x => Eq (L x)

Defined in Data.Loc

Methods

(==) :: L x -> L x -> Bool

(/=) :: L x -> L x -> Bool

Ord x => Ord (L x)

Defined in Data.Loc

Methods

compare :: L x -> L x -> Ordering

(<) :: L x -> L x -> Bool

(<=) :: L x -> L x -> Bool

(>) :: L x -> L x -> Bool

(>=) :: L x -> L x -> Bool

max :: L x -> L x -> L x

min :: L x -> L x -> L x

Pretty x => Pretty (L x)

Defined in Text.PrettyPrint.Mainland.Class

Methods

ppr :: L x -> Doc

pprPrec :: Int -> L x -> Doc

pprList :: [L x] -> Doc

Located (L a)

Defined in Data.Loc

Methods

locOf :: L a -> Loc

locOfList :: [L a] -> Loc

Relocatable (L a)

Defined in Data.Loc

Methods

reloc :: Loc -> L a -> L a

data Token

A lexical token. It does not itself contain position information, so in practice the parser will consume tokens tagged with a source position.

Instances

Show Token

Defined in Language.Futhark.Parser.Lexer.Tokens

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Eq Token

Defined in Language.Futhark.Parser.Lexer.Tokens

Methods

(==) :: Token -> Token -> Bool

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

Ord Token

Defined in Language.Futhark.Parser.Lexer.Tokens

Methods

compare :: Token -> Token -> Ordering

(<) :: Token -> Token -> Bool

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

(>) :: Token -> Token -> Bool

(>=) :: Token -> Token -> Bool

max :: Token -> Token -> Token

min :: Token -> Token -> Token