Language.LBNF.Compiletime

Contains things needed by BNFC-meta language definitions and by the code generated from those. Typical users don't need to browse this module.

Happy and Alex

data HappyStk a :: * -> * infixr 9

Constructors

HappyStk a (HappyStk a) infixr 9

utf8Encode :: Char -> [Word8]

data Posn

Constructors

Pn !Int !Int !Int

Instances

Eq Posn

Ord Posn

Show Posn

type AlexInput = (Posn, Char, [Word8], String)

alexGetByte :: AlexInput -> Maybe (Word8, AlexInput)

ord :: Char -> Int

The fromEnum method restricted to the type Char.

listArray :: Ix i => (i, i) -> [e] -> Array i e

Construct an array from a pair of bounds and a list of values in index order.

(!) :: Ix i => Array i e -> i -> e infixl 9

The value at the given index in an array.

data Array i e :: * -> * -> *

The type of immutable non-strict (boxed) arrays with indices in i and elements in e.

Instances

Ix i => Functor (Array i)

(Ix i, Eq e) => Eq (Array i e)

(Typeable * a, Data a, Data b, Ix a) => Data (Array a b)

(Ix i, Ord e) => Ord (Array i e)

(Ix a, Read a, Read b) => Read (Array a b)

(Ix a, Show a, Show b) => Show (Array a b)

Typeable (* -> * -> *) Array

Pretty printing

printTree :: Print a => a -> String

doc :: ShowS -> Doc

concatD :: [Doc] -> Doc

class Print a where

Minimal complete definition

prt

Methods

prt :: Int -> a -> Doc

prtList :: [a] -> Doc

Instances

Print Char

Print Double

Print Integer

Print PrintPlain

Print Ident

Print Reg

Print MinimumSize

Print Exp

Print Arg

Print HsTyp

Print MIdent

Print Label

Print Cat

Print Item

Print RHS

Print Def

Print Grammar

Print a => Print [a]

prPrec :: Int -> Int -> Doc -> Doc

newtype PrintPlain

Constructors

MkPrintPlain String

Instances

Print PrintPlain

Quasi quoting

parseToQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoter

parseToMonQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoter

data ParseMonad a

Constructors

Ok a

Bad String

Instances

Monad ParseMonad

Functor ParseMonad

Applicative ParseMonad

Eq a => Eq (ParseMonad a)

Ord a => Ord (ParseMonad a)

Read a => Read (ParseMonad a)

Show a => Show (ParseMonad a)

errq :: (String -> a) -> ParseMonad a -> Q a

data Q a :: * -> *

Instances

Monad Q

Functor Q

Applicative Q

Quasi Q

data BNFC_QQType

Constructors

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

Methods

lift :: t -> Q Exp

Instances

Lift Bool

Lift Char

Lift Double

Lift Float

Lift Int

Lift Int8

Lift Int16

Lift Int32

Lift Int64

Lift Integer

Lift Word

Lift Word8

Lift Word16

Lift Word32

Lift Word64

Lift Exp

Lift Match

Lift Clause

Lift Pat

Lift Type

Lift Dec

Lift Name

Lift FunDep

Lift Pred

Lift TyVarBndr

Lift ()

Lift Natural

Lift ModName

Lift PkgName

Lift OccName

Lift NameFlavour

Lift NameSpace

Lift Loc

Lift Info

Lift Fixity

Lift FixityDirection

Lift Lit

Lift Body

Lift Guard

Lift Stmt

Lift Range

Lift TySynEqn

Lift FamFlavour

Lift Foreign

Lift Callconv

Lift Safety

Lift Pragma

Lift Inline

Lift RuleMatch

Lift Phases

Lift RuleBndr

Lift AnnTarget

Lift Strict

Lift Con

Lift TyLit

Lift Role

Lift a => Lift [a]

Integral a => Lift (Ratio a)

Lift a => Lift (Maybe a)

(Lift a, Lift b) => Lift (Either a b)

(Lift a, Lift b) => Lift (a, b)

(Lift a, Lift b, Lift c) => Lift (a, b, c)

(Lift a, Lift b, Lift c, Lift d) => Lift (a, b, c, d)

(Lift a, Lift b, Lift c, Lift d, Lift e) => Lift (a, b, c, d, e)

(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f) => Lift (a, b, c, d, e, f)

(Lift a, Lift b, Lift c, Lift d, Lift e, Lift f, Lift g) => Lift (a, b, c, d, e, f, g)

type LocType = (String, String)

class Literal a where

Methods

lit :: a -> Lit

Instances

Literal Char

Literal Double

Literal Integer

IsChar a => Literal [a]

class IsChar a where

Methods

toChar :: a -> Char

Instances

IsChar Char

Helper functions for defining Anti-quotation

printAq :: Print a => a -> BNFC_QQType

stringAq :: String -> BNFC_QQType