TypeInfix¶

An algebraic type expression. - op: & or |.

class val TypeInfix is
  NodeData val

Implements¶

NodeData val

Constructors¶

create¶

[Source]

new val create(
  types': Array[NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val] val,
  op': (NodeWith[Token val] val | None val))
: TypeInfix val^

Parameters¶

types': Array[NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val] val
op': (NodeWith[Token val] val | None val)

Returns¶

TypeInfix val^

Public fields¶

let types: Array[NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val] val¶

[Source]

let op: (NodeWith[Token val] val | None val)¶

[Source]

Public Functions¶

name¶

[Source]

fun box name()
: String val

Returns¶

String val

clone¶

[Source]

fun val clone(
  updates: HashMap[Node val, Node val, HashIs[Node val] val] val)
: NodeData val

Parameters¶

updates: HashMap[Node val, Node val, HashIs[Node val] val] val

Returns¶

NodeData val

add_json_props¶

[Source]

fun box add_json_props(
  node: Node box,
  props: Array[(String val , (Object box | Sequence box | String box | I128 val | F64 val | Bool val | Null val))] ref)
: None val

Parameters¶

node: Node box
props: Array[(String val , (Object box | Sequence box | String box | I128 val | F64 val | Bool val | Null val))] ref

Returns¶

None val