Skip to content

TypeParam

[Source]

class val TypeParam is
  NodeData val

Implements


Constructors

create

[Source]

new val create(
  identifier': (NodeWith[Identifier val] val | None val),
  constraint': (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val),
  initializer': (NodeWith[(TypeArrow val | TypeAtom val | TypeTuple val | TypeInfix val | TypeNominal val | TypeLambda val)] val | None val))
: TypeParam val^

Parameters

Returns


Public fields

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

[Source]


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

[Source]


let initializer: (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


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