scalaz.typelevel

_KNil

object _KNil extends KNil[Nothing]

Source
package.scala
Linear Supertypes
GenericNil[Nothing], Serializable, Serializable, Product, Equals, GenericList[Nothing], AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. _KNil
  2. GenericNil
  3. Serializable
  4. Serializable
  5. Product
  6. Equals
  7. GenericList
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Type Members

  1. type Appended[N[X] >: Nothing, L <: GenericList[N]] = L

    Definition Classes
    GenericNilGenericList
  2. type Down = GenericNil[Id.Id]

    Definition Classes
    GenericNilGenericList
  3. type Folded[N[X] >: Nothing, U, F <: HFold[N, U]] = GenericNil.Folded.F.Init

    Definition Classes
    GenericNilGenericList
  4. type Function[R] = R

    Definition Classes
    GenericNilGenericList
  5. type Transformed[N[_]] = GenericNil[N]

    Definition Classes
    GenericNilGenericList

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def :^:[A, N[X] >: Nothing](elem: N[A]): GenericCons[N, A, _KNil.this.type]

    Prepends a value to this list.

    Prepends a value to this list.

    Definition Classes
    GenericList
  4. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  5. def append[N[X] >: Nothing, L <: GenericList[N]](list: L): L

    Appends the given list to this list.

    Appends the given list to this list.

    Definition Classes
    GenericNilGenericList
  6. def apply[N[X] >: Nothing, R](f: N[Function[R]])(implicit arg0: Apply[N]): N[R]

    Successively applies a (curried) function to the elements of this list using the specified scalaz.Apply instance.

    Successively applies a (curried) function to the elements of this list using the specified scalaz.Apply instance.

    Definition Classes
    GenericNilGenericList
  7. final def applyP[N[X] >: Nothing, R](f: Function[R])(implicit arg0: Applicative[N]): N[R]

    Version of apply which takes the bare function and wraps it into N.

    Version of apply which takes the bare function and wraps it into N.

    Definition Classes
    GenericList
  8. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  9. final def at[N[X] >: Nothing, I <: Nat, E](index: I)(implicit ev: IndexProof[N, E, I, _KNil.this.type]): N[E]

    Accesses an element at a specific index.

    Accesses an element at a specific index.

    Definition Classes
    GenericList
  10. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  11. final def coerce[N[X] >: Nothing]: Transformed[N]

    Upcasts the type constructor in this list.

    Upcasts the type constructor in this list. This operation is safe.

    Definition Classes
    GenericList
  12. def down: Down

    Converts this list to a scalaz.typelevel.HList, i.e.

    Converts this list to a scalaz.typelevel.HList, i.e. replaces every type M[A] by Id[M[A]]. The resulting list contains exactly the same elements as the resulting list.

    Definition Classes
    GenericNilGenericList
  13. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  14. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  15. def fold[N[X] >: Nothing, U, F <: HFold[N, U]](f: F): Folded[N, U, F]

    Folds this list using a scalaz.typelevel.HFold.

    Folds this list using a scalaz.typelevel.HFold.

    Definition Classes
    GenericNilGenericList
  16. final def foldU[N[X] >: Nothing, U](f: HFold[N, U]): Folded[N, U, f.type]

    Dependently typed version of fold which improves type inference in some circumstances.

    Dependently typed version of fold which improves type inference in some circumstances.

    Definition Classes
    GenericList
  17. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  18. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  19. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  20. final def notify(): Unit

    Definition Classes
    AnyRef
  21. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  22. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  23. def transform[N[_]](trans: ~>[Nothing, N]): GenericNil[N]

    Applies a scalaz.NaturalTransformation to all elements, preserving the overall structure of the list.

    Applies a scalaz.NaturalTransformation to all elements, preserving the overall structure of the list. The result list has the same element types except that every occurence of the original common type constructor M is replaced by N.

    Definition Classes
    GenericNilGenericList
  24. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  25. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  26. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from GenericNil[Nothing]

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from GenericList[Nothing]

Inherited from AnyRef

Inherited from Any

Ungrouped