Documentation

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

mkRecConstrOrUpdate :: HsExp -> [HsFieldUpdate] -> P HsExpSource

checkPrec :: Integer -> P IntSource

checkContext :: HsType -> P HsContextSource

checkAssertion :: HsType -> P HsAsstSource

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

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

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

checkPattern :: HsExp -> P HsPatSource

checkExpr :: HsExp -> P HsExpSource

checkValDef :: SrcLoc -> HsExp -> HsRhs -> [HsDecl] -> P HsDeclSource

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

checkUnQual :: HsQName -> P HsNameSource

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