PathEncoder

org.sigilaris.core.application.support.encoding.PathEncoder
See thePathEncoder companion trait
object PathEncoder

Companion for PathEncoder, providing derivation instances for empty and non-empty paths.

Attributes

Companion
trait
Source
PathEncoding.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Members list

Type members

Classlikes

object empty extends PathEncoder[EmptyTuple]

Base case: empty path encodes to length header (0) only.

Base case: empty path encodes to length header (0) only.

Attributes

Source
PathEncoding.scala
Supertypes
trait PathEncoder[EmptyTuple]
class Object
trait Matchable
class Any
Self type
empty.type

Givens

Givens

given cons[H <: String, T <: Tuple](using collector: SegmentCollector[H *: T]): cons[H, T]

Inductive case: encode with path-level length header.

Inductive case: encode with path-level length header.

Attributes

Source
PathEncoding.scala
given empty: empty

Base case: empty path encodes to length header (0) only.

Base case: empty path encodes to length header (0) only.

Attributes

Source
PathEncoding.scala