Text.Papillon.Core

Contents

• For Text.Papillon library
  • For parse error message
• For papillon command

Synopsis

• papillonCore :: String -> DecsQ
• class Source sl where
  • type Token sl
  • data Pos sl
  • getToken :: sl -> Maybe (Token sl, sl)
  • initialPos :: Pos sl
  • updatePos :: Token sl -> Pos sl -> Pos sl
• class SourceList c where
  • data ListPos c
  • listToken :: [c] -> Maybe (c, [c])
  • listInitialPos :: ListPos c
  • listUpdatePos :: c -> ListPos c -> ListPos c
• data 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)
• papillonFile :: String -> Q ([PPragma], ModuleName, Maybe Exports, Code, DecsQ, Code)
• data PPragma
  • = LanguagePragma [String]
  • | OtherPragma String
• type ModuleName = [String]
• type Exports = String
• type Code = String
• (<*>) :: Applicative f => forall a b. f (a -> b) -> f a -> f b
• (<$>) :: Functor f => (a -> b) -> f a -> f b
• runError :: forall err a. ErrorT err Identity a -> Either err a

For Text.Papillon library

For parse error message

For papillon command