23 Mar
2007
23 Mar
'07
6:46 p.m.
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