git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Constraints
fe69c1cPhil Freeman
src/Language/PureScript/TypeChecker/Entailment.hs+1−1
compare with golang
unifiedsplit
@@ -47,7 +47,7 @@ import qualified Language.PureScript.Constants as C
47-- return a type class dictionary reference.
47-- return a type class dictionary reference.
48--
48--
49entails :: forall m.
49entails :: forall m.
50− (MonadError MultipleErrors m, MonadWriter MultipleErrors m) =>
50+ (Functor m, Applicative m, MonadError MultipleErrors m, MonadWriter MultipleErrors m) =>
51 ModuleName ->
51 ModuleName ->
52 M.Map (Maybe ModuleName) (M.Map (Qualified ProperName) (M.Map (Qualified Ident) TypeClassDictionaryInScope)) ->
52 M.Map (Maybe ModuleName) (M.Map (Qualified ProperName) (M.Map (Qualified Ident) TypeClassDictionaryInScope)) ->
53 Constraint ->
53 Constraint ->