Списки[A: A]

[Источник]

Примитив, содержащий вспомогательные функции для построения и проверки списков.

primitive val Lists[A: A]

Конструкторы

create

[Источник]

new val create()
: Lists[A] val^

Возвращает

• Списки[A] знач^

Публичные функции

empty

[Источник]

Возвращает пустой список.

fun box empty()
: (Cons[A] val | Nil[A] val)

Возвращает

• (Cons[A] знач | Nil[A] знач)

cons

[Источник]

Возвращает список, у которого h — это головной элемент, а t — хвостовая часть.

fun box cons(
  h: val->A,
  t: (Cons[A] val | Nil[A] val))
: (Cons[A] val | Nil[A] val)

Параметры

• h: знач->A
• t: (Cons[A] знач | Nil[A] знач)

Возвращает

• (Cons[A] знач | Nil[A] знач)

apply

[Источник]

Создаёт новый список из массива.

fun box apply(
  arr: Array[val->A] ref)
: (Cons[A] val | Nil[A] val)

Параметры

• arr: Массив[знач->A] ссылка

Возвращает

• (Cons[A] знач | Nil[A] знач)

from

[Источник]

Создаёт новый список из итератора.

fun box from(
  iter: Iterator[val->A] ref)
: (Cons[A] val | Nil[A] val)

Параметры

• iter: Итератор[знач->A] ссылка

Возвращает

• (Cons[A] знач | Nil[A] знач)

eq[необязательный T: Equatable[T] знач]

[Источник]

Проверяет, равны ли два списка.

fun box eq[optional T: Equatable[T] val](
  l1: (Cons[T] val | Nil[T] val),
  l2: (Cons[T] val | Nil[T] val))
: Bool val ?

Параметры

• l1: (Cons[T] знач | Nil[T] знач)
• l2: (Cons[T] знач | Nil[T] знач)

Возвращает

• Булево знач ?

ne

[Источник]

fun box ne(
  that: Lists[A] val)
: Bool val

Параметры

• that: Списки[A] знач

Возвращает

• Булево знач