git.iko.soy/rowtype-yoga/purescript-native
on golang help sign in
Derive Alternative for the type checking monad.
cabaa80Sebastiaan Visser
src/Language/PureScript/TypeChecker/Monad.hs+1−1
compare with golang
unifiedsplit
@@ -136,7 +136,7 @@ data CheckState = CheckState {
136-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
136-- The type checking monad, which provides the state of the type checker, and error reporting capabilities
137--
137--
138newtype Check a = Check { unCheck :: StateT CheckState (Either ErrorStack) a }
138newtype Check a = Check { unCheck :: StateT CheckState (Either ErrorStack) a }
139− deriving (Functor, Monad, Applicative, MonadPlus, MonadState CheckState, MonadError ErrorStack)
139+ deriving (Functor, Monad, Applicative, Alternative, MonadPlus, MonadState CheckState, MonadError ErrorStack)
140
140
141-- |
141-- |
142-- Get the current @Environment@
142-- Get the current @Environment@