From 748ebf79f2e1ec73370b7beb70ad8d9376e0dcdc Mon Sep 17 00:00:00 2001
From: sof <unknown>
Date: Fri, 20 Mar 1998 09:42:34 +0000
Subject: [PATCH] [project @ 1998-03-20 09:42:30 by sof] Add Functor instances

---
 ghc/lib/exts/LazyST.lhs |    8 ++++++++
 ghc/lib/std/PrelST.lhs  |    5 +++++
 2 files changed, 13 insertions(+)

diff --git a/ghc/lib/exts/LazyST.lhs b/ghc/lib/exts/LazyST.lhs
index 1d9cf60..29c7814 100644
--- a/ghc/lib/exts/LazyST.lhs
+++ b/ghc/lib/exts/LazyST.lhs
@@ -39,6 +39,14 @@ import PrelGHC
 
 newtype ST s a = ST (PrelST.State s -> (a,PrelST.State s))
 
+instance Functor (ST s) where
+    map f m = ST $ \ s ->
+      let 
+       ST m_a = m
+       (r,new_s) = m_a s
+      in
+      (f r,new_s)
+
 instance Monad (ST s) where
 
         return a = ST $ \ s -> (a,s)
diff --git a/ghc/lib/std/PrelST.lhs b/ghc/lib/std/PrelST.lhs
index b3b5411..8513a6a 100644
--- a/ghc/lib/std/PrelST.lhs
+++ b/ghc/lib/std/PrelST.lhs
@@ -27,6 +27,11 @@ newtype ST s a = ST (State# s -> STret s a)
 
 data STret s a = STret (State# s) a
 
+instance Functor (ST s) where
+    map f (ST m) = ST $ \ s ->
+      case (m s) of { STret new_s r ->
+      STret new_s (f r) }
+
 instance Monad (ST s) where
     {-# INLINE return #-}
     {-# INLINE (>>)   #-}
-- 
1.7.10.4