scalaz-core/scalaz/TheseT

TheseT

object TheseT extends TheseTInstances
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 both[F[_] : Functor, A, B](ab: F[(A, B)]): TheseT[F, A, B]
def that[F[_] : Functor, A, B](b: F[B]): TheseT[F, A, B]
def theseT[F[_], A, B](a: F[A \&/ B]): TheseT[F, A, B]
def this[F[_] : Functor, A, B](a: F[A]): TheseT[F, A, B]

Implicits

Inherited implicits

implicit
def TheseTHoist[A : Semigroup]: Hoist[[a[_], b] =>> TheseT[a, A, b]]
Inherited from
TheseTInstances0
implicit
def TheseTInstance1[F[_] : Traverse, L]: Traverse[[_] =>> TheseT[F, L, _$37]]
Inherited from
TheseTInstances0
implicit
def theseTBitraverse[F[_] : Traverse]: Bitraverse[[_, _] =>> TheseT[F, _$53, _$54]]
Inherited from
TheseTInstances
implicit
def theseTEqual[F[_], A, B](implicit F0: Equal[F[A \&/ B]]): Equal[TheseT[F, A, B]]
Inherited from
TheseTInstances
implicit
def theseTFunctor[F[_] : Functor, L]: Functor[[_] =>> TheseT[F, L, _$35]]
Inherited from
TheseTInstances1
implicit
def theseTMonad[F[_] : Monad, L : Semigroup]: Monad[[_] =>> TheseT[F, L, _$50]]
Inherited from
TheseTInstances
implicit
def theseTSemigroup[F[_] : Apply, A : Semigroup, B : Semigroup]: Semigroup[TheseT[F, A, B]]
Inherited from
TheseTInstances