ddc-core-0.2.1.2: Disciple Core language and type checker.

Safe HaskellNone

DDC.Core.Parser

Description

Core language parser.

Synopsis

Documentation

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.