< 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
trait Syntaxes extends AnyRef
Definition Classes
syntax
align
align0
all
alt
alt0
applicative
applicative0
applicativeError
applicativeError0
applicativePlus
applicativePlus0
apply
apply0
arrow
arrow0
associative
associative0
band
bifoldable
bifoldable0
bifunctor
bifunctor0
bind
bind0
bitraverse
bitraverse0
catchable
catchable0
category
category0
choice
choice0
cobind
cobind0
comonad
comonad0
compose
compose0
const
contT
contravariant
contravariant0
cozip
cozip0
either
eithert
enum
equal
foldable
foldable0
foldable1
foldable10
functor
functor0
id
invariantFunctor
invariantFunctor0
isEmpty
isEmpty0
kleisli
maybe
monad
monad0
monadError
monadError0
monadListen
monadListen0
monadPlus
monadPlus0
monadTell
monadTell0
monadTrans
monoid
nel
optional
optional0
order
plus
plus0
plusEmpty
plusEmpty0
proChoice
proChoice0
profunctor
profunctor0
reducer
semigroup
show
split
split0
state
strictTree
strong
strong0
tag
these
traverse
traverse0
traverse1
traverse10
tree
unzip
unzip0
validation
writer
zip
zip0

o

scalaz.syntax.Syntaxes

align0

object align0 extends ToAlignOps0[Align]

Source: Syntax.scala

Linear Supertypes

ToAlignOps0[Align], ToAlignOpsU[Align], AnyRef, Any

Ordering

Alphabetic
By Inheritance

Inherited

align0
ToAlignOps0
ToAlignOpsU
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 def ToAlignOps[F[_], A](v: F[A])(implicit F0: Align[F]): AlignOps[F, A]
Definition Classes
ToAlignOps0
implicit def ToAlignOpsUnapply[FA](v: FA)(implicit F0: Unapply[Align, FA]): AlignOps[M, A]
Definition Classes
ToAlignOpsU
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 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 ToAlignOps0[Align]

Inherited from ToAlignOpsU[Align]

Inherited from AnyRef

Inherited from Any

Ungrouped