TypeArrow¶

A top-level type (possibly with an arrow).

class val TypeArrow is
  NodeData val

Implements¶

NodeData val

Constructors¶

create¶

[Source]

new val create(
  lhs': Node val,
  rhs': (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val))
: TypeArrow val^

Parameters¶

lhs': Node val
rhs': (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val)

Returns¶

TypeArrow val^

Public fields¶

let lhs: Node val¶

[Source]

let rhs: (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda 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