git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Fix warnings in Control.Monad.Unify
09a500bHarry Garrood
src/Control/Monad/Unify.hs+1−2
compare with golang
unifiedsplit
@@ -24,7 +24,6 @@
24
24
25module Control.Monad.Unify where
25module Control.Monad.Unify where
26
26
27−import Data.Maybe
28import Data.String (IsString)
27import Data.String (IsString)
29import Data.Monoid
28import Data.Monoid
30
29
@@ -89,7 +88,7 @@ defaultUnifyState = UnifyState 0 mempty
89-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
88-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
90--
89--
91newtype UnifyT t m a = UnifyT { unUnify :: (StateT (UnifyState t) m) a }
90newtype UnifyT t m a = UnifyT { unUnify :: (StateT (UnifyState t) m) a }
92− deriving (Functor, Monad, Applicative, MonadPlus)
91+ deriving (Functor, Monad, Applicative, Alternative, MonadPlus)
93
92
94instance (MonadState s m) => MonadState s (UnifyT t m) where
93instance (MonadState s m) => MonadState s (UnifyT t m) where
95 get = UnifyT . lift $ get
94 get = UnifyT . lift $ get