Lists[A: A]¶

A primitive containing helper functions for constructing and testing Lists.

primitive val Lists[A: A]

Constructors¶

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

Returns an empty list.

fun box empty()
: List[A]

Returns a list that has h as a head and t as a tail.

fun box cons(
  h: val->A,
  t: List[A])
: List[A]

Builds a new list from an Array

fun box apply(
  arr: Array[val->A] ref)
: List[A]

Builds a new list from an iterator

fun box from(
  iter: Iterator[val->A] ref)
: List[A]

Checks whether two lists are equal.

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

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