scalaz
\&/
object
\&/
extends
TheseInstances
with
TheseFunctions
with
Serializable
Source
These.scala
Linear Supertypes
Serializable
,
Serializable
,
TheseFunctions
,
TheseInstances
,
TheseInstances0
,
TheseInstances1
, AnyRef,
Any
Ordering
Alphabetic
By inheritance
Inherited
Hide All
Show all
\&/
Serializable
Serializable
TheseFunctions
TheseInstances
TheseInstances0
TheseInstances1
AnyRef
Any
Visibility
Public
All
Type Members
final
case class
Both
[
A
,
B
]
(
aa: A
,
bb: B
)
extends \&/[A, B] with Product with Serializable
final
case class
That
[
B
]
(
bb: B
)
extends \&/[Nothing, B] with Product with Serializable
type
These
[
A
,
B
]
=
\&/
[A, B]
Definition Classes
TheseInstances
final
case class
This
[
A
]
(
aa: A
)
extends \&/[A, Nothing] with Product with Serializable
Value Members
final
def
!=
(
arg0: AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0: AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
implicit
val
TheseBitraverse
:
Bitraverse
[
\&/
]
Definition Classes
TheseInstances0
implicit
def
TheseEqual
[
A
,
B
]
(
implicit
EA:
Equal
[A]
,
EB:
Equal
[B]
)
:
Equal
[
\&/
[A, B]]
Definition Classes
TheseInstances1
implicit
def
TheseInstance0
[
L
]
(
implicit
arg0:
Semigroup
[L]
)
:
Monad
[[a]
\&/
[L, a]]
Definition Classes
TheseInstances0
implicit
def
TheseInstance1
[
L
]
:
Traverse
[[a]
\&/
[L, a]] with
Cobind
[[a]
\&/
[L, a]]
Definition Classes
TheseInstances1
implicit final
def
TheseOrder
[
A
,
B
]
(
implicit
A:
Order
[A]
,
B:
Order
[B]
)
:
Order
[
\&/
[A, B]]
Definition Classes
TheseInstances0
implicit
def
TheseSemigroup
[
A
,
B
]
(
implicit
SA:
Semigroup
[A]
,
SB:
Semigroup
[B]
)
:
Semigroup
[
\&/
[A, B]]
Definition Classes
TheseInstances1
implicit
def
TheseShow
[
A
,
B
]
(
implicit
SA:
Show
[A]
,
SB:
Show
[B]
)
:
Show
[
\&/
[A, B]]
Definition Classes
TheseInstances1
def
apply
[
A
,
B
]
(
a: A
,
b: B
)
: These[A, B]
final
def
asInstanceOf
[
T0
]
: T0
Definition Classes
Any
def
clone
()
: AnyRef
Attributes
protected[
lang
]
Definition Classes
AnyRef
Annotations
@throws
()
def
concatThat
[
F
[
_
]
,
A
,
B
]
(
x: F[
\&/
[A, B]]
)
(
implicit
M:
MonadPlus
[F]
)
: F[B]
Definition Classes
TheseFunctions
def
concatThatList
[
A
,
B
]
(
x: List[
\&/
[A, B]]
)
: List[B]
Definition Classes
TheseFunctions
def
concatThatStream
[
A
,
B
]
(
x:
EphemeralStream
[
\&/
[A, B]]
)
:
EphemeralStream
[B]
Definition Classes
TheseFunctions
def
concatThis
[
F
[
_
]
,
A
,
B
]
(
x: F[
\&/
[A, B]]
)
(
implicit
M:
MonadPlus
[F]
)
: F[A]
Definition Classes
TheseFunctions
def
concatThisList
[
A
,
B
]
(
x: List[
\&/
[A, B]]
)
: List[A]
Definition Classes
TheseFunctions
def
concatThisStream
[
A
,
B
]
(
x:
EphemeralStream
[
\&/
[A, B]]
)
:
EphemeralStream
[A]
Definition Classes
TheseFunctions
final
def
eq
(
arg0: AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
lang
]
Definition Classes
AnyRef
Annotations
@throws
()
final
def
getClass
()
: java.lang.Class[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
def
merge
[
A
]
(
t:
\&/
[A, A]
)
(
implicit
S:
Semigroup
[A]
)
: A
Definition Classes
TheseFunctions
final
def
ne
(
arg0: AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
readResolve
()
: AnyRef
Attributes
protected
final
def
synchronized
[
T0
]
(
arg0: ⇒ T0
)
: T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
def
unalign
[
F
[
_
]
,
A
,
B
]
(
x: F[
\&/
[A, B]]
)
(
implicit
M:
MonadPlus
[F]
)
: (F[A], F[B])
Definition Classes
TheseFunctions
def
unalignList
[
A
,
B
]
(
x: List[
\&/
[A, B]]
)
: (List[A], List[B])
Definition Classes
TheseFunctions
def
unalignStream
[
A
,
B
]
(
x:
EphemeralStream
[
\&/
[A, B]]
)
: (
EphemeralStream
[A],
EphemeralStream
[B])
Definition Classes
TheseFunctions
def
unapply
[
A
,
B
]
(
t:
Both
[A, B]
)
:
Some
[(A, B)]
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
()
Deprecated Value Members
def
alignList
[
A
,
B
]
(
a: List[A]
,
b: List[B]
)
: List[
\&/
[A, B]]
Definition Classes
TheseFunctions
Annotations
@deprecated
Deprecated
(Since version 7.1)
use Align typeclass
def
alignStream
[
A
,
B
]
(
a:
EphemeralStream
[A]
,
b:
EphemeralStream
[B]
)
:
EphemeralStream
[
\&/
[A, B]]
Definition Classes
TheseFunctions
Annotations
@deprecated
Deprecated
(Since version 7.1)
use Align typeclass
Inherited from
Serializable
Inherited from
Serializable
Inherited from
TheseFunctions
Inherited from
TheseInstances
Inherited from
TheseInstances0
Inherited from
TheseInstances1
Inherited from AnyRef
Inherited from
Any