Standard operators

Version: 1.5#118 (2000/4/19, 18:13:43 CEST)

Version of last change: 0.9#7 (1999/3/17, 17:29:23 MET)

Standard operators are defined by this predicate:

standard_ops :-
        op(1200,xfx,[:-]),
        op(1200,fx,[:-,?-]),
        op(1100,xfy,[;]),
        op(1050,xfy,[->]),
        op(1000,xfy,[',']),
        op(950,xfy,[@&,\@&]),
        op(950,xf,[@&]),
        op(900,fy,[\+]),
        op(700,xfx,[=,\=,==,\==,@<,@>,@=<,@>=,=..,is,=:=,=\=,<,=<,>,>=]),
        op(550,xfx,[:]),
        op(500,yfx,[+,-,/\,\/,#]),
        op(500,fy,[++,--]),
        op(400,yfx,[*,/,//,rem,mod,<<,>>]),
        op(200,fy,[+,-,\]),
        op(200,xfx,[**]),
        op(200,xfy,[^]),
        op(200,xfy,[`]),
        op(25,fy,[^]).

• Usage and interface (operators)
• Documentation on exports (operators)

Usage and interface (operators)

Documentation on exports (operators)

PREDICATE: op/3:

Usage: op(+Precedence,+Type,+Name)

• Description: Declares the atom Name to be an operator of the stated Type and Precedence. Name may also be a list of atoms in which case all of them are declared to be operators. If Precedence is 0 then the operator properties of Name (if any) are cancelled.
• The following properties hold globally: Documentation is still incomplete: op(+Precedence,+Type,+Name) may not conform the functionality documented. (doc_props:doc_incomplete/1)

PREDICATE: current_op/3:

Usage: current_op(?(Precedence),?(Type),?(Op))

• Description: The atom Op is currently an operator of type Type and precedence Precedence. Neither Op nor the other arguments need be instantiated at the time of the call; i.e., this predicate can be used to generate as well as to test.
• The following properties hold globally: Documentation is still incomplete: current_op(?(Precedence),?(Type),?(Op)) may not conform the functionality documented. (doc_props:doc_incomplete/1)

PREDICATE: current_prefixop/3:

No further documentation available for this predicate.

PREDICATE: current_infixop/4:

No further documentation available for this predicate.

PREDICATE: current_postfixop/3:

No further documentation available for this predicate.

Go to the first, previous, next, last section, table of contents.