shithub: MicroHs

ref: 24e80ae9a4bfea0c43a594af91819e8052fa6423
dir: /lib/Control/Monad/ST.hs/

View raw version 
module Control.Monad.ST(
  ST,
  runST,
  ) where
import Prelude(); import MiniPrelude
import Primitives(primPerformIO)
import Control.Monad.ST_Type

runST :: forall a . (forall s . ST s a) -> a
runST (ST ioa) = primPerformIO ioa

instance forall s . Functor (ST s) where
  fmap f (ST x) = ST (fmap f x)

instance forall s . Applicative (ST s) where
  pure x = ST (pure x)
  ST x <*> ST y = ST (x <*> y)

instance forall s . Monad (ST s) where
  ST x >>= f = ST (x >>= (unST . f))