Documentation

existsInst :: Class -> [Type] -> VM Bool Source #

lookupInst :: Class -> [Type] -> VM (DFunId, [Type]) Source #

lookupFamInst :: TyCon -> [Type] -> VM FamInstMatch Source #