scalaz
.
package
Conts
object
Conts
extends
IndexedContsTInstances
with
IndexedContsTFunctions
with
Serializable
Source
package.scala
Linear Supertypes
Serializable
,
Serializable
,
IndexedContsTFunctions
,
IndexedContsTInstances
,
IndexedContsTInstances0
, AnyRef,
Any
Ordering
Alphabetic
By inheritance
Inherited
Hide All
Show all
Conts
Serializable
Serializable
IndexedContsTFunctions
IndexedContsTInstances
IndexedContsTInstances0
AnyRef
Any
Visibility
Public
All
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
def
ContsTMonad
[
W
[
_
]
,
M
[
_
]
,
R
]
(
implicit
W0:
Comonad
[W]
)
:
Monad
[[a]
IndexedContsT
[W, M, R, R, a]]
Definition Classes
IndexedContsTInstances
implicit
def
IndexedContsTBifunctor
[
W
[
_
]
,
M
[
_
]
,
O
]
(
implicit
W0:
Functor
[W]
,
M0:
Functor
[M]
)
:
Bifunctor
[[r, a]
IndexedContsT
[W, M, r, O, a]]
Definition Classes
IndexedContsTInstances
implicit
def
IndexedContsTContravariant
[
W
[
_
]
,
M
[
_
]
,
R
,
A
]
(
implicit
W0:
Functor
[W]
,
M0:
Functor
[M]
)
:
Contravariant
[[o]
IndexedContsT
[W, M, R, o, A]]
Definition Classes
IndexedContsTInstances
implicit
def
IndexedContsTFunctorLeft
[
W
[
_
]
,
M
[
_
]
,
O
,
A
]
(
implicit
M0:
Functor
[M]
)
:
Functor
[[r]
IndexedContsT
[W, M, r, O, A]]
Definition Classes
IndexedContsTInstances
implicit
def
IndexedContsTFunctorRight
[
W
[
_
]
,
M
[
_
]
,
R
,
O
]
(
implicit
W0:
Functor
[W]
)
:
Functor
[[a]
IndexedContsT
[W, M, R, O, a]]
Definition Classes
IndexedContsTInstances0
def
apply
[
W
[
_
]
,
R
,
A
]
(
f: (W[(A) ⇒ R]) ⇒ R
)
: Conts[W, R, A]
final
def
asInstanceOf
[
T0
]
: T0
Definition Classes
Any
def
callCC
[
W
[
_
]
,
M
[
_
]
,
R
,
O
,
A
,
B
]
(
f: ((A) ⇒
IndexedContsT
[W, M, O, O, B]) ⇒
IndexedContsT
[W, M, R, O, A]
)
(
implicit
W:
Comonad
[W]
)
:
IndexedContsT
[W, M, R, O, A]
Definition Classes
IndexedContsTFunctions
def
clone
()
: AnyRef
Attributes
protected[
lang
]
Definition Classes
AnyRef
Annotations
@throws
()
def
contracohoist
[
W
[
_
]
,
V
[
_
]
,
M
[
_
]
,
R
,
O
]
(
f: ~>[V, W]
)
: ~>[[x]
IndexedContsT
[W, M, R, O, x], [x]
IndexedContsT
[V, M, R, O, x]]
Definition Classes
IndexedContsTFunctions
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
liftM
[
W
[
_
]
,
M
[
_
]
,
R
,
A
]
(
a: ⇒ M[A]
)
(
implicit
W:
Comonad
[W]
,
M:
Bind
[M]
)
: ContsT[W, M, R, A]
Definition Classes
IndexedContsTFunctions
final
def
ne
(
arg0: AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
point
[
W
[
_
]
,
M
[
_
]
,
R
,
A
]
(
a: ⇒ A
)
(
implicit
W:
Comonad
[W]
)
: ContsT[W, M, R, A]
Definition Classes
IndexedContsTFunctions
def
readResolve
()
: AnyRef
Attributes
protected
def
reset
[
W
[
_
]
,
M
[
_
]
,
R
,
O
,
A
]
(
v:
IndexedContsT
[W, M, A, O, O]
)
(
implicit
W:
Comonad
[W]
,
WA:
Applicative
[W]
,
M:
Monad
[M]
)
:
IndexedContsT
[W, M, R, R, A]
Definition Classes
IndexedContsTFunctions
def
shift
[
W
[
_
]
,
M
[
_
]
,
I
,
R
,
J
,
O
,
A
]
(
f: ((A) ⇒
IndexedContsT
[W, M, I, I, O]) ⇒
IndexedContsT
[W, M, R, J, J]
)
(
implicit
W:
Comonad
[W]
,
WA:
Applicative
[W]
,
M:
Monad
[M]
)
:
IndexedContsT
[W, M, R, O, A]
Definition Classes
IndexedContsTFunctions
final
def
synchronized
[
T0
]
(
arg0: ⇒ T0
)
: T0
Definition Classes
AnyRef
def
toString
()
:
String
Definition Classes
AnyRef → Any
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
()
def
xhoist
[
W
[
_
]
,
M
[
_
]
,
N
[
_
]
,
R
,
O
]
(
f: ~>[M, N]
,
g: ~>[N, M]
)
(
implicit
W:
Functor
[W]
)
: ~>[[x]
IndexedContsT
[W, M, R, O, x], [x]
IndexedContsT
[W, N, R, O, x]]
Definition Classes
IndexedContsTFunctions
Inherited from
Serializable
Inherited from
Serializable
Inherited from
IndexedContsTFunctions
Inherited from
IndexedContsTInstances
Inherited from
IndexedContsTInstances0
Inherited from AnyRef
Inherited from
Any