- data HappyStk a = HappyStk a (HappyStk a)
- ord :: Char -> Int
- listArray :: Ix i => (i, i) -> [e] -> Array i e
- (!) :: Ix i => Array i e -> i -> e
- data Ix i => Array i e
- parseToQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoter
- data ParseMonad a
- errq :: (String -> a) -> ParseMonad a -> Q a
- printTree :: Print a => a -> String
- doc :: ShowS -> Doc
- concatD :: [Doc] -> Doc
- class Print a where
- prPrec :: Int -> Int -> Doc -> Doc
- newtype PrintPlain = MkPrintPlain String
- data Q a
- type BNFC_QQType = (Q Exp, Q Pat)
- appEPAll :: LocType -> String -> [BNFC_QQType] -> BNFC_QQType
- appEPAllL :: LocType -> [BNFC_QQType] -> BNFC_QQType
- fromLit :: Literal a => LocType -> a -> BNFC_QQType
- fromString :: t -> String -> (ExpQ, PatQ)
- fromToken :: (String, String) -> [Char] -> String -> (ExpQ, Q Pat)
- class Lift t where
- printAq :: Print a => a -> BNFC_QQType
- stringAq :: String -> BNFC_QQType
Happy and Alex runtimes
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.
The type of immutable non-strict (boxed) arrays
with indices in i
and elements in e
.
parseToQuoter :: (String -> ParseMonad BNFC_QQType) -> QuasiQuoterSource
data ParseMonad a Source
Monad ParseMonad | |
Functor 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 aSource
Pretty printing runtimes
Quasi quoting runtimes
appEPAll :: LocType -> String -> [BNFC_QQType] -> BNFC_QQTypeSource
appEPAllL :: LocType -> [BNFC_QQType] -> BNFC_QQTypeSource
fromLit :: Literal a => LocType -> a -> BNFC_QQTypeSource
fromString :: t -> String -> (ExpQ, PatQ)Source
class Lift t where
Lift Bool | |
Lift Char | |
Lift Int | |
Lift Integer | |
Lift Rational | |
Lift Exp | |
Lift Match | |
Lift Clause | |
Lift Pat | |
Lift Type | |
Lift Dec | |
Lift Name | |
Lift FunDep | |
Lift Pred | |
Lift TyVarBndr | |
Lift () | |
Lift NameFlavour | |
Lift NameSpace | |
Lift Info | |
Lift ClassInstance | |
Lift Fixity | |
Lift FixityDirection | |
Lift Lit | |
Lift Body | |
Lift Guard | |
Lift Stmt | |
Lift Range | |
Lift FamFlavour | |
Lift Foreign | |
Lift Callconv | |
Lift Safety | |
Lift Pragma | |
Lift InlineSpec | |
Lift Strict | |
Lift Con | |
Lift Kind | |
Lift ModName | |
Lift PkgName | |
Lift OccName | |
Lift a => Lift [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) |
printAq :: Print a => a -> BNFC_QQTypeSource
stringAq :: String -> BNFC_QQTypeSource