Language.LBNF.Runtime

Contains things that are typically needed in modules that use languages defined using BNFC-meta.

Happy and Alex runtimes

data ParseMonad a

Constructors

Ok a

Bad String

Instances

Monad ParseMonad

Defined in Language.LBNF.Runtime

Methods

(>>=) :: ParseMonad a -> (a -> ParseMonad b) -> ParseMonad b

(>>) :: ParseMonad a -> ParseMonad b -> ParseMonad b

return :: a -> ParseMonad a

fail :: String -> ParseMonad a

Functor ParseMonad

Defined in Language.LBNF.Runtime

Methods

fmap :: (a -> b) -> ParseMonad a -> ParseMonad b

(<$) :: a -> ParseMonad b -> ParseMonad a

MonadFail ParseMonad

Defined in Language.LBNF.Runtime

Methods

fail :: String -> ParseMonad a

Applicative ParseMonad

Defined in Language.LBNF.Runtime

Methods

pure :: a -> ParseMonad a

(<*>) :: ParseMonad (a -> b) -> ParseMonad a -> ParseMonad b

liftA2 :: (a -> b -> c) -> ParseMonad a -> ParseMonad b -> ParseMonad c

(*>) :: ParseMonad a -> ParseMonad b -> ParseMonad b

(<*) :: ParseMonad a -> ParseMonad b -> ParseMonad a

Eq a => Eq (ParseMonad a)

Defined in Language.LBNF.Runtime

Methods

(==) :: ParseMonad a -> ParseMonad a -> Bool

(/=) :: ParseMonad a -> ParseMonad a -> Bool

Ord a => Ord (ParseMonad a)

Defined in Language.LBNF.Runtime

Methods

compare :: ParseMonad a -> ParseMonad a -> Ordering

(<) :: ParseMonad a -> ParseMonad a -> Bool

(<=) :: ParseMonad a -> ParseMonad a -> Bool

(>) :: ParseMonad a -> ParseMonad a -> Bool

(>=) :: ParseMonad a -> ParseMonad a -> Bool

max :: ParseMonad a -> ParseMonad a -> ParseMonad a

min :: ParseMonad a -> ParseMonad a -> ParseMonad a

Read a => Read (ParseMonad a)

Defined in Language.LBNF.Runtime

Methods

readsPrec :: Int -> ReadS (ParseMonad a)

readList :: ReadS [ParseMonad a]

readPrec :: ReadPrec (ParseMonad a)

readListPrec :: ReadPrec [ParseMonad a]

Show a => Show (ParseMonad a)

Defined in Language.LBNF.Runtime

Methods

showsPrec :: Int -> ParseMonad a -> ShowS

show :: ParseMonad a -> String

showList :: [ParseMonad a] -> ShowS

err :: (String -> a) -> ParseMonad a -> a

Pretty printing runtimes

printTree :: Print a => a -> String

type Doc = [ShowS] -> [ShowS]

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

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> Char -> Doc

prtList :: [Char] -> Doc

Print Double

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> Double -> Doc

prtList :: [Double] -> Doc

Print Integer

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> Integer -> Doc

prtList :: [Integer] -> Doc

Print PrintPlain

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> PrintPlain -> Doc

prtList :: [PrintPlain] -> Doc

Print Ident

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Ident -> Doc

prtList :: [Ident] -> Doc

Print Reg

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Reg -> Doc

prtList :: [Reg] -> Doc

Print MinimumSize

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> MinimumSize -> Doc

prtList :: [MinimumSize] -> Doc

Print Exp

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Exp -> Doc

prtList :: [Exp] -> Doc

Print Arg

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Arg -> Doc

prtList :: [Arg] -> Doc

Print HsTyp

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> HsTyp -> Doc

prtList :: [HsTyp] -> Doc

Print MIdent

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> MIdent -> Doc

prtList :: [MIdent] -> Doc

Print Label

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Label -> Doc

prtList :: [Label] -> Doc

Print Cat

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Cat -> Doc

prtList :: [Cat] -> Doc

Print Item

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Item -> Doc

prtList :: [Item] -> Doc

Print RHS

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> RHS -> Doc

prtList :: [RHS] -> Doc

Print Def

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Def -> Doc

prtList :: [Def] -> Doc

Print Grammar

Defined in Language.LBNF.Grammar

Methods

prt :: Int -> Grammar -> Doc

prtList :: [Grammar] -> Doc

Print a => Print [a]

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> [a] -> Doc

prtList :: [[a]] -> Doc

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

newtype PrintPlain

Constructors

MkPrintPlain String

Instances

Print PrintPlain

Defined in Language.LBNF.Runtime

Methods

prt :: Int -> PrintPlain -> Doc

prtList :: [PrintPlain] -> Doc