Collections
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
Collections/sbt.internal.util/Types

Types

sbt.internal.util.Types$
object Types extends TypeFunctions

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Types.type

Members list

Concise view

Type members

Inherited classlikes

sealed trait ∙[A[_], B[_]]

Attributes

Inherited from:
TypeFunctions
Graph
Supertypes
class Object
trait Matchable
class Any

Inherited types

type Compose[F1[_], F2[_]] = [a] =>> F1[F2[a]]

Attributes

Inherited from:
TypeFunctions
type Id[X] = X

Attributes

Inherited from:
TypeFunctions
type NothingK[X] = Nothing

Attributes

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]].

Attributes

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

Attributes

Inherited from:
TypeFunctions

Value members

Inherited methods

final def const[A, B](b: B): A => B

Attributes

Inherited from:
TypeFunctions
final def idFun[A]: A => A

Attributes

Inherited from:
TypeFunctions
final def idK[F[_]]: [a] => (x$1: F[a]) => F[a]

Attributes

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]

Attributes

Inherited from:
TypeFunctions

Inherited fields

final val left: [A] => (x$1: A) => Left[A, Nothing]

Attributes

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

Attributes

Inherited from:
TypeFunctions
final val some: [A] => (x$1: A) => Some[A]

Attributes

Inherited from:
TypeFunctions
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL