On Fri, Mar 23, 2007 at 02:18:50PM +0100, Martin Huschenbett wrote:
>
> -- The type I want to get.
> readValue' :: Field -> (forall s. SqlBind s => Maybe s) -> Value
>
> -- First trial:
> readValue' fld s =
> if isJust s then readValue fld (fromJust s) else emptyValue fld
Is there a reason you don't want this?:
readValue' :: Field -> Maybe (forall s. SqlBind s => s) -> Value
readValue' fld s =
if isJust s then readValue fld (fromJust s) else emptyValue fld
Thanks
Ian
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
