ghc-7.10.2: The GHC API

Safe HaskellNone
LanguageHaskell2010

Class

Synopsis

Documentation

data ClassATItem

Constructors

ATI TyCon (Maybe Type) 

defMethSpecOfDefMeth :: DefMeth -> DefMethSpec

Convert a DefMethSpec to a DefMeth, which discards the name field in the DefMeth constructor of the DefMeth.

type FunDep a = ([a], [a])

mkClass :: [TyVar] -> [([TyVar], [TyVar])] -> [PredType] -> [Id] -> [ClassATItem] -> [ClassOpItem] -> ClassMinimalDef -> TyCon -> Class