core/higherkindness.droste.data/prelude

prelude

object prelude extends CoattrImplicits
class Object
trait Matchable
class Any
prelude.type

Type members

Inherited classlikes

final implicit class AttrFOps[F[_], A, B](attrf: AttrF[F, A, B])
Inherited from:
AttrFImplicits
final implicit class AttrOps[F[_], A](attr: Attr[F, A])
Inherited from:
AttrImplicits
final implicit class CoattrOps[F[_], A](coattr: Coattr[F, A])
Inherited from:
CoattrImplicits

Implicits

Inherited implicits

final implicit def AttrFOps[F[_], A, B](attrf: AttrF[F, A, B]): AttrFOps[F, A, B]
Inherited from:
AttrFImplicits
final implicit def AttrOps[F[_], A](attr: Attr[F, A]): AttrOps[F, A]
Inherited from:
AttrImplicits
final implicit def CoattrOps[F[_], A](coattr: Coattr[F, A]): CoattrOps[F, A]
Inherited from:
CoattrImplicits
implicit def drosteAttrComonad[F[_] : Functor]: Comonad[[_] =>> Attr[F, _$19]]
Inherited from:
AttrImplicits
implicit def drosteAttrFDelayEq[F[_], A](implicit eqa: Eq[A], deqf: Delay[Eq, F]): Delay[Eq, [_] =>> AttrF[F, A, _$9]]
Inherited from:
AttrFImplicits0
implicit def drosteAttrFEq[F[_], A, B](implicit ev: Eq[(A, F[B])]): Eq[AttrF[F, A, B]]
Inherited from:
AttrFImplicits0
implicit def drosteAttrFFunctor[F[_] : Functor, A]: Functor[[_] =>> AttrF[F, A, _$14]]
Inherited from:
AttrFImplicits0
implicit def drosteAttrFTraverse[F[_] : Traverse, A]: Traverse[[_] =>> AttrF[F, A, _$7]]
Inherited from:
AttrFImplicits
implicit def drosteCoattrFDelayEq[F[_], A](implicit eqa: Eq[A], deqf: Delay[Eq, F]): Delay[Eq, [_] =>> CoattrF[F, A, _$10]]
Inherited from:
CoenvtTImplicits0
implicit def drosteCoattrFEq[F[_], A, B](implicit ev: Eq[Either[A, F[B]]]): Eq[CoattrF[F, A, B]]
Inherited from:
CoenvtTImplicits0
implicit def drosteCoattrFFunctor[F[_] : Functor, A]: Functor[[_] =>> CoattrF[F, A, _$15]]
Inherited from:
CoenvtTImplicits0
implicit def drosteCoattrFTraverse[F[_] : Traverse, A]: Traverse[[_] =>> CoattrF[F, A, _$8]]
Inherited from:
CoattrFImplicits