TcClassDcl

ghc-7.10.3: The GHC API

Safe Haskell | None
Language | Haskell2010

TcClassDcl

# Documentation

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

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

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

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

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

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

type HsSigFun = NameEnv (LHsType Name)

mkHsSigFun :: [LSig Name] -> HsSigFun

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

emptyHsSigs :: HsSigFun

tcMkDeclCtxt :: TyClDecl Name -> SDoc

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

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