sjson new core/sjsonnew/At

At

object At
Companion
class
class Object
trait Matchable
class Any

Type members

Types

type Aux[L <: LList, N <: Nat, Out0] = At[L, N] { type Out = Out0; }

Implicits

Implicits

implicit
def at0[H, T <: LList]: Aux[LCons[H, T], _0, H]
implicit
def atN[H, T <: LList, N <: Nat, AtOut](implicit att: Aux[T, N, AtOut]): Aux[LCons[H, T], Succ[N], AtOut]