shithub: MicroHs

Info  •  Files  •  Log  •  Branches

Add sequence

--- a/lib/Control/Monad/State/Strict.hs

+++ b/lib/Control/Monad/State/Strict.hs

@@ -72,3 +72,6 @@

 when :: forall s . Bool -> State s () -> State s ()

 when True  s = s

 when False _ = Control.Monad.State.Strict.return ()

+

+sequence :: forall s a . [State s a] -> State s [a]

+sequence = Control.Monad.State.Strict.mapM id

-- 

⑨