cats
.
mtl
.
instances
all
Related Doc:
package instances
object
all
extends
AllInstances
Linear Supertypes
AllInstances
,
EmptyInstances
,
EmptyInstances1
,
WriterTInstances
,
WriterTInstances1
,
WriterTInstances2
,
StateTInstances
,
StateInstances
,
StateInstancesLowPriority1
,
LocalInstances
,
LocalLowPriorityInstances
,
ReaderTInstances
,
ReaderTInstances1
,
ReaderTInstances2
,
RaiseInstances
,
RaiseLowPriorityInstances1
,
OptionTInstances
,
OptionTInstances1
,
OptionTInstances2
,
ListenInstances
,
ListenInstancesLowPriority
,
EitherTInstances
,
EitherTInstances0
,
AnyRef
,
Any
Ordering
Alphabetic
By Inheritance
Inherited
all
AllInstances
EmptyInstances
EmptyInstances1
WriterTInstances
WriterTInstances1
WriterTInstances2
StateTInstances
StateInstances
StateInstancesLowPriority1
LocalInstances
LocalLowPriorityInstances
ReaderTInstances
ReaderTInstances1
ReaderTInstances2
RaiseInstances
RaiseLowPriorityInstances1
OptionTInstances
OptionTInstances1
OptionTInstances2
ListenInstances
ListenInstancesLowPriority
EitherTInstances
EitherTInstances0
AnyRef
Any
Hide All
Show All
Visibility
Public
All
Type Members
type
ConstC
[
C
]
=
AnyRef
{ type l[A] = cats.data.Const[C,A] }
Definition Classes
EmptyInstances
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
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
final
def
askFunction
[
E
]
:
ApplicativeAsk
[[A](
E
) ⇒
A
,
E
]
Definition Classes
LocalLowPriorityInstances
final
def
askReader
[
M
[
_
]
,
E
]
(
implicit
M:
Applicative
[
M
]
)
:
ApplicativeAsk
[[A]
Kleisli
[
M
,
E
,
A
],
E
]
Definition Classes
LocalLowPriorityInstances
implicit
def
catsDataTraverseEmptyForNested
[
F
[
_
]
,
G
[
_
]
]
(
implicit
F0:
Traverse
[
F
]
,
G0:
TraverseEmpty
[
G
]
)
:
TraverseEmpty
[[A]
Nested
[
F
,
G
,
A
]]
Definition Classes
EmptyInstances
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
implicit
def
constTraverseEmpty
[
C
]
:
TraverseEmpty
[[A]
Const
[
C
,
A
]]
Definition Classes
EmptyInstances
val
constTraverseEmptyAny
:
TraverseEmpty
[[A]
Const
[
Any
,
A
]]
Definition Classes
EmptyInstances
implicit
def
eitherFunctorLayerFunctor
[
M
[
_
]
,
E
]
(
implicit
M:
Functor
[
M
]
)
:
FunctorLayerFunctor
[[A]
EitherT
[
M
,
E
,
A
],
M
]
Definition Classes
EitherTInstances0
implicit final
def
eitherMonadLayerControl
[
M
[
_
]
,
E
]
(
implicit
M:
Monad
[
M
]
)
:
Aux
[[A]
EitherT
[
M
,
E
,
A
],
M
, [A]
Either
[
E
,
A
]]
Definition Classes
EitherTInstances
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
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
functorEmptyLiftEitherT
[
M
[
_
]
,
E
]
(
implicit
under:
FunctorEmpty
[
M
]
)
:
FunctorEmpty
[[A]
EitherT
[
M
,
E
,
A
]]
Definition Classes
EmptyInstances1
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
implicit
val
listTraverseEmpty
:
TraverseEmpty
[
List
]
Definition Classes
EmptyInstances
implicit final
def
listenInd
[
M
[
_
]
,
L
,
Inner
[
_
]
,
State
[
_
]
]
(
implicit
layer:
Aux
[
M
,
Inner
,
State
]
,
under:
FunctorListen
[
Inner
,
L
]
)
:
FunctorListen
[
M
,
L
]
Definition Classes
ListenInstances
implicit final
def
listenTuple
[
L
]
(
implicit
L:
Monoid
[
L
]
)
:
FunctorListen
[[A](
L
,
A
),
L
]
Definition Classes
ListenInstancesLowPriority
implicit final
def
listenWriter
[
M
[
_
]
,
L
]
(
implicit
M:
Monad
[
M
]
,
L:
Monoid
[
L
]
)
:
FunctorListen
[[A]
WriterT
[
M
,
L
,
A
],
L
]
Definition Classes
ListenInstancesLowPriority
implicit final
def
listenWriterId
[
L
]
(
implicit
L:
Monoid
[
L
]
)
:
FunctorListen
[[A]
WriterT
[[A]
A
,
L
,
A
],
L
]
Definition Classes
ListenInstances
implicit final
def
localFunction
[
E
]
:
ApplicativeLocal
[[A](
E
) ⇒
A
,
E
]
Definition Classes
LocalLowPriorityInstances
implicit final
def
localInd
[
M
[
_
]
,
Inner
[
_
]
,
E
]
(
implicit
ml:
MonadLayer
[
M
,
Inner
]
,
under:
ApplicativeLocal
[
Inner
,
E
]
)
:
ApplicativeLocal
[
M
,
E
]
Definition Classes
LocalInstances
implicit final
def
localReader
[
M
[
_
]
,
E
]
(
implicit
M:
Applicative
[
M
]
)
:
ApplicativeLocal
[[A]
Kleisli
[
M
,
E
,
A
],
E
]
Definition Classes
LocalLowPriorityInstances
implicit final
def
localReaderId
[
E
]
:
ApplicativeLocal
[[A]
Kleisli
[[A]
A
,
E
,
A
],
E
]
Definition Classes
LocalInstances
implicit
def
mapFunctorEmpty
[
K
]
:
FunctorEmpty
[[V]
Map
[
K
,
V
]]
Definition Classes
EmptyInstances
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
optionApplicativeLayerFunctor
[
M
[
_
]
]
(
implicit
M:
Applicative
[
M
]
)
:
ApplicativeLayerFunctor
[[A]
OptionT
[
M
,
A
],
M
]
Definition Classes
OptionTInstances1
implicit
def
optionFunctorLayerFunctor
[
M
[
_
]
]
(
implicit
M:
Functor
[
M
]
)
:
FunctorLayerFunctor
[[A]
OptionT
[
M
,
A
],
M
]
Definition Classes
OptionTInstances
implicit final
def
optionMonadLayerControl
[
M
[
_
]
]
(
implicit
M:
Monad
[
M
]
)
:
Aux
[[A]
OptionT
[
M
,
A
],
M
,
Option
]
Definition Classes
OptionTInstances2
implicit
def
optionTFunctorEmpty
[
F
[
_
]
]
(
implicit
arg0:
Functor
[
F
]
)
:
FunctorEmpty
[[A]
OptionT
[
F
,
A
]]
Definition Classes
EmptyInstances
implicit
val
optionTraverseEmpty
:
TraverseEmpty
[
Option
]
Definition Classes
EmptyInstances
implicit final
def
raiseEither
[
E
]
:
FunctorRaise
[[A]
Either
[
E
,
A
],
E
]
Definition Classes
RaiseLowPriorityInstances1
implicit final
def
raiseEitherT
[
M
[
_
]
,
E
]
(
implicit
M:
Applicative
[
M
]
)
:
FunctorRaise
[[A]
EitherT
[
M
,
E
,
A
],
E
]
Definition Classes
RaiseLowPriorityInstances1
implicit final
def
raiseInd
[
M
[
_
]
,
Inner
[
_
]
,
E
]
(
implicit
lift:
FunctorLayer
[
M
,
Inner
]
,
under:
FunctorRaise
[
Inner
,
E
]
)
:
FunctorRaise
[
M
,
E
]
Definition Classes
RaiseInstances
implicit
def
readerApplicativeLayerFunctor
[
M
[
_
]
,
E
]
(
implicit
M:
Applicative
[
M
]
)
:
ApplicativeLayerFunctor
[[A]
Kleisli
[
M
,
E
,
A
],
M
]
Definition Classes
ReaderTInstances1
implicit
def
readerFunctorLayerFunctor
[
M
[
_
]
,
E
]
(
implicit
M:
Functor
[
M
]
)
:
FunctorLayerFunctor
[[A]
Kleisli
[
M
,
E
,
A
],
M
]
Definition Classes
ReaderTInstances
implicit final
def
readerMonadLayerControl
[
M
[
_
]
,
E
]
(
implicit
M:
Monad
[
M
]
)
:
Aux
[[A]
Kleisli
[
M
,
E
,
A
],
M
,
Id
]
Definition Classes
ReaderTInstances2
implicit
def
sortedMapTraverseEmpty
[
K
]
(
implicit
arg0:
Order
[
K
]
)
:
TraverseEmpty
[[V]
SortedMap
[
K
,
V
]]
Definition Classes
EmptyInstances
implicit final
def
stateIdState
[
S
]
:
MonadState
[[A]
IndexedStateT
[[A]
A
,
S
,
S
,
A
],
S
]
Definition Classes
StateInstances
implicit final
def
stateInd
[
M
[
_
]
,
Inner
[
_
]
,
E
]
(
implicit
ml:
MonadLayerFunctor
[
M
,
Inner
]
,
under:
MonadState
[
Inner
,
E
]
)
:
MonadState
[
M
,
E
]
Definition Classes
StateInstances
implicit final
def
stateMonadLayerControl
[
M
[
_
]
,
S
]
(
implicit
M:
Monad
[
M
]
)
:
Aux
[[A]
IndexedStateT
[
M
,
S
,
S
,
A
],
M
, [A](
S
,
A
)]
Definition Classes
StateTInstances
implicit final
def
stateState
[
M
[
_
]
,
S
]
(
implicit
M:
Monad
[
M
]
)
:
MonadState
[[A]
IndexedStateT
[
M
,
S
,
S
,
A
],
S
]
Definition Classes
StateInstancesLowPriority1
implicit
val
streamTraverseEmpty
:
TraverseEmpty
[
Stream
]
Definition Classes
EmptyInstances
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
final
def
tellTuple
[
L
]
(
implicit
L:
Monoid
[
L
]
)
:
FunctorTell
[[A](
L
,
A
),
L
]
Definition Classes
ListenInstancesLowPriority
final
def
tellWriter
[
M
[
_
]
,
L
]
(
implicit
L:
Monoid
[
L
]
,
M:
Applicative
[
M
]
)
:
FunctorTell
[[A]
WriterT
[
M
,
L
,
A
],
L
]
Definition Classes
ListenInstancesLowPriority
def
toString
()
:
String
Definition Classes
AnyRef → Any
implicit
def
traverseEmptyLiftEitherT
[
M
[
_
]
,
E
]
(
implicit
under:
TraverseEmpty
[
M
]
)
:
TraverseEmpty
[[A]
EitherT
[
M
,
E
,
A
]]
Definition Classes
EmptyInstances1
implicit
val
vectorTraverseEmpty
:
TraverseEmpty
[
Vector
]
Definition Classes
EmptyInstances
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
(
...
)
implicit
def
writerApplicativeLayerFunctor
[
M
[
_
]
,
L
]
(
implicit
L:
Monoid
[
L
]
,
M:
Applicative
[
M
]
)
:
ApplicativeLayerFunctor
[[A]
WriterT
[
M
,
L
,
A
],
M
]
Definition Classes
WriterTInstances1
implicit
def
writerFunctorLayerFunctor
[
M
[
_
]
,
L
]
(
implicit
L:
Monoid
[
L
]
,
M:
Functor
[
M
]
)
:
FunctorLayerFunctor
[[A]
WriterT
[
M
,
L
,
A
],
M
]
Definition Classes
WriterTInstances
implicit final
def
writerMonadLayerControl
[
M
[
_
]
,
L
]
(
implicit
L:
Monoid
[
L
]
,
M:
Monad
[
M
]
)
:
Aux
[[A]
WriterT
[
M
,
L
,
A
],
M
, [A](
L
,
A
)]
Definition Classes
WriterTInstances2
Inherited from
AllInstances
Inherited from
EmptyInstances
Inherited from
EmptyInstances1
Inherited from
WriterTInstances
Inherited from
WriterTInstances1
Inherited from
WriterTInstances2
Inherited from
StateTInstances
Inherited from
StateInstances
Inherited from
StateInstancesLowPriority1
Inherited from
LocalInstances
Inherited from
LocalLowPriorityInstances
Inherited from
ReaderTInstances
Inherited from
ReaderTInstances1
Inherited from
ReaderTInstances2
Inherited from
RaiseInstances
Inherited from
RaiseLowPriorityInstances1
Inherited from
OptionTInstances
Inherited from
OptionTInstances1
Inherited from
OptionTInstances2
Inherited from
ListenInstances
Inherited from
ListenInstancesLowPriority
Inherited from
EitherTInstances
Inherited from
EitherTInstances0
Inherited from
AnyRef
Inherited from
Any
Ungrouped