TypeLambda¶
The type of a lambda function.
Implements¶
- NodeData val
Constructors¶
create¶
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¶
- 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)
Returns¶
- TypeLambda val^
Public fields¶
let bare: Bool val¶
let cap: (NodeWith[Keyword val] val | None val)¶
let identifier: (NodeWith[Identifier val] val | None val)¶
let type_params: (NodeWith[TypeParams val] val | None val)¶
let param_types: Array[NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val] val¶
let return_type: (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val)¶
let partial: Bool val¶
let rcap: (NodeWith[Keyword val] val | None val)¶
let reph: (NodeWith[Token val] val | None val)¶
Public Functions¶
name¶
Returns¶
- String val
clone¶
Parameters¶
Returns¶
- NodeData val
add_json_props¶
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