GenericCons

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] >: M[X]](elem: N[A]): GenericCons[N, A, GenericCons.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] >: M[X], L <: GenericList[N]](list: L): GenericCons[N, H, T.Appended[N, L]]

   

   Appends the given list to this list.

   Appends the given list to this list.

   Definition Classes

   GenericCons → GenericList

6. def apply[N[X] >: M[X], 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

   GenericCons → GenericList

7. final def applyP[N[X] >: M[X], 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] >: M[X], I <: Nat, E](index: I)(implicit ev: IndexProof[N, E, I, GenericCons.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] >: M[X]]: 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.

    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

    GenericCons → GenericList

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] >: M[X], 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

    GenericCons → GenericList

16. final def foldU[N[X] >: M[X], 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. val head: M[H]

    

19. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    Definition Classes

    AnyRef

21. final def notify(): Unit

    

    Definition Classes

    AnyRef

22. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

    

    Definition Classes

    AnyRef

24. val tail: T

    

25. def transform[N[_]](trans: ~>[M, N]): GenericCons[N, H, T.Transformed[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

    GenericCons → 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( ... )