Skip to content

TypeLambda

[Source]

The type of a lambda function.

class val TypeLambda is
  NodeData val

Implements


Constructors

create

[Source]

new val create(
  bare': Bool val,
  cap': (NodeWith[Keyword val] val | None val),
  identifier': (NodeWith[Identifier val] val | None val),
  type_params': (NodeWith[TypeParams val] val | None val),
  param_types': Array[NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val] val,
  return_type': (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val),
  partial': Bool val,
  rcap': (NodeWith[Keyword val] val | None val),
  reph': (NodeWith[Token val] val | None val))
: TypeLambda val^

Parameters

Returns


Public fields

let bare: Bool val

[Source]


let cap: (NodeWith[Keyword val] val | None val)

[Source]


let identifier: (NodeWith[Identifier val] val | None val)

[Source]


let type_params: (NodeWith[TypeParams val] val | None val)

[Source]


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

[Source]


let return_type: (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val)

[Source]


let partial: Bool val

[Source]


let rcap: (NodeWith[Keyword val] val | None val)

[Source]


let reph: (NodeWith[Token val] val | None val)

[Source]


Public Functions

name

[Source]

fun box name()
: String val

Returns


clone

[Source]

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

Parameters

Returns


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

Returns