Cast uses unsafeCoerce. but well, it´s more elegant ;)
2009/12/26 Miguel Mitrofanov
On 26 Dec 2009, at 12:45, Alberto G. Corona wrote:
You can also make use of Typeable and unsafeCoerce (Data.Dynamic style)
data Bar = forall a. (BarLike a, Typeable a) => Bar a
unwrapBar :: Bar -> a unwrapBar (Bar x) = case typeof x== typeof a of True -> unsafeCoerce x False -> error $ "casting error for type: "++ typeOf a
That's gross. Don't use unsafe functions unless you really need one.
data Bar = forall a. (BarLike a, Typeable a) => Bar a unwrapBar :: Typeable a => Bar -> a unwrapBar (Bar x) = fromMaybe (error $ "casting error for type: " ++ show (typeOf x)) $ cast x
2009/12/26 Miguel Mitrofanov
On 26 Dec 2009, at 11:58, haskell@kudling.de wrote:
class BarLike a where doSomething :: a -> Double
data Bar = forall a. BarLike a => Bar a
unwrapBar :: Bar -> a unwrapBar (Bar x) = x
How can i deconstruct the enclosed value of type a?
You can't write a function with a type that mentions existentially quantified "a". Period.
But you can deconstruct the enclosed value temporarily:
getSomething :: Bar -> Double getSomething b = case b of Bar a -> doSomething a
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe