DDC.Core.Parser

type Parser n a

data Context

contextOfProfile

Types

pType

pTypeApp

pTypeAtom

Modules

pModule

pModuleName

Expressions

pExp

pExpApp

pExpAtom

Function Parameters

data ParamSpec n

funTypeOfParams

expOfParams

pBindParamSpecAnnot

pBindParamSpec

Witnesses

pWitness

pWitnessApp

pWitnessAtom

Constructors

pCon

pConSP

pLit

pLitSP

Variables

pIndex

pIndexSP

pVar

pVarSP

pBinder

pName

Infix operators

pOpSP

pOpVarSP

Raw Tokens

pTok

pTokSP

pTokAs