LambdaCube.SystemF.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 #
pUniv :: Parser ExtLCType Source #
pArr :: Parser ExtLCType Source #
pAType :: Parser ExtLCType Source #
pBase :: Parser ExtLCType Source #
pTVar :: Parser ExtLCType Source #
pMTVar :: Parser ExtLCType Source #