core/higherkindness.droste.data.list/ListF

ListF

object ListF
Companion:
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any
ListF.type

Type members

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from:
Mirror

Value members

Concrete methods

def fromScalaList[A, PatR[_[_]]](list: List[A])(implicit ev: Embed[[_] =>> ListF[A, _$9], PatR[[_] =>> ListF[A, _$10]]]): PatR[[_] =>> ListF[A, _$11]]
def fromScalaListCoalgebra[A]: Coalgebra[[_] =>> ListF[A, _$12], List[A]]
def toScalaList[A, PatR[_[_]]](list: PatR[[_] =>> ListF[A, _$3]])(implicit ev: Project[[_] =>> ListF[A, _$4], PatR[[_] =>> ListF[A, _$5]]]): List[A]
def toScalaListAlgebra[A]: Algebra[[_] =>> ListF[A, _$6], List[A]]

Implicits

Implicits

implicit def basisListFMonoid[T, A](implicit T: Basis[[_] =>> ListF[A, _$17], T]): Monoid[T]
implicit def drosteDelayEqListF[A](implicit eh: Eq[A]): Delay[Eq, [_] =>> ListF[A, _$19]]
implicit def drosteTraverseForListF[A]: Traverse[[_] =>> ListF[A, _$13]]