On Jan 4, 2008 5:52 PM, Peter Verswyvelen <[EMAIL PROTECTED]> wrote:
> > It's already possible to write
> > asTypeOf ::
> > a {- ^ the input value to be passed through -}
> > -> a {- ^ the value is ignored, but the type is unified with the first
> parameter -}
> > -> a {- ^ the value of the first parameter -}
>
> Nice. Still using "first parameter" though ;-)
-- | Pass through the input value but forces unification
-- of its type with the type of the other argument.
asTypeOf :: a -- ^ The input value to be passed through.
-> a -- ^ The other value whose type will be unified.
-> a -- ^ The input value.
asTypeOf = const
--
Felipe.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
