< Back

Packages

package root
Definition Classes
root
package scalaz
Scalaz: Type classes and pure functional data structures for Scala.
Scalaz: Type classes and pure functional data structures for Scala.
This package, scalaz, contains:
- type class definitions
- data structures
- related functions
Type class instances and other functions related to the Scala and Java standard library are in scalaz.std
Implicit conversions and wrapper classes that provide a more convenient syntax for accessing the functionality of the library are in scalaz.syntax.
Type Classes Index
- scalaz.Semigroup
- scalaz.Monoid extends scalaz.Semigroup
- scalaz.Equal
- scalaz.Show
- scalaz.Order extends scalaz.Equal
- scalaz.Enum extends scalaz.Order
- scalaz.Plus
- scalaz.PlusEmpty extends scalaz.Plus
- scalaz.IsEmpty extends scalaz.PlusEmpty
- scalaz.Optional
- scalaz.InvariantFunctor
- scalaz.Functor extends scalaz.InvariantFunctor
- scalaz.Contravariant extends scalaz.InvariantFunctor
- scalaz.Divide extends scalaz.Contravariant
- scalaz.Divisible extends scalaz.Divide
- scalaz.Apply extends scalaz.Functor
- scalaz.Applicative extends scalaz.Apply
- scalaz.Align extends scalaz.Functor
- scalaz.Zip
- scalaz.Unzip
- scalaz.Cozip
- scalaz.Bind extends scalaz.Apply
- scalaz.BindRec extends scalaz.Bind
- scalaz.Monad extends scalaz.Applicative with scalaz.Bind
- scalaz.Cobind extends scalaz.Functor
- scalaz.Comonad extends scalaz.Cobind
- scalaz.ApplicativePlus extends scalaz.Applicative with scalaz.PlusEmpty
- scalaz.MonadPlus extends scalaz.Monad with scalaz.ApplicativePlus
- scalaz.Foldable
- scalaz.Foldable1 extends scalaz.Foldable
- scalaz.Traverse extends scalaz.Functor with scalaz.Foldable
- scalaz.Traverse1 extends scalaz.Traverse with scalaz.Foldable1
- scalaz.Associative
- scalaz.Bifunctor
- scalaz.Bifoldable
- scalaz.Bitraverse extends scalaz.Bifunctor with scalaz.Bifoldable
- scalaz.Catchable
- scalaz.Nondeterminism extends scalaz.Monad
- scalaz.Compose
- scalaz.Profunctor
- scalaz.Strong extends scalaz.Profunctor
- scalaz.ProChoice extends scalaz.Profunctor
- scalaz.Category extends scalaz.Compose
- scalaz.Choice extends scalaz.Category
- scalaz.Split extends scalaz.Compose
- scalaz.Arrow extends scalaz.Split with scalaz.Strong with scalaz.Category
- scalaz.MonadState extends scalaz.Monad
- scalaz.MonadError extends scalaz.Monad
- scalaz.MonadTell extends scalaz.Monad
- scalaz.MonadReader extends scalaz.Monad
- scalaz.ComonadStore extends scalaz.Comonad
Data Structures Index
- scalaz.Validation Represent computations that may succeed or fail, accumulating multiple errors.
- scalaz.NonEmptyList A list containing at least one element.
- scalaz.DList A difference list, supporting efficient append and prepend.
- scalaz.EphemeralStream A stream that holds weak references to its elements, and recomputes them if needed if reclaimed by the garbage collector.
- scalaz.Heap A priority queue, implemented with bootstrapped skew binomial heaps.
- scalaz.Endo Represents functions from A => A.
- scalaz.FingerTree A tree containing elements at it's leaves, and measures at the nodes. Can be adapted to various purposes by choosing a different measure, for example scalaz.IndSeq and scalaz.OrdSeq.
- scalaz.Lens Composable, functional alternative to getters and setters
- scalaz.Tree A multiway tree. Each node contains a single element, and a Stream of sub-trees.
- scalaz.TreeLoc A cursor over a scalaz.Tree.
- scalaz.Zipper A functional cursor over a List.
- scalaz.Kleisli Represents a function A => M[B], allowing chaining. Also known, and aliased, as scalaz.ReaderT.
- scalaz.StateT Computations that modify state.
- scalaz.WriterT Computations that log a value
- scalaz.OptionT Represents computations of type F[Option[A]]
- scalaz.MaybeT Represents computations of type F[Maybe[A]]
- scalaz.EitherT Represents computations of type F[A \/ B]
Definition Classes
root
package syntax
Implicits to provide a convenient syntax to work with type classes and functions.
Implicits to provide a convenient syntax to work with type classes and functions.
Non-trivial code should *not* be defined in this package; instead delegate.
Definition Classes
scalaz
package effect
Implicits to provide a convenient syntax to work with type classes and functions.
Implicits to provide a convenient syntax to work with type classes and functions.
Non-trivial code should *not* be defined in this package; instead delegate.
Definition Classes
syntax
package std
Definition Classes
syntax
AlignOps
AlignSyntax
ApplicativeBuilder
ApplicativeOps
ApplicativePlusOps
ApplicativePlusSyntax
ApplicativeSyntax
ApplyOps
ApplySyntax
ArrowOps
ArrowSyntax
AssociativeOps
AssociativeSyntax
BandOps
BandSyntax
BifoldableOps
BifoldableSyntax
BifunctorOps
BifunctorSyntax
BindOps
BindRecOps
BindRecSyntax
BindSyntax
BitraverseOps
BitraverseSyntax
CatchableOps
CatchableSyntax
CategoryOps
CategorySyntax
ChoiceOps
ChoiceSyntax
CobindOps
CobindSyntax
ComonadOps
ComonadSyntax
ComposeOps
ComposeSyntax
ConstOps
ContTOps
ContravariantOps
ContravariantSyntax
CozipOps
CozipSyntax
DivideOps
DivideSyntax
DivisibleOps
DivisibleSyntax
EitherOps
EitherTOps
EnumOps
EnumSyntax
EqualOps
EqualSyntax
Foldable1Ops
Foldable1Syntax
FoldableOps
FoldableSyntax
FunctorOps
FunctorSyntax
IdOps
InvariantFunctorOps
InvariantFunctorSyntax
IsEmptyOps
IsEmptySyntax
KleisliFAOps
KleisliIdOps
MaybeOps
MonadErrorIdOps
MonadErrorOps
MonadErrorSyntax
MonadListenOps
MonadListenSyntax
MonadOps
MonadPlusOps
MonadPlusSyntax
MonadSyntax
MonadTellOps
MonadTellSyntax
MonadTransGFGA
MonoidOps
MonoidSyntax
NelOps
NondeterminismOps
NondeterminismSyntax
Ops
OptionalOps
OptionalSyntax
OrderOps
OrderSyntax
PlusEmptyOps
PlusEmptySyntax
PlusOps
PlusSyntax
ProChoiceOps
ProChoiceSyntax
ProfunctorOps
ProfunctorSyntax
ReducerOps
SemiLatticeOps
SemiLatticeSyntax
SemigroupOps
SemigroupSyntax
ShowOps
ShowSyntax
SplitOps
SplitSyntax
StateOps
StrictTreeOps
StrongOps
StrongSyntax
Syntaxes
TagOps
TheseOps
ThesePairOps
ToAlignOps
ToAlignOps0
ToApplicativeOps
ToApplicativeOps0
ToApplicativePlusOps
ToApplicativePlusOps0
ToApplyOps
ToApplyOps0
ToArrowOps
ToArrowOps0
ToAssociativeOps
ToAssociativeOps0
ToBandOps
ToBifoldableOps
ToBifoldableOps0
ToBifunctorOps
ToBifunctorOps0
ToBindOps
ToBindOps0
ToBindRecOps
ToBindRecOps0
ToBitraverseOps
ToBitraverseOps0
ToCatchableOps
ToCatchableOps0
ToCategoryOps
ToCategoryOps0
ToChoiceOps
ToChoiceOps0
ToCobindOps
ToCobindOps0
ToComonadOps
ToComonadOps0
ToComposeOps
ToComposeOps0
ToConstOps
ToContTOps
ToContravariantOps
ToContravariantOps0
ToCozipOps
ToCozipOps0
ToDataOps
ToDivideOps
ToDivideOps0
ToDivisibleOps
ToDivisibleOps0
ToEitherOps
ToEitherTOps
ToEnumOps
ToEqualOps
ToFoldable1Ops
ToFoldable1Ops0
ToFoldableOps
ToFoldableOps0
ToFunctorOps
ToFunctorOps0
ToIdOps
ToInvariantFunctorOps
ToInvariantFunctorOps0
ToIsEmptyOps
ToIsEmptyOps0
ToKleisliOps
ToKleisliOps0
ToMaybeOps
ToMonadErrorOps
ToMonadListenOps
ToMonadOps
ToMonadOps0
ToMonadPlusOps
ToMonadPlusOps0
ToMonadTellOps
ToMonadTransOps
ToMonoidOps
ToNelOps
ToNondeterminismOps
ToNondeterminismOps0
ToOptionalOps
ToOptionalOps0
ToOrderOps
ToPlusEmptyOps
ToPlusEmptyOps0
ToPlusOps
ToPlusOps0
ToProChoiceOps
ToProChoiceOps0
ToProfunctorOps
ToProfunctorOps0
ToReducerOps
ToSemiLatticeOps
ToSemigroupOps
ToShowOps
ToSplitOps
ToSplitOps0
ToStateOps
ToStrictTreeOps
ToStrongOps
ToStrongOps0
ToTagOps
ToTheseOps
ToTraverse1Ops
ToTraverse1Ops0
ToTraverseOps
ToTraverseOps0
ToTreeOps
ToTypeClassOps
ToUnzipOps
ToUnzipOps0
ToValidationOps
ToWriterOps
ToZipOps
ToZipOps0
Traverse1Ops
Traverse1Syntax
TraverseOps
TraverseSyntax
TreeOps
UnzipOps
UnzipSyntax
ValidationOps
WriterOps
ZipOps
ZipSyntax
align
all
applicative
applicativePlus
apply
arrow
associative
band
bifoldable
bifunctor
bind
bitraverse
catchable
category
choice
cobind
comonad
compose
const
contT
contravariant
cozip
either
eithert
enum
equal
foldable
foldable1
functor
id
invariantFunctor
isEmpty
kleisli
maybe
monad
monadError
monadListen
monadPlus
monadTell
monadTrans
monoid
nel
optional
order
plus
plusEmpty
proChoice
profunctor
reducer
semigroup
show
split
state
strictTree
strong
tag
these
traverse
traverse1
tree
unzip
validation
writer
zip

c

ProChoiceOps

final class ProChoiceOps[F[_, _], A, B] extends Ops[F[A, B]]

Wraps a value self and provides methods related to ProChoice

Source: ProChoiceSyntax.scala

Linear Supertypes

Ops[F[A, B]], AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

ProChoiceOps
Ops
AnyRef
Any

Hide All
Show All

Visibility

Public
Protected

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 val F: ProChoice[F]
final def asInstanceOf[T0]: T0
Definition Classes
Any
def clone(): AnyRef
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.CloneNotSupportedException]) @native()
final def eq(arg0: AnyRef): Boolean
Definition Classes
AnyRef
def equals(arg0: AnyRef): Boolean
Definition Classes
AnyRef → Any
def finalize(): Unit
Attributes
protected[lang]
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.Throwable])
final def getClass(): Class[_ <: AnyRef]
Definition Classes
AnyRef → Any
Annotations
@native()
def hashCode(): Int
Definition Classes
AnyRef → Any
Annotations
@native()
final def isInstanceOf[T0]: Boolean
Definition Classes
Any
final def ne(arg0: AnyRef): Boolean
Definition Classes
AnyRef
final def notify(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def notifyAll(): Unit
Definition Classes
AnyRef
Annotations
@native()
final def proleft[C]: F[\/[A, C], \/[B, C]]
final def proright[C]: F[\/[C, A], \/[C, B]]
val self: F[A, B]
Definition Classes
ProChoiceOps → Ops
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(classOf[java.lang.InterruptedException])
final def wait(arg0: Long, arg1: Int): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException])
final def wait(arg0: Long): Unit
Definition Classes
AnyRef
Annotations
@throws(classOf[java.lang.InterruptedException]) @native()

Inherited from Ops[F[A, B]]

Inherited from AnyRef

Inherited from Any

Ungrouped