libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Items1

Items1

libretto.lambda.Items1
object Items1

Data types for working with non-empty heterogeneous lists of (unnamed) items of the form

Nil || A1 || ... || An

where || is the separator of items (associates to the left).

Attributes

See also

Items1Named for a list of named items.

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Items1.type

Members list

Type members

Classlikes

object Member

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Member.type
sealed trait Member[||[_, _], Nil, A, As]

Witnesses that A is one of As, where As is of the form Nil || A1 || A2 || ... (where || associates to the left).

Witnesses that A is one of As, where As is of the form Nil || A1 || A2 || ... (where || associates to the left).

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class InInit[||, Nil, A, Init, Z]
class Last[||, Nil, Init, Z]
object Product

Attributes

Companion
trait
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Product.type
sealed trait Product[||[_, _], Nil, F[_], A]

An n-ary tuple of values F[Ai], where A = Nil || A1 || ... || An where || associates to the left.

An n-ary tuple of values F[Ai], where A = Nil || A1 || ... || An where || associates to the left.

Unlike Bin, which is an arbitrarily nested binary tree, the shape of nesting in Items1.Product is prescribed to be always associated to the left and is conceptually used to represent flat n-ary tuples.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Single[||, Nil, F, A]
class Snoc[||, Nil, F, Init, Last]
Generated with