module DDC.Core.Parser
( Parser
, Context (..)
, contextOfProfile
, pType
, pTypeApp
, pTypeAtom
, pModule
, pModuleName
, pExp
, pExpApp
, pExpAtom
, ParamSpec(..)
, funTypeOfParams
, expOfParams
, pBindParamSpecAnnot
, pBindParamSpec
, pWitness
, pWitnessApp
, pWitnessAtom
, pCon, pConSP
, pLit, pLitSP
, pIndex, pIndexSP
, pVar, pVarSP
, pBinder
, pName
, pOpSP
, pOpVarSP
, pTok, pTokSP
, pTokAs)
where
import DDC.Core.Parser.Base
import DDC.Core.Parser.Context
import DDC.Core.Parser.Witness
import DDC.Core.Parser.Type
import DDC.Core.Parser.Exp
import DDC.Core.Parser.Module
import DDC.Core.Parser.Param