Dotfix

Postfix application of a function with dot-notation

Signature of Dotfix

List of Import References :
See BOOL
See DENOTATION

SIGNATURE Dotfix[arg,res]

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

SORT arg res

x . f = f(x) for all x.

FUN . : arg ** (arg -> res) -> res

next node: Flip,
prev node: Curry,
up to node: Subsystem General