ddc-core-0.2.1.1: Disciple Core language and type checker.
DDC.Core.Parser
Description
Core language parser.
Synopsis
module DDC.Base.Parser
type Parser n a = Parser (Tok n) aSource
A parser of core language tokens.
pExp :: Ord n => Parser n (Exp () n)Source
Parse a core language expression.
pWitness :: Ord n => Parser n (Witness n)Source
Parse a witness expression.