Language.LBNF.Compiletime

Contents

• Happy and Alex
• Pretty printing
• Quasi quoting
  • Helper functions for defining Anti-quotation

Description

Synopsis

• data HappyStk a = HappyStk a (HappyStk a)
• utf8Encode :: Char -> [Word8]
• data Posn = Pn !Int !Int !Int
• type AlexInput = (Posn, Char, [Word8], String)
• alexGetByte :: AlexInput -> Maybe (Word8, AlexInput)
• ord :: Char -> Int
• listArray :: Ix i => (i, i) -> [e] -> Array i e
• (!) :: Ix i => Array i e -> i -> e
• data Array i e
• printTree :: Print a => a -> String
• doc :: ShowS -> Doc
• concatD :: [Doc] -> Doc
• class Print a where
  • prt :: Int -> a -> Doc
  • prtList :: [a] -> Doc
• prPrec :: Int -> Int -> Doc -> Doc
• newtype PrintPlain = MkPrintPlain String
• parseToQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoter
• parseToMonQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoter
• data ParseMonad a
  • = Ok a
  • | Bad String
• errq :: (String -> a) -> ParseMonad a -> Q a
• data Q a
• data BNFC_QQType
  • = QQApp (String, LocType) [BNFC_QQType]
  • | QQAq (Q Exp, Q Pat)
  • | QQList [BNFC_QQType]
  • | QQLit Lit
  • | QQPosT (Int, Int) (String, LocType) String
• appEPAll :: LocType -> String -> [BNFC_QQType] -> BNFC_QQType
• appEPAllL :: LocType -> [BNFC_QQType] -> BNFC_QQType
• fromString :: Literal a => LocType -> a -> BNFC_QQType
• fromLit :: Literal a => LocType -> a -> BNFC_QQType
• fromToken :: Literal a => LocType -> String -> a -> BNFC_QQType
• fromPositionToken :: LocType -> String -> ((Int, Int), String) -> BNFC_QQType
• class Lift t where
  • lift :: t -> Q Exp
• type LocType = (String, String)
• class Literal a where
  • lit :: a -> Lit
• class IsChar a where
  • toChar :: a -> Char
• printAq :: Print a => a -> BNFC_QQType
• stringAq :: String -> BNFC_QQType

Happy and Alex

Pretty printing

Quasi quoting

Helper functions for defining Anti-quotation