cats-docs
2.13.0
cats-docs
API
cats
arrow
Arrow
Arrow
AllOps
Ops
ToArrowOps
nonInheritedOps
ops
ArrowChoice
ArrowChoice
AllOps
Ops
ToArrowChoiceOps
nonInheritedOps
ops
Category
Category
AllOps
Ops
ToCategoryOps
nonInheritedOps
ops
Choice
Choice
AllOps
Ops
ToChoiceOps
nonInheritedOps
ops
CommutativeArrow
CommutativeArrow
AllOps
Ops
ToCommutativeArrowOps
nonInheritedOps
ops
Compose
Compose
AllOps
Ops
ToComposeOps
nonInheritedOps
ops
FunctionK
FunctionK
Profunctor
Profunctor
AllOps
Ops
ToProfunctorOps
nonInheritedOps
ops
Strong
Strong
AllOps
Ops
ToStrongOps
nonInheritedOps
ops
conversions
AllConversions
VarianceConversions
all
variance
data
AndThen
AndThen
AppFunc
AppFunc
Binested
Binested
BinestedBifoldable
BinestedBitraverse
BinestedInstances
Chain
Chain
:==
==:
Cokleisli
Cokleisli
Const
Const
Cont
ContT
ContT
EitherK
EitherK
EitherKLeft
EitherKRight
EitherT
EitherT
Func
Func
IdT
IdT
IndexedReaderWriterStateT
IndexedReaderWriterStateT
IndexedState
IndexedStateT
IndexedStateT
Ior
Ior
Both
Left
Right
IorT
IorT
Kleisli
Kleisli
KleisliFromFunctionPartiallyApplied
Nested
Nested
NonEmptyChainImpl
NonEmptyChainOps
NonEmptyLazyList
NonEmptyLazyListOps
NonEmptyList
NonEmptyList
ZipNonEmptyList
ZipNonEmptyList
NonEmptyMapImpl
NonEmptyMapOps
NonEmptySeq
NonEmptySeq
ZipNonEmptySeq
ZipNonEmptySeq
NonEmptySetImpl
NonEmptySetOps
NonEmptyVector
NonEmptyVector
ZipNonEmptyVector
ZipNonEmptyVector
OneAnd
OneAnd
Op
Op
OptionT
OptionT
Reader
ReaderWriterState
ReaderWriterStateT
RepresentableStore
RepresentableStore
RepresentableStoreT
RepresentableStoreT
RepresentableStoreTInstances1
RepresentableStoreTInstances2
State
StateT
Store
StoreT
Tuple2K
Tuple2K
Validated
Validated
Invalid
Valid
Writer
WriterT
WriterT
ZipLazyList
ZipLazyList
ZipList
ZipList
ZipSeq
ZipSeq
ZipStream
ZipStream
ZipVector
ZipVector
evidence
As
As
AsInstances
Is
Is
IsInstances
free
Cofree
Cofree
ContravariantCoyoneda
ContravariantCoyoneda
Coyoneda
Coyoneda
Free
Free
FreeApplicative
FreeApplicative
FreeInvariantMonoidal
FreeInvariantMonoidal
FreeT
FreeT
InvariantCoyoneda
InvariantCoyoneda
Trampoline
Yoneda
Yoneda
instances
symbol
AllInstances
AllInstancesBinCompat
AllInstancesBinCompat0
AllInstancesBinCompat1
AllInstancesBinCompat10
AllInstancesBinCompat2
AllInstancesBinCompat3
AllInstancesBinCompat4
AllInstancesBinCompat5
AllInstancesBinCompat6
AllInstancesBinCompat7
AllInstancesBinCompat8
AllInstancesBinCompat9
AnyValInstances
ArraySeqInstances
BigDecimalInstances
BigIntInstances
BitSetInstances
BooleanInstances
ByteInstances
CharInstances
DeadlineInstances
DoubleInstances
DurationInstances
EitherInstances
EqInstances
EqInstances
EquivInstances
EquivInstances
FiniteDurationInstances
FloatInstances
FunctionInstances
FutureInstances
HashInstances
HashInstances
IntInstances
InvariantInstances
InvariantInstancesBinCompat0
InvariantMonoidalInstances
LazyListInstances
ListInstances
LongInstances
MapInstances
OptionInstances
OrderInstances
OrderInstances
OrderingInstances
OrderingInstances
ParallelInstances
PartialFunctionInstances
PartialOrderInstances
PartialOrderInstances
PartialOrderingInstances
PartialOrderingInstances
QueueInstances
SeqInstances
SetInstances
ShortInstances
ShowInstances
ShowInstances
SortedMapCommutativeMonoid
SortedMapEq
SortedMapHash
SortedMapInstances
SortedMapMonoid
SortedSetHash
SortedSetInstances
SortedSetOrder
SortedSetSemilattice
StreamInstances
StringInstances
SymbolInstances
TailRecInstances
TryInstances
TupleInstances
UUIDInstances
UnitInstances
VectorInstances
all
arraySeq
bigDecimal
bigInt
bitSet
boolean
byte
char
deadline
double
duration
either
eq
equiv
finiteDuration
float
function
future
int
invariant
lazyList
list
long
map
option
order
ordering
parallel
partialFunction
partialOrder
partialOrdering
queue
seq
set
short
show
sortedMap
sortedSet
stream
string
tailRec
try_
tuple
unit
uuid
vector
kernel
instances
all
arraySeq
bigDecimal
bigInt
bitSet
boolean
byte
char
deadline
double
duration
either
finiteDuration
float
function
int
lazyList
list
long
map
option
queue
seq
set
short
sortedMap
sortedSet
stream
string
symbol
tuple
unit
uuid
vector
AllInstances
ArraySeqInstances
ArraySeqInstances
BigDecimalGroup
BigDecimalInstances
BigDecimalOrder
BigIntGroup
BigIntInstances
BigIntOrder
BigIntUnboundedEnum
BitSetInstances
BitSetPartialOrder
BitSetSemilattice
BooleanBounded
BooleanEnumerable
BooleanInstances
BooleanOrder
ByteBounded
ByteEnumerable
ByteGroup
ByteInstances
ByteOrder
CharBounded
CharEnumerable
CharInstances
CharOrder
DeadlineBounded
DeadlineInstances
DeadlineOrder
DoubleGroup
DoubleInstances
DoubleOrder
DurationBounded
DurationGroup
DurationInstances
DurationOrder
EitherEq
EitherHash
EitherInstances
EqInstances
FiniteDurationBounded
FiniteDurationGroup
FiniteDurationInstances
FiniteDurationOrder
FloatGroup
FloatInstances
FloatOrder
Function0Group
Function0Monoid
Function0Semigroup
Function1Group
Function1Monoid
Function1Semigroup
FunctionInstances
HashInstances
IntBounded
IntEnumerable
IntGroup
IntInstances
IntOrder
LazyListEq
LazyListHash
LazyListInstances
LazyListMonoid
LazyListMonoid
LazyListOrder
LazyListPartialOrder
ListEq
ListHash
ListInstances
ListMonoid
ListMonoid
ListOrder
ListPartialOrder
LongBounded
LongEnumerable
LongGroup
LongInstances
LongOrder
MapEq
MapHash
MapInstances
MapMonoid
OptionEq
OptionHash
OptionInstances
OptionMonoid
OptionOrder
OptionPartialOrder
OrderInstances
PartialOrderInstances
QueueEq
QueueHash
QueueInstances
QueueMonoid
QueueMonoid
QueueOrder
QueuePartialOrder
SeqEq
SeqHash
SeqInstances
SeqMonoid
SeqMonoid
SeqOrder
SeqPartialOrder
SetHash
SetInstances
SetPartialOrder
SetSemilattice
ShortBounded
ShortEnumerable
ShortGroup
ShortInstances
ShortOrder
SortedMapCommutativeMonoid
SortedMapCommutativeSemigroup
SortedMapEq
SortedMapHash
SortedMapInstances
SortedMapMonoid
SortedMapSemigroup
SortedSetHash
SortedSetInstances
SortedSetOrder
SortedSetSemilattice
StaticMethods
StreamEq
StreamHash
StreamInstances
StreamMonoid
StreamOrder
StreamPartialOrder
StringInstances
StringLowerBounded
StringMonoid
StringOrder
SymbolInstances
SymbolLowerBounded
SymbolOrder
TupleInstances
UUIDBounded
UUIDInstances
UnitAlgebra
UnitBounded
UnitEnumerable
UnitInstances
UnitOrder
VectorEq
VectorHash
VectorInstances
VectorMonoid
VectorMonoid
VectorOrder
VectorPartialOrder
eq
hash
order
partialOrder
laws
discipline
BandTests
BandTests
BoundedEnumerableTests
BoundedEnumerableTests
BoundedSemilatticeTests
BoundedSemilatticeTests
CommutativeGroupTests
CommutativeGroupTests
CommutativeMonoidTests
CommutativeMonoidTests
CommutativeSemigroupTests
CommutativeSemigroupTests
EqTests
EqTests
GroupTests
GroupTests
HashTests
HashTests
LowerBoundedTests
LowerBoundedTests
MonoidTests
MonoidTests
OrderTests
OrderTests
PartialNextTests
PartialOrderTests
PartialOrderTests
PartialPreviousTests
SemigroupTests
SemigroupTests
SemilatticeTests
SemilatticeTests
SerializableTests
UpperBoundedTests
UpperBoundedTests
BandLaws
BandLaws
BoundedEnumerableLaws
BoundedEnumerableLaws
BoundedSemilatticeLaws
BoundedSemilatticeLaws
CommutativeGroupLaws
CommutativeGroupLaws
CommutativeMonoidLaws
CommutativeMonoidLaws
CommutativeSemigroupLaws
CommutativeSemigroupLaws
EqLaws
EqLaws
GroupLaws
GroupLaws
HashLaws
HashLaws
IsEq
IsEqArrow
LowerBoundedLaws
LowerBoundedLaws
MonoidLaws
MonoidLaws
OrderLaws
OrderLaws
PartialNextBoundedLaws
PartialNextLaws
PartialOrderLaws
PartialOrderLaws
PartialPreviousBoundedLaws
PartialPreviousLaws
PartialPreviousLaws
PartialPreviousNextLaws
SemigroupLaws
SemigroupLaws
SemilatticeLaws
SemilatticeLaws
SerializableLaws
UpperBoundedLaws
UpperBoundedLaws
Band
Band
BoundedEnumerable
BoundedEnumerable
BoundedSemilattice
BoundedSemilattice
CommutativeGroup
CommutativeGroup
CommutativeMonoid
CommutativeMonoid
CommutativeSemigroup
CommutativeSemigroup
Comparison
Comparison
EqualTo
GreaterThan
LessThan
Eq
Eq
EqFunctions
EqToEquivConversion
Group
Group
GroupFunctions
Hash
Hash
HashFunctions
HashToHashingConversion
LowerBounded
LowerBounded
LowerBoundedEnumerable
LowerBoundedFunctions
Monoid
Monoid
MonoidFunctions
Next
Order
OrderFunctions
OrderToOrderingConversion
PartialNext
PartialNextLowerBounded
PartialOrder
PartialOrder
PartialOrderFunctions
PartialOrderToPartialOrderingConversion
PartialPrevious
PartialPreviousUpperBounded
Previous
Semigroup
Semigroup
SemigroupFunctions
Semilattice
Semilattice
SemilatticeFunctions
UnboundedEnumerable
UpperBounded
UpperBounded
UpperBoundedEnumerable
UpperBoundedFunctions
laws
discipline
AlignTests
AlignTests
AlternativeTests
AlternativeTests
ApplicativeErrorTests
ApplicativeErrorTests
ApplicativeTests
ApplicativeTests
ApplyTests
ApplyTests
ArrowChoiceTests
ArrowChoiceTests
ArrowTests
ArrowTests
BifoldableTests
BifoldableTests
BifunctorTests
BifunctorTests
BimonadTests
BimonadTests
BitraverseTests
BitraverseTests
CategoryTests
CategoryTests
ChoiceTests
ChoiceTests
CoflatMapTests
CoflatMapTests
CommutativeApplicativeTests
CommutativeApplicativeTests
CommutativeApplyTests
CommutativeApplyTests
CommutativeArrowTests
CommutativeArrowTests
CommutativeFlatMapTests
CommutativeFlatMapTests
CommutativeMonadTests
CommutativeMonadTests
ComonadTests
ComonadTests
ComposeTests
ComposeTests
ContravariantMonoidalTests
ContravariantMonoidalTests
ContravariantSemigroupalTests
ContravariantSemigroupalTests
ContravariantTests
ContravariantTests
DeferTests
DeferTests
DeprecatedEqInstances
DistributiveTests
DistributiveTests
ExhaustiveCheck
ExhaustiveCheck
FlatMapTests
FlatMapTests
FoldableTests
FoldableTests
FunctorFilterTests
FunctorFilterTests
FunctorTests
FunctorTests
InjectKTests
InjectKTests
InjectTests
InjectTests
InvariantMonoidalTests
InvariantMonoidalTests
InvariantSemigroupalTests
InvariantSemigroupalTests
InvariantTests
InvariantTests
MiniInt
MiniInt
MonadErrorTests
MonadErrorTests
MonadTests
MonadTests
MonoidKTests
MonoidKTests
NonEmptyAlternativeTests
NonEmptyAlternativeTests
NonEmptyParallelTests
NonEmptyParallelTests
NonEmptyTraverseTests
NonEmptyTraverseTests
ParallelTests
ParallelTests
ProfunctorTests
ProfunctorTests
ReducibleTests
ReducibleTests
RepresentableTests
RepresentableTests
SemigroupKTests
SemigroupKTests
SemigroupalTests
SemigroupalTests
Isomorphisms
Isomorphisms
ShortCircuitingTests
ShortCircuitingTests
StrongTests
StrongTests
TraverseFilterTests
TraverseFilterTests
TraverseTests
TraverseTests
UnorderedFoldableTests
UnorderedFoldableTests
UnorderedTraverseTests
UnorderedTraverseTests
arbitrary
eq
AlignLaws
AlignLaws
AlternativeLaws
AlternativeLaws
ApplicativeErrorLaws
ApplicativeErrorLaws
ApplicativeLaws
ApplicativeLaws
ApplyLaws
ApplyLaws
ArrowChoiceLaws
ArrowChoiceLaws
ArrowLaws
ArrowLaws
BifoldableLaws
BifoldableLaws
BifunctorLaws
BifunctorLaws
BimonadLaws
BimonadLaws
BitraverseLaws
BitraverseLaws
CategoryLaws
CategoryLaws
ChoiceLaws
ChoiceLaws
CoflatMapLaws
CoflatMapLaws
CommutativeApplicativeLaws
CommutativeApplicativeLaws
CommutativeApplyLaws
CommutativeApplyLaws
CommutativeArrowLaws
CommutativeArrowLaws
CommutativeFlatMapLaws
CommutativeFlatMapLaws
CommutativeMonadLaws
CommutativeMonadLaws
ComonadLaws
ComonadLaws
ComposeLaws
ComposeLaws
ContravariantLaws
ContravariantLaws
ContravariantMonoidalLaws
ContravariantMonoidalLaws
ContravariantSemigroupalLaws
ContravariantSemigroupalLaws
DeferLaws
DeferLaws
DistributiveLaws
DistributiveLaws
FlatMapLaws
FlatMapLaws
FoldableLaws
FoldableLaws
FunctorFilterLaws
FunctorFilterLaws
FunctorLaws
FunctorLaws
InjectKLaws
InjectKLaws
InjectLaws
InjectLaws
InvariantLaws
InvariantLaws
InvariantMonoidalLaws
InvariantMonoidalLaws
InvariantSemigroupalLaws
InvariantSemigroupalLaws
IsEqArrow
MonadErrorLaws
MonadErrorLaws
MonadLaws
MonadLaws
MonoidKLaws
MonoidKLaws
NonEmptyAlternativeLaws
NonEmptyAlternativeLaws
NonEmptyParallelLaws
NonEmptyParallelLaws
NonEmptyTraverseLaws
NonEmptyTraverseLaws
ParallelLaws
ParallelLaws
ProfunctorLaws
ProfunctorLaws
ReducibleLaws
ReducibleLaws
RepresentableLaws
RepresentableLaws
SemigroupKLaws
SemigroupKLaws
SemigroupalLaws
SemigroupalLaws
ShortCircuitingLaws
ShortCircuitingLaws
StrongLaws
StrongLaws
TraverseFilterLaws
TraverseFilterLaws
TraverseLaws
TraverseLaws
UnorderedFoldableLaws
UnorderedFoldableLaws
UnorderedTraverseLaws
UnorderedTraverseLaws
syntax
AlignSyntax
AllSyntax
AllSyntaxBinCompat
AllSyntaxBinCompat0
AllSyntaxBinCompat1
AllSyntaxBinCompat2
AllSyntaxBinCompat3
AllSyntaxBinCompat4
AllSyntaxBinCompat5
AllSyntaxBinCompat6
AllSyntaxBinCompat7
AlternativeSyntax
ApplicativeByNameOps
ApplicativeByValueOps
ApplicativeErrorFUnitOps
ApplicativeErrorIdOps
ApplicativeErrorOps
ApplicativeErrorSyntax
ApplicativeIdOps
ApplicativeOps
ApplicativeSyntax
ApplyFABCOps
ApplyFABOps
ApplyOps
ApplySyntax
ArrowChoiceSyntax
ArrowSyntax
BifoldableSyntax
BifunctorSyntax
BinestedIdOps
BinestedSyntax
BitraverseOps
BitraverseSyntax
ChoiceSyntax
CoflatMapSyntax
ComonadSyntax
ComposeSyntax
ContravariantMonoidalOps
ContravariantMonoidalSyntax
ContravariantSemigroupalSyntax
ContravariantSyntax
DistributiveOps
DistributiveSyntax
EitherIdOps
EitherKOps
EitherKSyntax
EitherObjectOps
EitherOps
EitherSyntax
EitherSyntax
EqOps
EqSyntax
FlatMapIdOps
FlatMapOps
FlatMapOptionOps
FlatMapOptionSyntax
FlatMapSyntax
FlattenOps
FoldableOps
FoldableOps0
FoldableSyntax
Function1Syntax
Function1FlatMapOps
Function1Ops
FunctionApplySyntax
FunctorFilterSyntax
FunctorSyntax
FunctorTuple2Ops
GroupOps
GroupSyntax
GuardOps
HashOps
HashSyntax
IfApplyOps
IfFOps
IfMOps
IndexOps
InvariantSyntax
IorIdOps
IorSyntax
LeftNestedBitraverseOps
LeftOps
ListOps
ListSyntax
MonadErrorOps
MonadErrorRethrowOps
MonadErrorSyntax
MonadIdOps
MonadOps
MonadSyntax
MonoidOps
MonoidSyntax
NestedBitraverseOps
NestedFoldableOps
NestedIdOps
NestedReducibleOps
NestedSyntax
NonEmptyAlternativeOps
NonEmptyAlternativeSyntax
NonEmptyParallelApOps
NonEmptyParallelApplyOps
NonEmptyTraverseSyntax
OptionIdOps
OptionOps
OptionOps
LiftToPartiallyApplied
OptionSyntax
OrderOps
OrderSyntax
ParallelApOps
ParallelApOps1
ParallelApplyOps
ParallelApplySyntax
ParallelBisequenceOps
ParallelBitraverseOps
ParallelBitraverseSyntax
ParallelFlatSequenceOps
ParallelFlatSequenceOps1
ParallelFlatSyntax
ParallelFlatTraversableOps
ParallelFlatTraversableOps1
ParallelFoldMapAOps
ParallelFoldMapASyntax
ParallelLeftSequenceOps
ParallelLeftTraverseOps
ParallelReduceMapAOps
ParallelReduceMapASyntax
ParallelSequenceFilterOps
ParallelSequenceOps
ParallelSequenceOps1
ParallelSequence_Ops
ParallelSyntax
ParallelTraversableOps
ParallelTraversableOps1
ParallelTraversable_Ops
ParallelTraverseFilterOps
ParallelTraverseFilterSyntax
ParallelTraverseSyntax
ParallelUnorderedFlatSequenceOps
ParallelUnorderedSequenceOps
ParallelUnorderedTraverseOps
ParallelUnorderedTraverseSyntax
PartialOrderOps
PartialOrderSyntax
ProfunctorSyntax
ReducibleOps0
ReducibleSyntax
RepresentableSyntax
RightOps
SemigroupKSyntax
SemigroupOps
SemigroupSyntax
SemigroupalOps
SemigroupalOps2
SemigroupalSyntax
SeparateOps
SeqOps
SeqSyntax
SequenceFilterOps
SetOps
SetSyntax
ShowSyntax
StrongSyntax
TabulateOps
TraverseFilterOps
TraverseFilterSyntax
TraverseSyntax
TryOps
TrySyntax
TupleParallelSyntax
TupleSemigroupalSyntax
UniteOps
UnorderedFoldableOps
UnorderedFoldableSyntax
UnorderedTraverseSyntax
ValidatedExtension
ValidatedExtensionSyntax
ValidatedIdSyntax
ValidatedSyntax
VectorOps
VectorSyntax
WriterIdSyntax
WriterSyntax
align
all
alternative
applicative
applicativeError
apply
arrow
arrowChoice
bifoldable
bifunctor
binested
bitraverse
choice
coflatMap
comonad
compose
contravariant
contravariantMonoidal
contravariantSemigroupal
distributive
either
eitherK
eq
flatMap
foldable
functor
functorFilter
group
hash
invariant
ior
list
monad
monadError
monoid
nested
nonEmptyAlternative
nonEmptyTraverse
option
order
parallel
partialOrder
profunctor
reducible
representable
semigroup
semigroupal
semigroupk
seq
set
show
strong
traverse
traverseFilter
try_
unorderedFoldable
unorderedTraverse
validated
vector
writer
tests
BuildInfo
Helpers
Arb
BSL
BSL
Alg
Bnd
Bnd
Alg
CGrp
CGrp
Alg
CMono
CMono
Alg
CSemi
CSemi
Alg
Companion
Eqed
Eqed
Grp
Grp
Alg
Hsh
Hsh
O
Mono
Mono
Alg
N
Ord
Ord
O
POrd
POrd
O
Q
SL
SL
Alg
Semi
Semi
Alg
ListWrapper
ListWrapper
Align
Align
AllOps
Ops
ToAlignOps
nonInheritedOps
ops
Alternative
Alternative
AllOps
Ops
ToAlternativeOps
nonInheritedOps
ops
Always
Always
Applicative
Applicative
AllOps
Ops
ToApplicativeOps
nonInheritedOps
ops
ApplicativeError
ApplicativeError
ApplicativeThrow
Apply
Apply
AllOps
Ops
ToApplyOps
nonInheritedOps
ops
ApplyArityFunctions
Bifoldable
Bifoldable
AllOps
Ops
ToBifoldableOps
nonInheritedOps
ops
Bifunctor
Bifunctor
AllOps
Ops
ToBifunctorOps
nonInheritedOps
ops
Bimonad
Bimonad
AllOps
Ops
ToBimonadOps
nonInheritedOps
ops
Bitraverse
Bitraverse
AllOps
Ops
ToBitraverseOps
nonInheritedOps
ops
CoflatMap
CoflatMap
AllOps
Ops
ToCoflatMapOps
nonInheritedOps
ops
CommutativeApplicative
CommutativeApplicative
AllOps
Ops
ToCommutativeApplicativeOps
nonInheritedOps
ops
CommutativeApply
CommutativeApply
AllOps
Ops
ToCommutativeApplyOps
nonInheritedOps
ops
CommutativeFlatMap
CommutativeFlatMap
AllOps
Ops
ToCommutativeFlatMapOps
nonInheritedOps
ops
CommutativeMonad
CommutativeMonad
AllOps
Ops
ToCommutativeMonadOps
nonInheritedOps
ops
Comonad
Comonad
AllOps
Ops
ToComonadOps
nonInheritedOps
ops
Contravariant
Contravariant
AllOps
Ops
ToContravariantOps
nonInheritedOps
ops
ContravariantMonoidal
ContravariantMonoidal
AllOps
Ops
ToContravariantMonoidalOps
nonInheritedOps
ops
ContravariantSemigroupal
ContravariantSemigroupal
AllOps
Ops
ToContravariantSemigroupalOps
nonInheritedOps
ops
Defer
Defer
Distributive
Distributive
AllOps
Ops
ToDistributiveOps
nonInheritedOps
ops
Eval
Eval
Defer
FlatMap
Leaf
EvalGroup
EvalMonoid
EvalSemigroup
FlatMap
FlatMap
AllOps
Ops
ToFlatMapOps
nonInheritedOps
ops
FlatMapArityFunctions
Foldable
Foldable
AllOps
Ops
ToFoldableOps
nonInheritedOps
ops
FoldableNFunctions
Functor
Functor
AllOps
Ops
ToFunctorOps
nonInheritedOps
ops
FunctorFilter
FunctorFilter
AllOps
Ops
ToFunctorFilterOps
nonInheritedOps
ops
FunctorFilterInstances0
Id
Inject
Inject
InjectK
InjectK
Invariant
Invariant
AllOps
Ops
ToInvariantOps
nonInheritedOps
ops
InvariantMonoidal
InvariantMonoidal
AllOps
Ops
ToInvariantMonoidalOps
nonInheritedOps
ops
InvariantSemigroupal
InvariantSemigroupal
AllOps
Ops
ToInvariantSemigroupalOps
nonInheritedOps
ops
Later
Later
Monad
Monad
AllOps
Ops
ToMonadOps
nonInheritedOps
ops
MonadError
MonadError
MonadThrow
MonoidK
MonoidK
AllOps
Ops
ToMonoidKOps
nonInheritedOps
ops
NonEmptyAlternative
NonEmptyAlternative
AllOps
Ops
ToNonEmptyAlternativeOps
nonInheritedOps
ops
NonEmptyParallel
NonEmptyParallel
NonEmptyReducible
NonEmptyTraverse
NonEmptyTraverse
AllOps
Ops
ToNonEmptyTraverseOps
nonInheritedOps
ops
NotNull
NotNull
Now
Parallel
Parallel
ParallelArityFunctions
ParallelArityFunctions2
Reducible
Reducible
AllOps
Ops
ToReducibleOps
nonInheritedOps
ops
Representable
Representable
SemigroupK
SemigroupK
AllOps
Ops
ToSemigroupKOps
nonInheritedOps
ops
SemigroupKInstances0
Semigroupal
Semigroupal
AllOps
Ops
ToSemigroupalOps
nonInheritedOps
ops
SemigroupalArityFunctions
Show
Show
ContravariantShow
Ops
ShowInterpolator
Shown
Shown
ToShowOps
StackSafeMonad
Traverse
Traverse
AllOps
Ops
ToTraverseOps
nonInheritedOps
ops
TraverseFilter
TraverseFilter
AllOps
Ops
ToTraverseFilterOps
nonInheritedOps
ops
UnorderedFoldable
UnorderedFoldable
AllOps
Ops
ToUnorderedFoldableOps
nonInheritedOps
ops
UnorderedTraverse
UnorderedTraverse
AllOps
Ops
ToUnorderedTraverseOps
nonInheritedOps
ops
implicits
alleycats
compat
IterableEmptyInstance
laws.discipline
FlatMapRecTests
FlatMapRecTests
ReferentialEqTests
ReferentialEqTests
SystemIdentityHashTests
SystemIdentityHashTests
std
FutureInstances
IterableInstances
ListInstances
MapInstances
OptionInstances
SetInstances
TryInstances
all
future
iterable
list
map
option
set
try_
syntax
EmptySyntax
EmptyOps
ExtractSyntax
FoldableSyntax
ExtraFoldableOps
all
empty
extract
foldable
ConsK
ConsK
AllOps
Ops
ToConsKOps
nonInheritedOps
ops
Empty
Empty
AllOps
Ops
ToEmptyOps
nonInheritedOps
ops
EmptyK
EmptyK
AllOps
Ops
ToEmptyKOps
nonInheritedOps
ops
Extract
Extract
AllOps
Ops
ToExtractOps
nonInheritedOps
ops
One
One
AllOps
Ops
ToOneOps
nonInheritedOps
ops
Pure
Pure
AllOps
Ops
ToPureOps
nonInheritedOps
ops
ReferentialEq
ReferentialEq
SystemIdentityHash
SystemIdentityHash
Zero
Zero
AllOps
Ops
ToZeroOps
nonInheritedOps
ops
algebra
instances
all
array
bigDecimal
bigInt
bitSet
boolean
byte
char
int
list
long
map
option
set
short
string
tuple
unit
AllInstances
ArrayInstances
BigDecimalAlgebra
BigDecimalInstances
BigIntAlgebra
BigIntInstances
BigIntTruncatedDivison
BitSetAlgebra
BitSetInstances
BooleanAlgebra
BooleanInstances
ByteAlgebra
ByteInstances
CharInstances
DoubleAlgebra
DoubleInstances
FloatAlgebra
FloatInstances
IntAlgebra
IntInstances
ListInstances
LongAlgebra
LongInstances
MapAdditiveMonoid
MapInstances
MapInstances0
MapInstances1
MapInstances2
MapInstances3
MapSemiring
OptionInstances
SetBoolRng
SetInstances
SetLattice
SetSemiring
ShortAlgebra
ShortInstances
StaticMethods
StringInstances
TupleInstances
UnitAlgebra
UnitInstances
lattice
Bool
Bool
BoolFromBoolRing
BoolRingFromBool
BoolRngFromGenBool
BoundedDistributiveLattice
BoundedDistributiveLattice
BoundedJoinSemilattice
BoundedJoinSemilattice
BoundedJoinSemilatticeFunctions
BoundedLattice
BoundedLattice
BoundedMeetSemilattice
BoundedMeetSemilattice
BoundedMeetSemilatticeFunctions
DeMorgan
DeMorgan
DeMorganFunctions
DistributiveLattice
DistributiveLattice
DualBool
GenBool
GenBool
GenBoolFromBoolRng
GenBoolFunctions
Heyting
Heyting
HeytingFunctions
HeytingGenBoolOverlap
JoinSemilattice
JoinSemilattice
JoinSemilatticeFunctions
Lattice
Lattice
Logic
Logic
LogicFunctions
MeetSemilattice
MeetSemilattice
MeetSemilatticeFunctions
MinMaxBoundedDistributiveLattice
MinMaxLattice
laws
BaseLaws
BaseLaws
BaseRuleSet
BooleanOps
CheckEqOps
CheckOrderOps
CheckSupport
DeMorganLaws
DeMorganLaws
DeMorganProperties
GroupLaws
GroupLaws
GroupProperties
LatticeLaws
LatticeLaws
LatticeProperties
LatticePartialOrderLaws
LatticePartialOrderLaws
LatticePartialOrderProperties
LogicLaws
LogicLaws
LogicProperties
Ops
OrderLaws
OrderLaws
OrderProperties
RingLaws
RingLaws
AdditiveProperties
MultiplicativeProperties
RingProperties
RingProperties
Rules
ring
AdditiveCommutativeGroup
AdditiveCommutativeGroup
AdditiveCommutativeMonoid
AdditiveCommutativeMonoid
AdditiveCommutativeSemigroup
AdditiveCommutativeSemigroup
AdditiveGroup
AdditiveGroup
AdditiveGroupFunctions
AdditiveMonoid
AdditiveMonoid
AdditiveMonoidFunctions
AdditiveSemigroup
AdditiveSemigroup
AdditiveSemigroupFunctions
BoolRing
BoolRing
BoolRng
BoolRng
CommutativeRig
CommutativeRig
CommutativeRing
CommutativeRing
CommutativeRng
CommutativeRng
CommutativeSemifield
CommutativeSemifield
CommutativeSemiring
CommutativeSemiring
DivisionRing
DivisionRing
DivisionRingFunctions
EuclideanRing
EuclideanRing
EuclideanRingFunctions
Field
Field
FieldFunctions
GCDRing
GCDRing
GCDRingFunctions
MultiplicativeCommutativeGroup
MultiplicativeCommutativeGroup
MultiplicativeCommutativeMonoid
MultiplicativeCommutativeMonoid
MultiplicativeCommutativeSemigroup
MultiplicativeCommutativeSemigroup
MultiplicativeGroup
MultiplicativeGroup
MultiplicativeGroupFunctions
MultiplicativeMonoid
MultiplicativeMonoid
MultiplicativeMonoidFunctions
MultiplicativeSemigroup
MultiplicativeSemigroup
MultiplicativeSemigroupFunctions
Rig
Rig
Ring
Ring
RingFunctions
Rng
Rng
Semifield
Semifield
Semiring
Semiring
Signed
Signed
Negative
Positive
Sign
Sign
Zero
forAdditiveCommutativeGroup
forAdditiveCommutativeMonoid
SignedFunctions
TruncatedDivision
TruncatedDivision
forCommutativeRing
TruncatedDivisionFunctions
Priority
Priority
Fallback
Preferred
cats-docs
/
cats
/
Bifoldable
/
ops
ops
cats.Bifoldable.ops
object
ops
Attributes
Deprecated
true
Source
Bifoldable.scala
Graph
Reset zoom
Hide graph
Show graph
Supertypes
class
Object
trait
Matchable
class
Any
Self type
ops
.
type
Members list
Clear all
Implicits
Implicits
implicit
def
toAllBifoldableOps
[
F
[
_
,
_
],
A
,
B
](
target
:
F
[
A
,
B
])(
implicit
tc
:
Bifoldable
[
F
]):
AllOps
[
F
,
A
,
B
] {
type
TypeClassType
=
Bifoldable
[
F
]; }
Attributes
Source
Bifoldable.scala
In this article
Attributes
Members list
Implicits
Implicits