Lifting
trait Lifting
Type members
Classlikes
class Func3ToJSON[A, B, C, R](z: (A, B, C) => R)(`evidence$4`: JSONR[A], `evidence$5`: JSONR[B], `evidence$6`: JSONR[C])
class Func4ToJSON[A, B, C, D, R](z: (A, B, C, D) => R)(`evidence$7`: JSONR[A], `evidence$8`: JSONR[B], `evidence$9`: JSONR[C], `evidence$10`: JSONR[D])
class Func5ToJSON[A, B, C, D, E, R](z: (A, B, C, D, E) => R)(`evidence$11`: JSONR[A], `evidence$12`: JSONR[B], `evidence$13`: JSONR[C], `evidence$14`: JSONR[D], `evidence$15`: JSONR[E])
class Func6ToJSON[A, B, C, D, E, F, R](z: (A, B, C, D, E, F) => R)(`evidence$16`: JSONR[A], `evidence$17`: JSONR[B], `evidence$18`: JSONR[C], `evidence$19`: JSONR[D], `evidence$20`: JSONR[E], `evidence$21`: JSONR[F])