TheseInstances

sealed abstract
class Object
trait Matchable
class Any
object \&/

Type members

Types

type These[A, B] = A \&/ B

Implicits

Implicits

implicit
def TheseBand[A : Band, B : Band]: Band[A \&/ B]

Inherited implicits

Inherited from
TheseInstances0
implicit
def TheseEqual[A, B](implicit EA: Equal[A], EB: Equal[B]): Equal[A \&/ B]
Inherited from
TheseInstances1
implicit
def TheseInstance0[L : Semigroup]: Monad[[_] =>> L \&/ _$19] & BindRec[[_] =>> L \&/ _$20]
Inherited from
TheseInstances0
implicit
def TheseInstance1[L]: Traverse[[_] =>> L \&/ _$24] & Cobind[[_] =>> L \&/ _$25]
Inherited from
TheseInstances1
Inherited from
TheseInstances0
implicit
def TheseIsCovariantRight[A]: IsCovariant[[_] =>> A \&/ _$15]
Inherited from
TheseInstances0
final implicit
def TheseOrder[A, B](implicit A: Order[A], B: Order[B]): Order[A \&/ B]
Inherited from
TheseInstances0
implicit
def TheseSemigroup[A, B](implicit SA: Semigroup[A], SB: Semigroup[B]): Semigroup[A \&/ B]
Inherited from
TheseInstances1
implicit
def TheseShow[A, B](implicit SA: Show[A], SB: Show[B]): Show[A \&/ B]
Inherited from
TheseInstances1