LambdaCube.SystemFw.Parser
pTopLC :: Parser ExtLCTerm Source #
pLC :: Parser ExtLCTerm Source #
pTLam :: Parser ExtLCTerm Source #
pLam :: Parser ExtLCTerm Source #
pApp :: Parser ExtLCTerm Source #
pAppArg :: Parser (ExtLCTerm -> ExtLCTerm) Source #
pATerm :: Parser ExtLCTerm Source #
pVar :: Parser ExtLCTerm Source #
pMVar :: Parser ExtLCTerm Source #
pType :: Parser ExtLCType Source #
pTTLam :: Parser ExtLCType Source #
pUniv :: Parser ExtLCType Source #
pArr :: Parser ExtLCType Source #
pTTApp :: Parser ExtLCType Source #
pAType :: Parser ExtLCType Source #
pBase :: Parser ExtLCType Source #
pTVar :: Parser ExtLCType Source #
pMTVar :: Parser ExtLCType Source #
pKind :: Parser ExtLCKind Source #
pAKind :: Parser ExtLCKind Source #
pStar :: Parser ExtLCKind Source #
pMKVar :: Parser ExtLCKind Source #