Documentation

splitTyConApp :: HsType -> P (HsName, [HsType]) Source #

mkRecConstrOrUpdate :: HsExp -> [HsFieldUpdate] -> P HsExp Source #

checkPrec :: Integer -> P Int Source #

checkContext :: HsType -> P HsContext Source #

checkAssertion :: HsType -> P HsAsst Source #

checkDataHeader :: HsQualType -> P (HsContext, HsName, [HsName]) Source #

checkClassHeader :: HsQualType -> P (HsContext, HsName, [HsName]) Source #

checkInstHeader :: HsQualType -> P (HsContext, HsQName, [HsType]) Source #

checkPattern :: HsExp -> P HsPat Source #

checkExpr :: HsExp -> P HsExp Source #

checkValDef :: SrcLoc -> HsExp -> HsRhs -> [HsDecl] -> P HsDecl Source #

checkClassBody :: [HsDecl] -> P [HsDecl] Source #

checkUnQual :: HsQName -> P HsName Source #

checkRevDecls :: [HsDecl] -> P [HsDecl] Source #