scalaz.typelevel

GenericCons

case class GenericCons[M[_], H, +T <: GenericList[M]](head: M[H], tail: T) extends GenericList[M] with Product with Serializable

Source
GenericList.scala
See also

scalaz.typelevel.GenericList

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

Instance Constructors

  1. new GenericCons(head: M[H], tail: T)

Type Members

  1. type Appended[N[X] >: M[X], L <: GenericList[N]] = GenericCons[N, H, T.Appended[N, L]]

    Definition Classes
    GenericConsGenericList
  2. type Down = GenericCons[Id.Id, M[H], T.Down]

    Definition Classes
    GenericConsGenericList
  3. type Folded[N[X] >: M[X], U, F <: HFold[N, U]] = Folded.F.Apply[H, T.Folded[N, U, F]]

    Definition Classes
    GenericConsGenericList
  4. type Function[R] = (H) ⇒ T.Function[R]

    Definition Classes
    GenericConsGenericList
  5. type Transformed[N[_]] = GenericCons[N, H, T.Transformed[N]]

    Definition Classes
    GenericConsGenericList

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] >: 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
  5. final def ==(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  6. final def ==(arg0: Any): Boolean

    Definition Classes
    Any
  7. 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
    GenericConsGenericList
  8. 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
    GenericConsGenericList
  9. 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
  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  11. 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
  12. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. 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
  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
    GenericConsGenericList
  15. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  16. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  17. 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
    GenericConsGenericList
  18. 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
  19. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  20. val head: M[H]

  21. final def isInstanceOf[T0]: Boolean

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

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

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

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

    Definition Classes
    AnyRef
  26. val tail: T

  27. 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
    GenericConsGenericList
  28. final def wait(): Unit

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from GenericList[M]

Inherited from AnyRef

Inherited from Any

Ungrouped