trait
AList[K[L[x]]] extends AnyRef
Abstract Value Members
-
abstract
def
foldr[M[_], A](value: K[M], f: (M[_], A) ⇒ A, init: A): A
-
abstract
def
transform[M[_], N[_]](value: K[M], f: ~>[M, N]): K[N]
-
abstract
def
traverse[M[_], N[_], P[_]](value: K[M], f: ~>[M, [T]N[P[T]]])(implicit np: Applicative[N]): N[K[P]]
Concrete Value Members
-
final
def
!=(arg0: AnyRef): Boolean
-
final
def
!=(arg0: Any): Boolean
-
final
def
##(): Int
-
final
def
==(arg0: AnyRef): Boolean
-
final
def
==(arg0: Any): Boolean
-
def
apply[M[_], C](value: K[M], f: (K[Types.Id]) ⇒ C)(implicit a: Applicative[M]): M[C]
-
final
def
asInstanceOf[T0]: T0
-
def
clone(): AnyRef
-
final
def
eq(arg0: AnyRef): Boolean
-
def
equals(arg0: Any): Boolean
-
def
finalize(): Unit
-
final
def
getClass(): Class[_]
-
def
hashCode(): Int
-
final
def
isInstanceOf[T0]: Boolean
-
final
def
ne(arg0: AnyRef): Boolean
-
final
def
notify(): Unit
-
final
def
notifyAll(): Unit
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
-
def
toList[M[_]](value: K[M]): List[M[_]]
-
def
toString(): String
-
final
def
wait(): Unit
-
final
def
wait(arg0: Long, arg1: Int): Unit
-
final
def
wait(arg0: Long): Unit
Inherited from AnyRef
Inherited from Any
An abstraction over a higher-order type constructor
K[x[y]]
with the purpose of abstracting over heterogeneous sequences likeKList
andTupleN
with elements with a common type constructor as well as homogeneous sequencesSeq[M[T]]
.