_KNil

Value Members

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

   Definition Classes

   AnyRef

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

   Definition Classes

   Any

3. final def ##(): Int

   Definition Classes

   AnyRef → Any

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

5. final def ==(arg0: AnyRef): Boolean

   Definition Classes

   AnyRef

6. final def ==(arg0: Any): Boolean

   Definition Classes

   Any

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

   GenericNil → GenericList

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

   GenericNil → GenericList

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

10. final def asInstanceOf[T0]: T0

    Definition Classes

    Any

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

12. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

14. def down: Down

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

    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

    GenericNil → GenericList

15. final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

16. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws()

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

    GenericNil → GenericList

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

19. final def getClass(): Class[_]

    Definition Classes

    AnyRef → Any

20. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

21. final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

22. final def notify(): Unit

    Definition Classes

    AnyRef

23. final def notifyAll(): Unit

    Definition Classes

    AnyRef

24. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes

    AnyRef

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

    GenericNil → GenericList

26. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

27. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()

28. final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws()