Documentation

tcClassSigs :: Name -> [LSig Name] -> LHsBinds Name -> TcM ([TcMethInfo], NameEnv Type)Source

tcClassDecl2 :: LTyClDecl Name -> TcM (LHsBinds Id)Source

findMethodBind :: Name -> LHsBinds Name -> Maybe ((Origin, LHsBind Name), SrcSpan)Source

instantiateMethod :: Class -> Id -> [TcType] -> TcTypeSource

tcInstanceMethodBody :: SkolemInfo -> [TcTyVar] -> [EvVar] -> Id -> TcSigInfo -> TcSpecPrags -> (Origin, LHsBind Name) -> TcM (Origin, LHsBind Id)Source

tcClassMinimalDef :: Name -> [LSig Name] -> [TcMethInfo] -> TcM ClassMinimalDefSource

type HsSigFun = NameEnv (LHsType Name)Source

mkHsSigFun :: [LSig Name] -> HsSigFunSource

lookupHsSig :: HsSigFun -> Name -> Maybe (LHsType Name)Source

emptyHsSigs :: HsSigFunSource

tcMkDeclCtxt :: TyClDecl Name -> SDocSource

tcAddDeclCtxt :: TyClDecl Name -> TcM a -> TcM aSource

badMethodErr :: Outputable a => a -> Name -> SDocSource