data-lab

data-lab

Packages

package data
package data.const
package hkd
package tc
package tc.derived

Type members

Classlikes

object Lol
object Main

Types

type Foo[x] = Either[x, String]
type K1[_$1] = Any
type KF[A <: AnyKind, B <: AnyKind] = [_$2 <: A] =>> B

Value members

Methods

def foo[k1 <: AnyKind, k2 <: AnyKind, t <: ([x <: k1] =>> KF[k1, k2][x])]: Unit