trait Types extends TypeFunctions

Linear Supertypes
TypeFunctions, AnyRef, Any
Known Subclasses
Types
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Types
  2. TypeFunctions
  3. AnyRef
  4. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. sealed trait Compose [A[_], B[_]] extends AnyRef
    Definition Classes
    TypeFunctions
  2. sealed trait Const [A] extends AnyRef
    Definition Classes
    TypeFunctions
  3. sealed trait ConstK [A] extends AnyRef
    Definition Classes
    TypeFunctions
  4. sealed trait P1of2 [M[_, _], A] extends AnyRef
    Definition Classes
    TypeFunctions
  5. sealed trait ∙ [A[_], B[_]] extends AnyRef
    Definition Classes
    TypeFunctions
  6. type :+:[H, T <: HList] = HCons[H, T]
  7. type Endo[T] = (T) ⇒ T
    Definition Classes
    TypeFunctions
  8. type Id[X] = X
    Definition Classes
    TypeFunctions
  9. type ~>|[A[_], B[_]] = ~>[A, [T]Option[B[T]]]
    Definition Classes
    TypeFunctions

Value Members

  1. val :+:: HCons.type
  2. val :^:: KCons.type
  3. final def const[A, B](b: B): (A) ⇒ B
    Definition Classes
    TypeFunctions
  4. final def idFun[T]: (T) ⇒ T
    Definition Classes
    TypeFunctions
  5. final def idK[M[_]]: ~>[M, M]
    Definition Classes
    TypeFunctions
  6. final val left: ~>[Id, [B]Left[B, Nothing]]
    Definition Classes
    TypeFunctions
  7. def nestCon[M[_], N[_], G[_]](f: ~>[M, N]): ~>[[T]M[G[T]], [T]N[G[T]]]
    Definition Classes
    TypeFunctions
  8. final val right: ~>[Id, [B]Right[Nothing, B]]
    Definition Classes
    TypeFunctions
  9. final val some: ~>[Id, Some]
    Definition Classes
    TypeFunctions
  10. implicit def toFn1[A, B](f: (A) ⇒ B): Fn1[A, B]
    Definition Classes
    TypeFunctions