#:
io.github.cakelier.tuples.space.JsonTuple$.#:
final case class #:(h: JsonElement, t: JsonTuple) extends JsonTuple
A non-empty JSON tuple, representing a generic tuple containing at least one element.
This implementation represents a tuple with at least one element, which is built element by element exploiting the "constructor" operator. Because the JSON tuple is a recursively defined data structure, the at-least-one defined element must be the one in its head, while its tail can be a JsonNil, if the tuple contains exactly one element, or another non-empty JSON tuple otherwise. This enables the recursion of this data structure.
Value parameters
- h
-
the head of this non-empty JSON tuple, which is its first element
- t
-
the tail of this non-empty JSON tuple, which contains all the remaining elements in order
Attributes
- Graph
-
- Supertypes
Members list
In this article