git.iko.soy/rowtype-yoga/purescript-native
on c6e0ff3 help sign in
rowtype-yoga/purescript-native/src/Language/PureScript/TypeChecker
9 files
../ Entailment.hsRemove all use of the Error typeclass (from mtl) Kinds.hsRemove erroneous MonadPlus instance after move to ExceptT. Monad.hsRemove all use of the Error typeclass (from mtl) Rows.hsUse Control.Monad.{Error => Except} where possible Skolems.hsUse Control.Monad.{Error => Except} where possible Subsumption.hsRemove erroneous MonadPlus instance after move to ExceptT. Synonyms.hsRemove all use of the Error typeclass (from mtl) Types.hsRemove erroneous MonadPlus instance after move to ExceptT. Unify.hsRemove erroneous MonadPlus instance after move to ExceptT.