Prepends a value to this list.
Prepends a value to this list.
Appends the given list to this list.
Appends the given list to this list.
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.
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
.
Accesses an element at a specific index.
Accesses an element at a specific index.
Upcasts the type constructor in this list.
Upcasts the type constructor in this list. This operation is safe.
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.
Folds this list using a scalaz.typelevel.HFold.
Folds this list using a scalaz.typelevel.HFold.
Dependently typed version of fold
which improves type inference in some
circumstances.
Dependently typed version of fold
which improves type inference in some
circumstances.
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
.