Documentation

tcInferPatSynDecl :: PatSynBind Name Name -> TcM (PatSyn, LHsBinds Id) Source

tcCheckPatSynDecl :: PatSynBind Name Name -> TcPatSynInfo -> TcM (PatSyn, LHsBinds Id) Source

tcPatSynBuilderBind :: PatSynBind Name Name -> TcM (LHsBinds Id) Source

tcPatSynBuilderOcc :: CtOrigin -> PatSyn -> TcM (HsExpr TcId, TcRhoType) Source