Monadic Operator

The diagrams below draw one box per node kind, with one port per field. The edge colours say how a link is held; they are listed in full on the Fields page.

digraph { rankdir="LR" nodesep=0.1 node [shape=point width=0.06 color="#888a85"] edge [fontname="monospace" fontsize=10 minlen=3] l0a -> l0b [label="owned" color="#000000"] l1a -> l1b [label="ref" color="#3465a4" style=dashed] l2a -> l2b [label="maybe ref" color="#3465a4" style=dotted] l3a -> l3b [label="of ref" color="#3465a4" style=dashed] l4a -> l4b [label="of maybe ref" color="#3465a4" style=dotted] l5a -> l5b [label="forward ref" color="#f57900" style=dashed] l6a -> l6b [label="maybe forward ref" color="#f57900" style=dotted] l7a -> l7b [label="chain" color="#4e9a06"] l8a -> l8b [label="chain next" color="#4e9a06" style=bold] }

Iir_Kind_Identity_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Identity_Operator" [style=filled fillcolor="#eeeeec" label="{Identity_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Identity_Operator__Type" [shape=box label="Iir"] "Identity_Operator":Type -> "Identity_Operator__Type" [color="#3465a4" style=dashed] "Identity_Operator__Operand" [shape=box label="Iir"] "Identity_Operator":Operand -> "Identity_Operator__Operand" [color="#000000"] "Identity_Operator__Implementation" [shape=box label="Iir"] "Identity_Operator":Implementation -> "Identity_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Negation_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Negation_Operator" [style=filled fillcolor="#eeeeec" label="{Negation_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Negation_Operator__Type" [shape=box label="Iir"] "Negation_Operator":Type -> "Negation_Operator__Type" [color="#3465a4" style=dashed] "Negation_Operator__Operand" [shape=box label="Iir"] "Negation_Operator":Operand -> "Negation_Operator__Operand" [color="#000000"] "Negation_Operator__Implementation" [shape=box label="Iir"] "Negation_Operator":Implementation -> "Negation_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Absolute_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Absolute_Operator" [style=filled fillcolor="#eeeeec" label="{Absolute_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Absolute_Operator__Type" [shape=box label="Iir"] "Absolute_Operator":Type -> "Absolute_Operator__Type" [color="#3465a4" style=dashed] "Absolute_Operator__Operand" [shape=box label="Iir"] "Absolute_Operator":Operand -> "Absolute_Operator__Operand" [color="#000000"] "Absolute_Operator__Implementation" [shape=box label="Iir"] "Absolute_Operator":Implementation -> "Absolute_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Not_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Not_Operator" [style=filled fillcolor="#eeeeec" label="{Not_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Not_Operator__Type" [shape=box label="Iir"] "Not_Operator":Type -> "Not_Operator__Type" [color="#3465a4" style=dashed] "Not_Operator__Operand" [shape=box label="Iir"] "Not_Operator":Operand -> "Not_Operator__Operand" [color="#000000"] "Not_Operator__Implementation" [shape=box label="Iir"] "Not_Operator":Implementation -> "Not_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Implicit_Condition_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Implicit_Condition_Operator" [style=filled fillcolor="#eeeeec" label="{Implicit_Condition_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Implicit_Condition_Operator__Type" [shape=box label="Iir"] "Implicit_Condition_Operator":Type -> "Implicit_Condition_Operator__Type" [color="#3465a4" style=dashed] "Implicit_Condition_Operator__Operand" [shape=box label="Iir"] "Implicit_Condition_Operator":Operand -> "Implicit_Condition_Operator__Operand" [color="#000000"] "Implicit_Condition_Operator__Implementation" [shape=box label="Iir"] "Implicit_Condition_Operator":Implementation -> "Implicit_Condition_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Condition_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Condition_Operator" [style=filled fillcolor="#eeeeec" label="{Condition_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Condition_Operator__Type" [shape=box label="Iir"] "Condition_Operator":Type -> "Condition_Operator__Type" [color="#3465a4" style=dashed] "Condition_Operator__Operand" [shape=box label="Iir"] "Condition_Operator":Operand -> "Condition_Operator__Operand" [color="#000000"] "Condition_Operator__Implementation" [shape=box label="Iir"] "Condition_Operator":Implementation -> "Condition_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_And_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_And_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_And_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_And_Operator__Type" [shape=box label="Iir"] "Reduction_And_Operator":Type -> "Reduction_And_Operator__Type" [color="#3465a4" style=dashed] "Reduction_And_Operator__Operand" [shape=box label="Iir"] "Reduction_And_Operator":Operand -> "Reduction_And_Operator__Operand" [color="#000000"] "Reduction_And_Operator__Implementation" [shape=box label="Iir"] "Reduction_And_Operator":Implementation -> "Reduction_And_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_Or_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_Or_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Or_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_Or_Operator__Type" [shape=box label="Iir"] "Reduction_Or_Operator":Type -> "Reduction_Or_Operator__Type" [color="#3465a4" style=dashed] "Reduction_Or_Operator__Operand" [shape=box label="Iir"] "Reduction_Or_Operator":Operand -> "Reduction_Or_Operator__Operand" [color="#000000"] "Reduction_Or_Operator__Implementation" [shape=box label="Iir"] "Reduction_Or_Operator":Implementation -> "Reduction_Or_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_Nand_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_Nand_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Nand_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_Nand_Operator__Type" [shape=box label="Iir"] "Reduction_Nand_Operator":Type -> "Reduction_Nand_Operator__Type" [color="#3465a4" style=dashed] "Reduction_Nand_Operator__Operand" [shape=box label="Iir"] "Reduction_Nand_Operator":Operand -> "Reduction_Nand_Operator__Operand" [color="#000000"] "Reduction_Nand_Operator__Implementation" [shape=box label="Iir"] "Reduction_Nand_Operator":Implementation -> "Reduction_Nand_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_Nor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_Nor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Nor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_Nor_Operator__Type" [shape=box label="Iir"] "Reduction_Nor_Operator":Type -> "Reduction_Nor_Operator__Type" [color="#3465a4" style=dashed] "Reduction_Nor_Operator__Operand" [shape=box label="Iir"] "Reduction_Nor_Operator":Operand -> "Reduction_Nor_Operator__Operand" [color="#000000"] "Reduction_Nor_Operator__Implementation" [shape=box label="Iir"] "Reduction_Nor_Operator":Implementation -> "Reduction_Nor_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_Xor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_Xor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Xor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_Xor_Operator__Type" [shape=box label="Iir"] "Reduction_Xor_Operator":Type -> "Reduction_Xor_Operator__Type" [color="#3465a4" style=dashed] "Reduction_Xor_Operator__Operand" [shape=box label="Iir"] "Reduction_Xor_Operator":Operand -> "Reduction_Xor_Operator__Operand" [color="#000000"] "Reduction_Xor_Operator__Implementation" [shape=box label="Iir"] "Reduction_Xor_Operator":Implementation -> "Reduction_Xor_Operator__Implementation" [color="#3465a4" style=dashed] }

Iir_Kind_Reduction_Xnor_Operator

Format: Short

Accessor

Field

Type

Access

Description

Type

Field1

Iir

ref

Operand

Field2

Iir

owned

Operand of a monadic operator.

Implementation

Field3

Iir

ref

Function declaration corresponding to the function to call.

Expr_Staticness

State1

Iir_Staticness

owned

Expr_staticness is defined by LRM93 7.4

digraph { rankdir="LR" node [shape=record fontname="monospace" fontsize=10] edge [fontname="monospace" fontsize=9] "Reduction_Xnor_Operator" [style=filled fillcolor="#eeeeec" label="{Reduction_Xnor_Operator|{<Type> Type|<Operand> Operand|<Implementation> Implementation|<Expr_Staticness> Expr_Staticness}}"] "Reduction_Xnor_Operator__Type" [shape=box label="Iir"] "Reduction_Xnor_Operator":Type -> "Reduction_Xnor_Operator__Type" [color="#3465a4" style=dashed] "Reduction_Xnor_Operator__Operand" [shape=box label="Iir"] "Reduction_Xnor_Operator":Operand -> "Reduction_Xnor_Operator__Operand" [color="#000000"] "Reduction_Xnor_Operator__Implementation" [shape=box label="Iir"] "Reduction_Xnor_Operator":Implementation -> "Reduction_Xnor_Operator__Implementation" [color="#3465a4" style=dashed] }