scalaz-core/scalaz/ListT

ListT

object ListT extends ListTInstances
Companion
class
trait Product
trait Mirror
class Object
trait Matchable
class Any

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 empty[M[_], A](implicit M: Applicative[M]): ListT[M, A]
def fromIList[M[_], A](mas: M[IList[A]]): ListT[M, A]
def fromList[M[_], A](mas: M[List[A]])(implicit M: Functor[M]): ListT[M, A]
def listT[M[_]]: NaturalTransformation[[α] =>> M[IList[α]], [_] =>> ListT[M, _$38]]

Implicits

Inherited implicits

implicit
def listTDecidable[F[_]](implicit F0: Divisible[F]): Decidable[[_] =>> ListT[F, _$36]]
Inherited from
ListTInstances
implicit
def listTEqual[F[_], A](implicit E: Equal[F[IList[A]]]): Equal[ListT[F, A]]
Inherited from
ListTInstances
implicit
def listTFunctor[F[_]](implicit F0: Functor[F]): Functor[[_] =>> ListT[F, _$24]]
Inherited from
ListTInstances2
implicit
val listTHoist: Hoist[[M[_], A] =>> ListT[M, A]]
Inherited from
ListTInstances
implicit
def listTMonadPlus[F[_]](implicit F0: Monad[F]): MonadPlus[[_] =>> ListT[F, _$28]] & Alt[[_] =>> ListT[F, _$29]]
Inherited from
ListTInstances
implicit
def listTMonoid[F[_], A](implicit F0: Monad[F]): Monoid[ListT[F, A]]
Inherited from
ListTInstances1
implicit
def listTSemigroup[F[_], A](implicit F0: Bind[F]): Semigroup[ListT[F, A]]
Inherited from
ListTInstances2
implicit
def listTShow[F[_], A](implicit E: Show[F[IList[A]]]): Show[ListT[F, A]]
Inherited from
ListTInstances