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

TypeFunctions

sbt.internal.util.TypeFunctions
trait TypeFunctions

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
object Types.type

Members list

Concise view

Type members

Classlikes

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

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Types

type Compose[F1[_], F2[_]] = [a] =>> F1[F2[a]]
type Id[X] = X
type NothingK[X] = Nothing
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

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

Value members

Concrete methods

final def const[A, B](b: B): A => B
final def idFun[A]: A => A
final def idK[F[_]]: [a] => (x$1: F[a]) => F[a]
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]

Concrete fields

final val left: [A] => (x$1: A) => Left[A, Nothing]
final val right: [A] => (x$1: A) => Right[Nothing, A]
final val some: [A] => (x$1: A) => Some[A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL