Packages

object TANonEmptyList extends Serializable

Source
TAList.scala
Linear Supertypes
Serializable, Serializable, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. TANonEmptyList
  2. Serializable
  3. Serializable
  4. AnyRef
  5. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Type Members

  1. type Rev[F[_, _], A, B] = TANonEmptyList[[β$20$, γ$21$]F[γ$21$, β$20$], B, A]

    See also

    TAList.Rev. This version is similar but guaranteed to be non-empty.

Value Members

  1. implicit def composeTANonEmptyList[F[_, _]]: Compose[[β$24$, γ$25$]TANonEmptyList[F, β$24$, γ$25$]]
  2. def one[F[_, _], A, B](f: F[A, B]): TANonEmptyList[F, A, B]
  3. def revOne[F[_, _], A, B](f: F[A, B]): Rev[F, A, B]
  4. def unfoldM[F[_, _], S[_], M[_], L, R](unfold: TAUnfoldRightNonEmpty[F, S, M, L, R])(implicit M: Monad[M]): M[TANonEmptyList[F, L, R]]

    Create a TANonEmptyList instance by providing the right-most element and a function that can be repeatedly be called to produce the element that should be prepended to the list.

    Create a TANonEmptyList instance by providing the right-most element and a function that can be repeatedly be called to produce the element that should be prepended to the list.

    See also

    TAUnfoldRightNonEmpty for a more detailed explanation and a description of the type parameters.