Corey O'Connor:
I recently had a need to use the IsFunction typeclass described by
Oleg here:
http://okmij.org/ftp/Haskell/isFunction.lhs
and am wondering if the use of the TypeCast class can be correctly
replaced by a type equality constraint.
The IsFunction and TypeCast classes were
On Sat, Oct 4, 2008 at 2:58 AM, Corey O'Connor [EMAIL PROTECTED] wrote:
I recently had a need to use the IsFunction typeclass described by Oleg here:
http://okmij.org/ftp/Haskell/isFunction.lhs
and am wondering if the use of the TypeCast class can be correctly
replaced by a type equality
I recently had a need to use the IsFunction typeclass described by Oleg here:
http://okmij.org/ftp/Haskell/isFunction.lhs
and am wondering if the use of the TypeCast class can be correctly
replaced by a type equality constraint.
The IsFunction and TypeCast classes were defined as:
data HTrue