Collections/sbt.internal.util/Types

Types

object Types extends TypeFunctions
class Object
trait Matchable
class Any
Types.type

Type members

Inherited classlikes

sealed trait ∙[A[_], B[_]]
Inherited from:
TypeFunctions

Inherited types

type Compose[F1[_], F2[_]] = [a] =>> F1[F2[a]]
Inherited from:
TypeFunctions
type Id[X] = X
Inherited from:
TypeFunctions
type NothingK[X] = Nothing
Inherited from:
TypeFunctions
type SplitK[K1[F1[_]], F2[_]] = [f[_]] =>> K1[Compose[f, F2]]

Example: calling SplitK[K1, Task] returns the type lambda F[a] => K1[F[Task[a]].

Example: calling SplitK[K1, Task] returns the type lambda F[a] => K1[F[Task[a]].

Inherited from:
TypeFunctions
type ~>|[F1[_], F2[_]] = [A] => (x$1: F1[A]) => Option[F2[A]]
Inherited from:
TypeFunctions

Value members

Inherited methods

final def const[A, B](b: B): A => B
Inherited from:
TypeFunctions
final def idFun[A]: A => A
Inherited from:
TypeFunctions
final def idK[F[_]]: [a] => (x$1: F[a]) => F[a]
Inherited from:
TypeFunctions
inline def nestCon[F1[_], F2[_], F3[_]](f: [a] => (x$1: F1[a]) => F2[a]): [a] => (x$1: Compose[F1, F3][a]) => Compose[F2, F3][a]
Inherited from:
TypeFunctions

Inherited fields

final val left: [A] => (x$1: A) => Left[A, Nothing]
Inherited from:
TypeFunctions
final val right: [A] => (x$1: A) => Right[Nothing, A]
Inherited from:
TypeFunctions
final val some: [A] => (x$1: A) => Some[A]
Inherited from:
TypeFunctions