Text.PapillonCore

For Text.Papillon library

papillonCore :: String -> DecsQ

class Source sl where

Associated Types

type Token sl

data Pos sl

Methods

getToken :: sl -> Maybe (Token sl, sl)

initialPos :: Pos sl

updatePos :: Token sl -> Pos sl -> Pos sl

Instances

SourceList c => Source [c]

class SourceList c where

Associated Types

data ListPos c

Methods

listToken :: [c] -> Maybe (c, [c])

listInitialPos :: ListPos c

listUpdatePos :: c -> ListPos c -> ListPos c

Instances

SourceList Char

For parse error message

data ParseError pos drv

Instances

Error (ParseError pos drv)

mkParseError :: forall pos drv. String -> String -> String -> drv -> [String] -> pos -> ParseError pos drv

peDerivs :: ParseError pos drv -> drv

peReading :: ParseError pos drv -> [String]

peMessage :: ParseError pos drv -> String

peCode :: ParseError pos drv -> String

peComment :: ParseError pos drv -> String

pePosition :: ParseError pos drv -> pos

pePositionS :: forall drv. ParseError (Pos String) drv -> (Int, Int)

For papillon command

papillonFile :: String -> Q ([PPragma], ModuleName, Maybe Exports, Code, DecsQ, Code)

data PPragma

Constructors

LanguagePragma [String]

OtherPragma String

Instances

Show PPragma

type ModuleName = [String]

type Exports = String

type Code = String

(<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b

Sequential application.

(<$>) :: Functor f => (a -> b) -> f a -> f b

An infix synonym for fmap.

runError :: forall err a. ErrorT err Identity a -> Either err a