Changeset 15096 for src/Pugs/Val

Timestamp:

01/19/07 17:41:44 (22 months ago)

Author:

audreyt

Message:

* Pugs.Val: Make ICoercible a superclass of Boxable, and

introduce PureStr? (Str in userland) as the first MO'ed class.

Files:

• src/Pugs/Val/Base.hs (modified) (6 diffs)

src/Pugs/Val/Base.hs

@@ -1 @@
-{-# OPTIONS_GHC -fglasgow-exts -fallow-overlapping-instances -funbox-strict-fields #-}
+{-# OPTIONS_GHC -fglasgow-exts -fallow-overlapping-instances -funbox-strict-fields -fallow-undecidable-instances #-}
 
 module Pugs.Val.Base where
@@ -6 +6 @@
 
 import Pugs.Internals
+import Pugs.Class
 import {-# SOURCE #-} Pugs.Val
 
@@ -33 +34 @@
     asNative :: a -> m ValNative
     asNative = fmap (NBuf . cast) . asStr
+    classOf :: a -> MI m
+    fromObj :: Invocant m -> m a
 
 type PureList       = Seq Val -- Seq (Either PureSeq PureRange) -- XXX - *very bogus*
@@ -107 +110 @@
 -- PureStr
 
-newtype PureStr = MkStr ByteString deriving
+newtype PureStr = MkStr { unStr :: ByteString } deriving
     ( Typeable, Show, Eq, Ord, Data
     , (:>:) ID, (:<:) ID
@@ -117 +120 @@
 parseInt (MkStr s) = maybe 0 fst (Char8.readInt s)
 
+instance (Typeable1 m, Ord a, ICoercible m a) => Boxable m a where
+    fromObjBox = fromObj
+    classOfBox = classOf
+
 instance ICoercible P PureStr where
     asBit (MkStr s)
@@ -124 +131 @@
     asNum = cast . parseInt -- XXX - wrong
     asInt = cast . parseInt
+    fromObj (MkInvocant x _) = undefined
+    classOf _ = mkBoxClass "Str"
+        [ "reverse"    ... (MkStr . Char8.reverse . unStr)
+        ]