Curry

Curry and uncurry a function.

Signature of Curry

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Curry[arg1,arg2,res]

$Date: 2011-01-04T14:44:45.667619Z $ ($Revision: 8623 $)

SORT arg1 arg2 res

curry(f)(x)(y) = f(x,y) for all x,y.

FUN curry: (arg1 ** arg2 -> res) -> arg1 -> arg2 -> res

uncurry(f)(x,y) = f(x)(y) for all x,y.

FUN uncurry: (arg1 -> arg2 -> res) -> (arg1 ** arg2 -> res)

The following identity holds: curry o uncurry = uncurry o curry = id.

next node: Dotfix,
prev node: Control,
up to node: Subsystem General