shims
scalaz
Related Doc:
package shims
object
scalaz
extends
Implicits
Linear Supertypes
Implicits
,
LowPriorityImplicits1
,
LowPriorityImplicits2
,
LowPriorityImplicits3
,
LowPriorityImplicits4
,
LowPriorityImplicits5
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
scalaz
Implicits
LowPriorityImplicits1
LowPriorityImplicits2
LowPriorityImplicits3
LowPriorityImplicits4
LowPriorityImplicits5
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Value Members
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
implicit
def
applicative1
[
F
[
_
]
]
(
implicit
F:
scalaz.Applicative
[
F
]
)
:
Aux
[
F
,
Synthetic
]
Definition Classes
LowPriorityImplicits4
implicit
def
applicative2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
scalaz.Applicative
[[β$15$]
F2
[
Z
,
β$15$
]]
)
:
Aux
[[β$16$]
F2
[
Z
,
β$16$
],
Synthetic
]
Definition Classes
LowPriorityImplicits4
implicit
def
applicative3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
scalaz.Applicative
[[γ$18$]
F2
[
Y
,
Z
,
γ$18$
]]
)
:
Aux
[[γ$19$]
F2
[
Y
,
Z
,
γ$19$
],
Synthetic
]
Definition Classes
LowPriorityImplicits4
implicit
def
applicativeH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
scalaz.Applicative
[[β$21$]
F
[
G
,
β$21$
]]
)
:
Aux
[[β$22$]
F
[
G
,
β$22$
],
Synthetic
]
Definition Classes
LowPriorityImplicits4
implicit
def
applicativeH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
scalaz.Applicative
[[γ$24$]
F2
[
G
,
Z
,
γ$24$
]]
)
:
Aux
[[γ$25$]
F2
[
G
,
Z
,
γ$25$
],
Synthetic
]
Definition Classes
LowPriorityImplicits4
implicit
def
applicativeH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
scalaz.Applicative
[[δ$27$]
F2
[
G
,
Y
,
Z
,
δ$27$
]]
)
:
Aux
[[δ$28$]
F2
[
G
,
Y
,
Z
,
δ$28$
],
Synthetic
]
Definition Classes
LowPriorityImplicits4
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
implicit
def
bind1
[
F
[
_
]
]
(
implicit
F:
Bind
[
F
]
)
:
Aux
[
F
,
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bind2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Bind
[[β$45$]
F2
[
Z
,
β$45$
]]
)
:
Aux
[[β$46$]
F2
[
Z
,
β$46$
],
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bind3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Bind
[[γ$48$]
F2
[
Y
,
Z
,
γ$48$
]]
)
:
Aux
[[γ$49$]
F2
[
Y
,
Z
,
γ$49$
],
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bindH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
Bind
[[β$51$]
F
[
G
,
β$51$
]]
)
:
Aux
[[β$52$]
F
[
G
,
β$52$
],
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bindH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Bind
[[γ$54$]
F2
[
G
,
Z
,
γ$54$
]]
)
:
Aux
[[γ$55$]
F2
[
G
,
Z
,
γ$55$
],
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bindH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Bind
[[δ$57$]
F2
[
G
,
Y
,
Z
,
δ$57$
]]
)
:
Aux
[[δ$58$]
F2
[
G
,
Y
,
Z
,
δ$58$
],
Synthetic
]
Definition Classes
LowPriorityImplicits3
implicit
def
bindrec1
[
F
[
_
]
]
(
implicit
F:
BindRec
[
F
]
)
:
Aux
[
F
,
Synthetic
]
Definition Classes
LowPriorityImplicits2
implicit
def
bindrec2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
BindRec
[[β$75$]
F2
[
Z
,
β$75$
]]
)
:
Aux
[[β$76$]
F2
[
Z
,
β$76$
],
Synthetic
]
Definition Classes
LowPriorityImplicits2
implicit
def
bindrec3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
BindRec
[[γ$78$]
F2
[
Y
,
Z
,
γ$78$
]]
)
:
Aux
[[γ$79$]
F2
[
Y
,
Z
,
γ$79$
],
Synthetic
]
Definition Classes
LowPriorityImplicits2
implicit
def
bindrecH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
BindRec
[[β$81$]
F
[
G
,
β$81$
]]
)
:
Aux
[[β$82$]
F
[
G
,
β$82$
],
Synthetic
]
Definition Classes
LowPriorityImplicits2
implicit
def
bindrecH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
BindRec
[[γ$84$]
F2
[
G
,
Z
,
γ$84$
]]
)
:
Aux
[[γ$85$]
F2
[
G
,
Z
,
γ$85$
],
Synthetic
]
Definition Classes
LowPriorityImplicits2
implicit
def
bindrecH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
BindRec
[[δ$87$]
F2
[
G
,
Y
,
Z
,
δ$87$
]]
)
:
Aux
[[δ$88$]
F2
[
G
,
Y
,
Z
,
δ$88$
],
Synthetic
]
Definition Classes
LowPriorityImplicits2
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
implicit
def
equal
[
A
]
(
implicit
A:
scalaz.Equal
[
A
]
)
:
Aux
[
A
,
Synthetic
]
Definition Classes
LowPriorityImplicits1
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
implicit
def
functor1
[
F
[
_
]
]
(
implicit
F:
scalaz.Functor
[
F
]
)
:
SynthFunctor
[
F
]
Definition Classes
LowPriorityImplicits5
implicit
def
functor2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
scalaz.Functor
[[β$0$]
F2
[
Z
,
β$0$
]]
)
:
SynthFunctor
[[β$1$]
F2
[
Z
,
β$1$
]]
Definition Classes
LowPriorityImplicits5
implicit
def
functor3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
scalaz.Functor
[[γ$3$]
F2
[
Y
,
Z
,
γ$3$
]]
)
:
SynthFunctor
[[γ$4$]
F2
[
Y
,
Z
,
γ$4$
]]
Definition Classes
LowPriorityImplicits5
implicit
def
functorH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
scalaz.Functor
[[β$6$]
F
[
G
,
β$6$
]]
)
:
SynthFunctor
[[β$7$]
F
[
G
,
β$7$
]]
Definition Classes
LowPriorityImplicits5
implicit
def
functorH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
scalaz.Functor
[[γ$9$]
F2
[
G
,
Z
,
γ$9$
]]
)
:
SynthFunctor
[[γ$10$]
F2
[
G
,
Z
,
γ$10$
]]
Definition Classes
LowPriorityImplicits5
implicit
def
functorH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
scalaz.Functor
[[δ$12$]
F2
[
G
,
Y
,
Z
,
δ$12$
]]
)
:
SynthFunctor
[[δ$13$]
F2
[
G
,
Y
,
Z
,
δ$13$
]]
Definition Classes
LowPriorityImplicits5
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
def
kleisli
:
KleisliLike
[
Kleisli
]
Definition Classes
Implicits
implicit
def
monad1
[
F
[
_
]
]
(
implicit
F:
scalaz.Monad
[
F
]
)
:
Aux
[
F
,
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monad2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
scalaz.Monad
[[β$105$]
F2
[
Z
,
β$105$
]]
)
:
Aux
[[β$106$]
F2
[
Z
,
β$106$
],
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monad3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
scalaz.Monad
[[γ$108$]
F2
[
Y
,
Z
,
γ$108$
]]
)
:
Aux
[[γ$109$]
F2
[
Y
,
Z
,
γ$109$
],
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monadH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
scalaz.Monad
[[β$111$]
F
[
G
,
β$111$
]]
)
:
Aux
[[β$112$]
F
[
G
,
β$112$
],
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monadH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
scalaz.Monad
[[γ$114$]
F2
[
G
,
Z
,
γ$114$
]]
)
:
Aux
[[γ$115$]
F2
[
G
,
Z
,
γ$115$
],
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monadH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
scalaz.Monad
[[δ$117$]
F2
[
G
,
Y
,
Z
,
δ$117$
]]
)
:
Aux
[[δ$118$]
F2
[
G
,
Y
,
Z
,
δ$118$
],
Synthetic
]
Definition Classes
LowPriorityImplicits1
implicit
def
monoid
[
A
]
(
implicit
A:
scalaz.Monoid
[
A
]
)
:
Aux
[
A
,
Synthetic
]
Definition Classes
Implicits
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
implicit
def
order
[
A
]
(
implicit
A:
scalaz.Order
[
A
]
)
:
Aux
[
A
,
Synthetic
]
Definition Classes
Implicits
implicit
def
rapplicative1
[
F
[
_
]
,
Tag
]
(
implicit
F:
Aux
[
F
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[
F
]
Definition Classes
LowPriorityImplicits1
implicit
def
rapplicative2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
,
Tag
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Aux
[[β$120$]
F2
[
Z
,
β$120$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[[β$121$]
F2
[
Z
,
β$121$
]]
Definition Classes
LowPriorityImplicits1
implicit
def
rapplicative3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Aux
[[γ$123$]
F2
[
Y
,
Z
,
γ$123$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[[γ$124$]
F2
[
Y
,
Z
,
γ$124$
]]
Definition Classes
LowPriorityImplicits1
implicit
def
rapplicativeH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
,
Tag
]
(
implicit
F:
Aux
[[β$126$]
F
[
G
,
β$126$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[[β$127$]
F
[
G
,
β$127$
]]
Definition Classes
LowPriorityImplicits1
implicit
def
rapplicativeH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
,
Tag
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Aux
[[γ$129$]
F2
[
G
,
Z
,
γ$129$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[[γ$130$]
F2
[
G
,
Z
,
γ$130$
]]
Definition Classes
LowPriorityImplicits1
implicit
def
rapplicativeH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Aux
[[δ$132$]
F2
[
G
,
Y
,
Z
,
δ$132$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Applicative
[[δ$133$]
F2
[
G
,
Y
,
Z
,
δ$133$
]]
Definition Classes
LowPriorityImplicits1
implicit
def
rbind1
[
F
[
_
]
,
Tag
]
(
implicit
F:
Aux
[
F
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[
F
]
Definition Classes
LowPriorityImplicits3
implicit
def
rbind2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
,
Tag
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Aux
[[β$60$]
F2
[
Z
,
β$60$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[[β$61$]
F2
[
Z
,
β$61$
]]
Definition Classes
LowPriorityImplicits3
implicit
def
rbind3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Aux
[[γ$63$]
F2
[
Y
,
Z
,
γ$63$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[[γ$64$]
F2
[
Y
,
Z
,
γ$64$
]]
Definition Classes
LowPriorityImplicits3
implicit
def
rbindH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
,
Tag
]
(
implicit
F:
Aux
[[β$66$]
F
[
G
,
β$66$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[[β$67$]
F
[
G
,
β$67$
]]
Definition Classes
LowPriorityImplicits3
implicit
def
rbindH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
,
Tag
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Aux
[[γ$69$]
F2
[
G
,
Z
,
γ$69$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[[γ$70$]
F2
[
G
,
Z
,
γ$70$
]]
Definition Classes
LowPriorityImplicits3
implicit
def
rbindH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Aux
[[δ$72$]
F2
[
G
,
Y
,
Z
,
δ$72$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
Bind
[[δ$73$]
F2
[
G
,
Y
,
Z
,
δ$73$
]]
Definition Classes
LowPriorityImplicits3
implicit
def
rbindrec1
[
F
[
_
]
,
Tag
]
(
implicit
F:
Aux
[
F
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[
F
]
Definition Classes
LowPriorityImplicits2
implicit
def
rbindrec2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
,
Tag
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Aux
[[β$90$]
F2
[
Z
,
β$90$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[[β$91$]
F2
[
Z
,
β$91$
]]
Definition Classes
LowPriorityImplicits2
implicit
def
rbindrec3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Aux
[[γ$93$]
F2
[
Y
,
Z
,
γ$93$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[[γ$94$]
F2
[
Y
,
Z
,
γ$94$
]]
Definition Classes
LowPriorityImplicits2
implicit
def
rbindrecH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
,
Tag
]
(
implicit
F:
Aux
[[β$96$]
F
[
G
,
β$96$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[[β$97$]
F
[
G
,
β$97$
]]
Definition Classes
LowPriorityImplicits2
implicit
def
rbindrecH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
,
Tag
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Aux
[[γ$99$]
F2
[
G
,
Z
,
γ$99$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[[γ$100$]
F2
[
G
,
Z
,
γ$100$
]]
Definition Classes
LowPriorityImplicits2
implicit
def
rbindrecH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Aux
[[δ$102$]
F2
[
G
,
Y
,
Z
,
δ$102$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
BindRec
[[δ$103$]
F2
[
G
,
Y
,
Z
,
δ$103$
]]
Definition Classes
LowPriorityImplicits2
implicit
def
requal
[
A
,
Tag
]
(
implicit
A:
Aux
[
A
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Equal
[
A
]
Definition Classes
Implicits
implicit
def
rfunctor1
[
F
[
_
]
,
Tag
]
(
implicit
F:
Aux
[
F
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[
F
]
Definition Classes
Implicits
implicit
def
rfunctor2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
,
Tag
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Aux
[[β$150$]
F2
[
Z
,
β$150$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[[β$151$]
F2
[
Z
,
β$151$
]]
Definition Classes
Implicits
implicit
def
rfunctor3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Aux
[[γ$153$]
F2
[
Y
,
Z
,
γ$153$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[[γ$154$]
F2
[
Y
,
Z
,
γ$154$
]]
Definition Classes
Implicits
implicit
def
rfunctorH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
,
Tag
]
(
implicit
F:
Aux
[[β$156$]
F
[
G
,
β$156$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[[β$157$]
F
[
G
,
β$157$
]]
Definition Classes
Implicits
implicit
def
rfunctorH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
,
Tag
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Aux
[[γ$159$]
F2
[
G
,
Z
,
γ$159$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[[γ$160$]
F2
[
G
,
Z
,
γ$160$
]]
Definition Classes
Implicits
implicit
def
rfunctorH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Aux
[[δ$162$]
F2
[
G
,
Y
,
Z
,
δ$162$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Functor
[[δ$163$]
F2
[
G
,
Y
,
Z
,
δ$163$
]]
Definition Classes
Implicits
implicit
def
rmonad1
[
F
[
_
]
,
Tag
]
(
implicit
F:
Aux
[
F
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[
F
]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonad2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
,
Tag
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
Aux
[[β$30$]
F2
[
Z
,
β$30$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[[β$31$]
F2
[
Z
,
β$31$
]]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonad3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
Aux
[[γ$33$]
F2
[
Y
,
Z
,
γ$33$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[[γ$34$]
F2
[
Y
,
Z
,
γ$34$
]]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonadH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
,
Tag
]
(
implicit
F:
Aux
[[β$36$]
F
[
G
,
β$36$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[[β$37$]
F
[
G
,
β$37$
]]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonadH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
,
Tag
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
Aux
[[γ$39$]
F2
[
G
,
Z
,
γ$39$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[[γ$40$]
F2
[
G
,
Z
,
γ$40$
]]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonadH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
,
Tag
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
Aux
[[δ$42$]
F2
[
G
,
Y
,
Z
,
δ$42$
],
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monad
[[δ$43$]
F2
[
G
,
Y
,
Z
,
δ$43$
]]
Definition Classes
LowPriorityImplicits4
implicit
def
rmonoid
[
A
,
Tag
]
(
implicit
A:
Aux
[
A
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Monoid
[
A
]
Definition Classes
Implicits
implicit
def
rorder
[
A
,
Tag
]
(
implicit
A:
Aux
[
A
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Order
[
A
]
Definition Classes
LowPriorityImplicits1
implicit
def
rshow
[
A
,
Tag
]
(
implicit
A:
Aux
[
A
,
Tag
]
,
neg:
=/=
[
Tag
,
Synthetic
]
)
:
scalaz.Show
[
A
]
Definition Classes
Implicits
implicit
def
show
[
A
]
(
implicit
A:
scalaz.Show
[
A
]
)
:
Aux
[
A
,
Synthetic
]
Definition Classes
Implicits
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
traverse1
[
F
[
_
]
]
(
implicit
F:
scalaz.Traverse
[
F
]
)
:
Aux
[
F
,
Synthetic
]
Definition Classes
Implicits
implicit
def
traverse2
[
F
[
_
,
_
]
,
F2
[
_
,
_
]
,
Z
]
(
implicit
ev:
Permute2
[
F
,
F2
]
,
F:
scalaz.Traverse
[[β$135$]
F2
[
Z
,
β$135$
]]
)
:
Aux
[[β$136$]
F2
[
Z
,
β$136$
],
Synthetic
]
Definition Classes
Implicits
implicit
def
traverse3
[
F
[
_
,
_
,
_
]
,
F2
[
_
,
_
,
_
]
,
Y
,
Z
]
(
implicit
ev:
Permute3
[
F
,
F2
]
,
F:
scalaz.Traverse
[[γ$138$]
F2
[
Y
,
Z
,
γ$138$
]]
)
:
Aux
[[γ$139$]
F2
[
Y
,
Z
,
γ$139$
],
Synthetic
]
Definition Classes
Implicits
implicit
def
traverseH1
[
F
[
_
[
_
]
,
_
]
,
G
[
_
]
]
(
implicit
F:
scalaz.Traverse
[[β$141$]
F
[
G
,
β$141$
]]
)
:
Aux
[[β$142$]
F
[
G
,
β$142$
],
Synthetic
]
Definition Classes
Implicits
implicit
def
traverseH2
[
F
[
_
[
_
]
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
]
,
G
[
_
]
,
Z
]
(
implicit
ev:
PermuteH2
[
F
,
F2
]
,
F:
scalaz.Traverse
[[γ$144$]
F2
[
G
,
Z
,
γ$144$
]]
)
:
Aux
[[γ$145$]
F2
[
G
,
Z
,
γ$145$
],
Synthetic
]
Definition Classes
Implicits
implicit
def
traverseH3
[
F
[
_
[
_
]
,
_
,
_
,
_
]
,
F2
[
_
[
_
]
,
_
,
_
,
_
]
,
G
[
_
]
,
Y
,
Z
]
(
implicit
ev:
PermuteH3
[
F
,
F2
]
,
F:
scalaz.Traverse
[[δ$147$]
F2
[
G
,
Y
,
Z
,
δ$147$
]]
)
:
Aux
[[δ$148$]
F2
[
G
,
Y
,
Z
,
δ$148$
],
Synthetic
]
Definition Classes
Implicits
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
(
...
)
Inherited from
Implicits
Inherited from
LowPriorityImplicits1
Inherited from
LowPriorityImplicits2
Inherited from
LowPriorityImplicits3
Inherited from
LowPriorityImplicits4
Inherited from
LowPriorityImplicits5
Inherited from
AnyRef
Inherited from
Any
Ungrouped