Packages

t

provingground.translation

CompositeFunctors

trait CompositeFunctors extends AnyRef

lower priority Functor and Traverese type classes to be extended in Functors

Linear Supertypes
AnyRef, Any
Known Subclasses
Type Hierarchy
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CompositeFunctors
  2. AnyRef
  3. Any
Implicitly
  1. by any2stringadd
  2. by StringFormat
  3. by Ensuring
  4. by ArrowAssoc
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Value Members

  1. implicit def traverseCompose[X[_], Y[_]](implicit arg0: Traverse[X], arg1: Traverse[Y]): Traverse[[A]X[Y[A]]]

    Traverse type class for composition

  2. implicit def traverseHCons[X[_], Y[_] <: HList](implicit tx: Lazy[Traverse[X]], YT: Traverse[Y]): Traverse[[A]::[X[A], Y[A]]]

    Travese typeclass for HCons