Intensional.FromCore
freshCoreType :: Type -> InferM Type Source #
freshCoreScheme :: Type -> InferM Scheme Source #
fromCoreCons :: DataCon -> InferM Scheme Source #
consInstArgs :: RVar -> [Type] -> DataCon -> InferM [Type] Source #
getVar :: Var -> InferM Scheme Source #