• Top

• Statements

Asgop

Fixtype of Leo assignment operators.

This is a tagged union type, introduced by fty::deftagsum.

Member Tags → Types

:asg → asgop-asg

:asg-add → asgop-asg-add

:asg-sub → asgop-asg-sub

:asg-mul → asgop-asg-mul

:asg-div → asgop-asg-div

:asg-rem → asgop-asg-rem

:asg-pow → asgop-asg-pow

:asg-shl → asgop-asg-shl

:asg-shr → asgop-asg-shr

:asg-bitand → asgop-asg-bitand

:asg-bitior → asgop-asg-bitior

:asg-bitxor → asgop-asg-bitxor

:asg-and → asgop-asg-and

:asg-or → asgop-asg-or

These consist of a simple assignment (i.e. =) and 13 compound assignments such as +=.

We formalize these assignment operators separately from the binary operators formalized by binop because they appear in Leo statements, not in Leo expressions. Thus, it is more convenient to have a separate syntactic category.

Subtopics

Asgop-case

Case macro for the different kinds of asgop structures.

Asgop-fix

Fixing function for asgop structures.

Asgopp

Recognizer for asgop structures.

Asgop-equiv

Basic equivalence relation for asgop structures.

Asgop-kind

Get the kind (tag) of a asgop structure.

Asgop-asg-sub

Asgop-asg-shr

Asgop-asg-shl

Asgop-asg-rem

Asgop-asg-pow

Asgop-asg-or

Asgop-asg-mul

Asgop-asg-div

Asgop-asg-bitxor

Asgop-asg-bitior

Asgop-asg-bitand

Asgop-asg-and

Asgop-asg-add

Asgop-asg