libretto.lambda.Spine
See theSpine companion object
Nested tuples with a hole.
For example, a structure
(G[A], (G[B], (◯, G[C])))
where ◯ is the hole, can be represented as
Spine[**, G, F]
where F[X] = A ** (B ** (X ** C))
Like Focus, a Spine
defines a path into a tupled structure, but Spine
also contains data along the path.
Type parameters
- **
-
the tuple type constructor
- F
-
context of the hole
- G
-
tuple elements ("garnish" hanging from the spine)
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
class Objecttrait Matchableclass Any
- Known subtypes
Members list
In this article