tc

package tc

Type members

Classlikes

trait AppTraverse[F <: ([_$17] =>> Any)] extends Traverse[F] with Applicative[F]
trait Applicative[F <: ([_$10] =>> Any)] extends Apply[F] with Pure[F]
trait ApplicativeK[U <: ([f <: ([_$12] =>> Any)] =>> Any)] extends ApplyK[U] with PureK[U]
trait Apply[F <: ([_$9] =>> Any)] extends Functor[F]
trait ApplyK[U <: ([f <: ([_$6] =>> Any)] =>> Any)] extends FunctorK[U]
trait ConstraintK[F <: ([_$1] =>> Any), TC <: ([_$2] =>> Any)]
Companion
object
object ConstraintK
Companion
class
trait Craft[U <: ([f <: ([_$29] =>> Any)] =>> Any)] extends RepresentableK[U] with TraversableK[U]
Companion
object
object Craft
Companion
class
trait Functor[F <: ([_$1] =>> Any)]
Companion
object
object Functor
Companion
class
trait FunctorK[U <: ([f <: ([_$3] =>> Any)] =>> Any)]
trait InstancePack[TC <: ([_$6] =>> Any)]
Companion
object
object InstancePack
Companion
class
trait Pure[F <: ([_$7] =>> Any)]
trait PureK[U <: ([f <: ([_$10] =>> Any)] =>> Any)]
trait RepresentableK[U <: ([f <: ([_$15] =>> Any)] =>> Any)] extends ApplicativeK[U]
Companion
object
Companion
class
trait TraversableK[U <: ([f <: ([_$22] =>> Any)] =>> Any)] extends FunctorK[U]
trait Traverse[T <: ([_$14] =>> Any)] extends Functor[T]

Types

type EqK[F <: ([_$4] =>> Any)] = ConstraintK[F, Eq]
type Identity[+A] = A
type Name[A] = String
type Names[Data <: ([f <: ([_$3] =>> Any)] =>> Any)] = Data[Name]
type OrderK[F <: ([_$5] =>> Any)] = ConstraintK[F, Order]
type Provided[Data <: ([f <: ([_$1] =>> Any)] =>> Any), TC <: ([_$2] =>> Any)] = Data[TC]
type Rep[-U <: ([f <: ([_$1] =>> Any)] =>> Any), A] = [F <: ([_$2] =>> Any)] => (x$1: U[F]) => F[A]
type ShowK[F <: ([_$3] =>> Any)] = ConstraintK[F, [T] =>> Show[T]]

Value members

Methods

inline def names[Data <: ([f <: ([_$4] =>> Any)] =>> Any)](using p: ProductOf[Data[Name]]): MirroredMonoType
inline def provision[P](using p: ProductOf[P]): P
def pure[F <: ([_$8] =>> Any), A](a: A)(using F: Pure[F]): F[A]