Documentation

tcInferPatSynDecl :: PatSynBind Name Name -> TcM (LHsBinds Id, TcGblEnv) #

tcCheckPatSynDecl :: PatSynBind Name Name -> TcPatSynInfo -> TcM (LHsBinds Id, TcGblEnv) #

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

tcPatSynBuilderOcc :: PatSyn -> TcM (HsExpr TcId, TcSigmaType) #

nonBidirectionalErr :: Outputable name => name -> TcM a #