Safe Haskell	Safe
Language	Haskell98

SMR.Source.Parser

Synopsis

type Parser s p a = Parser (Located Token) (Expected (Located Token) s p) a
type Error s p = ParseError (Located Token) (Expected (Located Token) s p)
data Config s p = Config {
- configReadSym :: Text -> Maybe s
- configReadPrm :: Text -> Maybe p
}
parseDecls :: Config s p -> [Located Token] -> Either (Error s p) [Decl s p]
parseExp :: Config s p -> [Located Token] -> Either (Error s p) (Exp s p)
pDecls :: Config s p -> Parser s p [Decl s p]
pDecl :: Config s p -> Parser s p (Decl s p)
pExp :: Config s p -> Parser s p (Exp s p)
pExpApp :: Config s p -> Parser s p (Exp s p)
pExpAtom :: Config s p -> Parser s p (Exp s p)
pParam :: Parser s p Param
pTrain :: Config s p -> Parser s p [Car s p]
pTrainCar :: Config s p -> Parser s p (Car s p)
pCarSimRec :: Config s p -> Parser s p (Car s p)
pBind :: Config s p -> Parser s p (SnvBind s p)
pUps :: Parser s p Ups
pBump :: Parser s p UpsBump
pNat :: Parser s p Integer
pText :: Parser s p Text
pNameOfSpace :: Space -> Parser s p Text
pName :: Parser s p (Space, Text)
pEnd :: Parser s p ()
pPunc :: Char -> Parser s p ()

Documentation

type Parser s p a = Parser (Located Token) (Expected (Located Token) s p) a Source #

type Error s p = ParseError (Located Token) (Expected (Located Token) s p) Source #

data Config s p Source #

Constructors

Config
Fields configReadSym :: Text -> Maybe s configReadPrm :: Text -> Maybe p

parseDecls Source #

Arguments

:: Config s p	Primop configration.
-> [Located Token]	Tokens to parse.
-> Either (Error s p) [Decl s p]

Parse some Shimmer declarations from a list of tokens.

parseExp Source #

Arguments

:: Config s p	Primop configuration.
-> [Located Token]	Tokens to parse.
-> Either (Error s p) (Exp s p)

Parse a Shimmer expression from a list of tokens.

pDecls :: Config s p -> Parser s p [Decl s p] Source #

Parser for a list of declarations.

pDecl :: Config s p -> Parser s p (Decl s p) Source #

Parser for a single declaration.

pExp :: Config s p -> Parser s p (Exp s p) Source #

Parser for an expression.

pExpApp :: Config s p -> Parser s p (Exp s p) Source #

Parser for an application.

pExpAtom :: Config s p -> Parser s p (Exp s p) Source #

Parser for an atomic expression.

pParam :: Parser s p Param Source #

Parser for a function parameter.

pTrain :: Config s p -> Parser s p [Car s p] Source #

Parser for a substitution train. The cars are produced in reverse order.

pTrainCar :: Config s p -> Parser s p (Car s p) Source #

Parse a single car in the train.

pCarSimRec :: Config s p -> Parser s p (Car s p) Source #

Parser for a substitution environment.

Snv   ::= '[' Bind*, ']'

pBind :: Config s p -> Parser s p (SnvBind s p) Source #

Parser for a binding.

Bind ::= Name '=' Exp
      |  Name ^ Nat '=' Exp

pUps :: Parser s p Ups Source #

Parser for an ups.

Ups  ::= '{' Bump*, '}'

pBump :: Parser s p UpsBump Source #

Parser for a bump.

Bump ::= Name : Nat
      |  Name ^ Nat : Nat

pNat :: Parser s p Integer Source #

Parser for a natural number.

pText :: Parser s p Text Source #

Parser for a text string.

pNameOfSpace :: Space -> Parser s p Text Source #

Parser for a name in the given name space.

pName :: Parser s p (Space, Text) Source #

Parser for a name of any space.

pEnd :: Parser s p () Source #

Parser for the end of input token.

pPunc :: Char -> Parser s p () Source #

Parser for a punctuation character.