scalaz
package
scalaz
Type Members
-
case class
-\/[+A](a: A) extends \/[A, Nothing] with Product with Serializable
-
sealed
class
:+:[+M, +N] extends AnyRef
-
-
sealed abstract
class
==>>[A, B] extends AnyRef
-
type
=?>[-E, +A] = Kleisli[Option, E, A]
-
type
@>[A, B] = LensFamily[A, A, B, B]
-
type
@?>[A, B] = PLensFamily[A, A, B, B]
-
type
@@[+T, Tag] = T with Tagged[Tag]
-
abstract
class
Adjunction[F[_], G[_]] extends AnyRef
-
-
-
sealed
trait
Alpha extends AnyRef
-
-
-
-
trait
Applicative[F[_]] extends Apply[F]
-
trait
ApplicativePlus[F[_]] extends Applicative[F] with PlusEmpty[F]
-
trait
Apply[F[_]] extends Functor[F]
-
trait
Arrow[=>:[_, _]] extends Split[=>:] with Profunctor[=>:]
-
-
-
-
-
trait
Bifoldable[F[_, _]] extends AnyRef
-
trait
Bifunctor[F[_, _]] extends AnyRef
-
sealed
trait
BijectionT[F[+_], G[+_], A, B] extends AnyRef
-
-
-
trait
Bind[F[_]] extends Apply[F]
-
trait
Bitraverse[F[_, _]] extends Bifunctor[F] with Bifoldable[F]
-
sealed
trait
CaseInsensitive[A] extends AnyRef
-
-
trait
Catchable[F[_]] extends AnyRef
-
trait
Category[=>:[_, _]] extends Compose[=>:]
-
sealed
trait
CharSet extends AnyRef
-
-
trait
Choice[=>:[_, _]] extends Category[=>:]
-
trait
Cobind[F[_]] extends Functor[F]
-
trait
Codensity[F[+_], +A] extends AnyRef
-
sealed abstract
class
CodensityInstances extends AnyRef
-
case class
Cofree[S[+_], +A](head: A, tail: S[Cofree[S, A]], S: Functor[S]) extends Product with Serializable
-
-
-
trait
Cohoist[F[_[_], _]] extends ComonadTrans[F]
-
trait
Cojoin[F[_]] extends Functor[F]
-
trait
Cokleisli[F[_], A, B] extends AnyRef
-
-
-
-
trait
Comonad[F[_]] extends Cojoin[F] with Cobind[F]
-
trait
ComonadStore[F[_, _], S] extends Comonad[[x]F[S, x]]
-
trait
ComonadTrans[F[_[_], _]] extends AnyRef
-
trait
Compose[=>:[_, _]] extends AnyRef
-
final
case class
Const[A, B](getConst: A) extends Product with Serializable
-
-
sealed abstract
class
ConstInstances extends ConstInstances0
-
sealed abstract
class
ConstInstances0 extends ConstInstances1
-
sealed abstract
class
ConstInstances1 extends AnyRef
-
-
type
Cont[R, +A] = IndexedContsT[Id, Id, R, R, A]
-
type
ContT[M[+_], R, +A] = IndexedContsT[Id, M, R, R, A]
-
trait
Contravariant[F[_]] extends AnyRef
-
sealed abstract
class
ContravariantCoyoneda[F[_], A] extends AnyRef
-
-
type
Conts[W[+_], R, +A] = IndexedContsT[W, Id, R, R, A]
-
type
ContsT[W[+_], M[+_], R, +A] = IndexedContsT[W, M, R, R, A]
-
sealed
trait
Coproduct[F[+_], G[+_], A] extends AnyRef
-
-
-
-
-
sealed
trait
Cord extends Ops[FingerTree[Int, String]]
-
abstract
class
Corepresentable[F[_], X] extends AnyRef
-
abstract
class
Coyoneda[F[_], A] extends AnyRef
-
trait
Cozip[F[_]] extends AnyRef
-
type
DLeft[+A] = -\/[A]
-
trait
DList[A] extends AnyRef
-
-
-
type
DRight[+B] = \/-[B]
-
sealed abstract
class
Dequeue[A] extends AnyRef
-
sealed abstract
class
DequeueInstances extends AnyRef
-
-
sealed
trait
Diev[A] extends AnyRef
-
trait
DievFunctions extends DievImplementation
-
-
trait
DievInstances extends DievImplementation
-
sealed
trait
Digit extends AnyRef
-
-
-
type
Disjunction[+A, +B] = \/[A, B]
-
-
-
-
-
-
-
type
DisjunctionT[F[+_], A, B] = EitherT[F, A, B]
-
trait
Distributive[F[_]] extends Functor[F]
-
-
-
-
trait
Each[F[_]] extends AnyRef
-
sealed
trait
Either3[+A, +B, +C] extends AnyRef
-
sealed
trait
EitherT[F[+_], +A, +B] extends AnyRef
-
-
-
-
-
sealed
trait
Endo[A] extends AnyRef
-
-
-
trait
Enum[F] extends Order[F]
-
sealed
trait
EphemeralStream[A] extends AnyRef
-
-
-
trait
Equal[F] extends AnyRef
-
final
case class
Failure[E, A](e: E) extends Validation[E, A] with Product with Serializable
-
sealed abstract
class
Finger[V, A] extends AnyRef
-
sealed abstract
class
FingerTree[V, A] extends AnyRef
-
-
-
type
FirstMaybe[A] = Maybe[A] with Tagged[First]
-
type
FirstOf[A] = A with Tagged[FirstVal]
-
type
FirstOption[A] = Option[A] with Tagged[First]
-
trait
FoldCase[A] extends AnyRef
-
-
trait
Foldable[F[_]] extends AnyRef
-
trait
Foldable1[F[_]] extends Foldable[F]
-
trait
Forall[P[_]] extends AnyRef
-
trait
Foralls extends AnyRef
-
case class
Four[V, A](v: V, a1: A, a2: A, a3: A, a4: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable
-
sealed abstract
class
Free[S[+_], +A] extends AnyRef
-
sealed abstract
class
FreeAp[F[_], A] extends AnyRef
-
-
trait
FreeInstances extends TrampolineInstances with SinkInstances with SourceInstances
-
trait
Functor[F[_]] extends AnyRef
-
trait
Generator[C[_]] extends AnyRef
-
trait
Generators extends AnyRef
-
sealed
trait
Heap[A] extends AnyRef
-
-
-
trait
Hoist[F[_[_], _]] extends MonadTrans[F]
-
final
case class
ICons[A](head: A, tail: IList[A]) extends IList[A] with Product with Serializable
-
sealed abstract
class
IList[A] extends Product with Serializable
-
-
sealed abstract
class
IListInstance0 extends AnyRef
-
sealed abstract
class
IListInstances extends IListInstance0
-
type
IMap[A, B] = ==>>[A, B]
-
final
case class
INil[A]() extends IList[A] with Product with Serializable
-
type
IRWS[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[Id, R, W, S1, S2, A]
-
type
IRWST[F[+_], -R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[F, R, W, S1, S2, A]
-
sealed abstract
class
ISet[A] extends AnyRef
-
sealed
trait
ISetFunctions extends AnyRef
-
sealed abstract
class
ISetInstances extends AnyRef
-
-
final
case class
IdT[F[_], A](run: F[A]) extends Product with Serializable
-
-
trait
IdTInstances extends IdTInstances0
-
trait
IdTInstances0 extends IdTInstances1
-
trait
IdTInstances1 extends IdTInstances2
-
trait
IdTInstances2 extends IdTInstances3
-
-
-
-
sealed
trait
IndSeq[A] extends Ops[FingerTree[Int, A]]
-
trait
Index[F[_]] extends AnyRef
-
type
IndexedCont[+R, -O, +A] = IndexedContsT[Id, Id, R, O, A]
-
type
IndexedContT[M[+_], +R, -O, +A] = IndexedContsT[Id, M, R, O, A]
-
type
IndexedConts[W[+_], +R, -O, +A] = IndexedContsT[W, Id, R, O, A]
-
sealed
trait
IndexedContsT[W[+_], M[+_], +R, -O, +A] extends AnyRef
-
-
-
-
type
IndexedReaderWriterState[-R, +W, -S1, +S2, +A] = IndexedReaderWriterStateT[Id, R, W, S1, S2, A]
-
sealed
trait
IndexedReaderWriterStateT[F[+_], -R, +W, -S1, +S2, +A] extends AnyRef
-
-
type
IndexedState[-S1, +S2, +A] = IndexedStateT[Id, S1, S2, A]
-
-
trait
IndexedStateT[F[+_], -S1, +S2, +A] extends AnyRef
-
-
-
-
-
-
type
IndexedStore[+I, -A, +B] = IndexedStoreT[Id, I, A, B]
-
sealed
trait
IndexedStoreT[F[+_], +I, -A, +B] extends AnyRef
-
-
-
-
-
-
case class
Injective[T[_]]() extends Product with Serializable
-
case class
Injective2[T[_, _]]() extends Product with Serializable
-
case class
Injective3[T[_, _, _]]() extends Product with Serializable
-
case class
Injective4[T[_, _, _, _]]() extends Product with Serializable
-
case class
Injective5[T[_, _, _, _, _]]() extends Product with Serializable
-
sealed
trait
InsertionMap[K, V] extends AnyRef
-
-
-
trait
IsEmpty[F[_]] extends PlusEmpty[F]
-
trait
IsomorphismApplicative[F[_], G[_]] extends Applicative[F] with IsomorphismApply[F, G]
-
trait
IsomorphismApplicativePlus[F[_], G[_]] extends ApplicativePlus[F] with IsomorphismEmpty[F, G] with IsomorphismApplicative[F, G]
-
trait
IsomorphismApply[F[_], G[_]] extends Apply[F] with IsomorphismFunctor[F, G]
-
trait
IsomorphismBifunctor[F[_, _], G[_, _]] extends Bifunctor[F]
-
trait
IsomorphismBind[F[_], G[_]] extends Bind[F] with IsomorphismApply[F, G]
-
trait
IsomorphismBitraverse[F[_, _], G[_, _]] extends Bitraverse[F] with IsomorphismBifunctor[F, G]
-
trait
IsomorphismCojoin[F[_], G[_]] extends Cojoin[F] with IsomorphismFunctor[F, G]
-
trait
IsomorphismComonad[F[_], G[_]] extends Comonad[F] with IsomorphismCojoin[F, G]
-
-
trait
IsomorphismEach[F[_], G[_]] extends Each[F]
-
trait
IsomorphismEmpty[F[_], G[_]] extends PlusEmpty[F] with IsomorphismPlus[F, G]
-
-
-
trait
IsomorphismFunctor[F[_], G[_]] extends Functor[F]
-
trait
IsomorphismIndex[F[_], G[_]] extends Index[F]
-
trait
IsomorphismMonad[F[_], G[_]] extends Monad[F] with IsomorphismApplicative[F, G] with IsomorphismBind[F, G]
-
trait
IsomorphismMonadPlus[F[_], G[_]] extends MonadPlus[F] with IsomorphismEmpty[F, G] with IsomorphismMonad[F, G]
-
trait
IsomorphismMonoid[F, G] extends Monoid[F] with IsomorphismSemigroup[F, G]
-
-
trait
IsomorphismPlus[F[_], G[_]] extends Plus[F]
-
-
-
trait
IsomorphismTraverse[F[_], G[_]] extends Traverse[F] with IsomorphismFoldable[F, G] with IsomorphismFunctor[F, G]
-
trait
Isomorphisms extends IsomorphismsLow0
-
-
-
sealed
trait
Kleisli[M[+_], -A, +B] extends AnyRef
-
-
-
-
-
-
-
-
-
-
-
-
trait
Konst[A] extends AnyRef
-
trait
Lan[G[_], H[_], A] extends AnyRef
-
sealed abstract
class
LanInstances extends LanInstances0
-
sealed abstract
class
LanInstances0 extends AnyRef
-
type
LastMaybe[A] = Maybe[A] with Tagged[Last]
-
type
LastOf[A] = A with Tagged[LastVal]
-
type
LastOption[A] = Option[A] with Tagged[Last]
-
sealed
trait
LazyEither[+A, +B] extends AnyRef
-
-
-
sealed
trait
LazyEitherT[F[+_], +A, +B] extends AnyRef
-
-
-
-
-
sealed
trait
LazyOption[+A] extends AnyRef
-
-
-
sealed
trait
LazyOptionT[F[+_], +A] extends AnyRef
-
-
-
-
-
-
sealed
trait
LazyTuple2[A, B] extends AnyRef
-
-
-
sealed
trait
LazyTuple3[A, B, C] extends AnyRef
-
-
-
sealed
trait
LazyTuple4[A, B, C, D] extends AnyRef
-
-
-
-
case class
Left3[+A, +B, +C](a: A) extends Either3[A, B, C] with Product with Serializable
-
trait
Leibniz[-L, +H >: L, A >: L <: H, B >: L <: H] extends AnyRef
-
-
-
trait
Length[F[_]] extends AnyRef
-
type
Lens[A, B] = LensFamily[A, A, B, B]
-
sealed
trait
LensFamily[-A1, +A2, +B1, -B2] extends AnyRef
-
-
trait
LensFunctions extends LensFamilyFunctions
-
trait
LensInstances extends LensInstances0
-
-
trait
Liskov[-A, +B] extends AnyRef
-
-
-
sealed
case class
ListT[M[+_], +A](underlying: M[List[A]]) extends Product with Serializable
-
trait
ListTInstances extends ListTInstances1
-
-
-
-
sealed abstract
class
MapInstances extends MapInstances0
-
sealed abstract
class
MapInstances0 extends AnyRef
-
type
MaxMaybe[A] = Maybe[A] with Tagged[Max]
-
type
MaxOf[A] = A with Tagged[MaxVal]
-
type
MaxOption[A] = Option[A] with Tagged[Max]
-
sealed abstract
class
Maybe[A] extends AnyRef
-
-
sealed abstract
class
MaybeInstances extends AnyRef
-
final
case class
MaybeT[F[_], A](run: F[Maybe[A]]) extends Product with Serializable
-
-
sealed abstract
class
MaybeTInstances extends MaybeTInstances0
-
sealed abstract
class
MaybeTInstances0 extends MaybeTInstances1
-
sealed abstract
class
MaybeTInstances1 extends MaybeTInstances2
-
sealed abstract
class
MaybeTInstances2 extends AnyRef
-
sealed
trait
Memo[K, V] extends AnyRef
-
-
-
case class
Middle3[+A, +B, +C](b: B) extends Either3[A, B, C] with Product with Serializable
-
type
MinMaybe[A] = Maybe[A] with Tagged[Min]
-
type
MinOf[A] = A with Tagged[MinVal]
-
type
MinOption[A] = Option[A] with Tagged[Min]
-
trait
Monad[F[_]] extends Applicative[F] with Bind[F]
-
trait
MonadListen[F[_, _], W] extends MonadTell[F, W]
-
trait
MonadPartialOrder[G[_], F[_]] extends NaturalTransformation[F, G]
-
-
-
trait
MonadPlus[F[_]] extends Monad[F] with ApplicativePlus[F]
-
trait
MonadReader[F[_, _], S] extends Monad[[x]F[S, x]]
-
trait
MonadState[F[_, _], S] extends Monad[[x]F[S, x]]
-
trait
MonadTell[F[_, _], W] extends Monad[[α]F[W, α]]
-
trait
MonadTrans[F[_[_], _]] extends AnyRef
-
trait
Monoid[F] extends Semigroup[F]
-
sealed abstract
class
Name[+A] extends AnyRef
-
-
-
sealed abstract
class
Need[+A] extends Name[A]
-
sealed abstract
class
Node[V, A] extends AnyRef
-
type
NonEmptyIList[A] = OneAnd[IList, A]
-
sealed
trait
NonEmptyList[+A] extends AnyRef
-
-
-
-
trait
Nondeterminism[F[_]] extends Monad[F]
-
sealed
trait
NotNothing[A] extends AnyRef
-
case class
One[V, A](v: V, a1: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable
-
final
case class
OneAnd[F[_], A](head: A, tail: F[A]) extends Product with Serializable
-
-
sealed abstract
class
OneAndInstances extends OneAndInstances0
-
sealed abstract
class
OneAndInstances0 extends OneAndInstances1
-
sealed abstract
class
OneAndInstances1 extends OneAndInstances2
-
sealed abstract
class
OneAndInstances2 extends OneAndInstances3
-
sealed abstract
class
OneAndInstances3 extends OneAndInstances4
-
sealed abstract
class
OneAndInstances4 extends OneAndInstances5
-
sealed abstract
class
OneAndInstances5 extends AnyRef
-
final
case class
OneOr[F[_], A](run: \/[F[A], A]) extends Product with Serializable
-
-
sealed abstract
class
OneOrInstances extends OneOrInstances0
-
sealed abstract
class
OneOrInstances0 extends OneOrInstances1
-
sealed abstract
class
OneOrInstances1 extends OneOrInstances2
-
sealed abstract
class
OneOrInstances2 extends OneOrInstances3
-
sealed abstract
class
OneOrInstances3 extends OneOrInstances4
-
sealed abstract
class
OneOrInstances4 extends OneOrInstances5
-
sealed abstract
class
OneOrInstances5 extends OneOrInstances6
-
sealed abstract
class
OneOrInstances6 extends AnyRef
-
final
case class
OptionT[F[+_], +A](run: F[Option[A]]) extends Product with Serializable
-
-
-
-
-
-
-
sealed
trait
OrdSeq[A] extends Ops[FingerTree[LastOption[A], A]]
-
trait
Order[F] extends Equal[F]
-
sealed abstract
class
Ordering extends AnyRef
-
-
-
type
PIndexedState[-S1, +S2, +A] = IndexedStateT[Id, S1, S2, Option[A]]
-
type
PIndexedStateT[F[+_], -S1, +S2, +A] = IndexedStateT[F, S1, S2, Option[A]]
-
type
PLens[A, B] = PLensFamily[A, A, B, B]
-
sealed
trait
PLensFamily[-A1, +A2, +B1, -B2] extends AnyRef
-
-
trait
PLensFunctions extends PLensFamilyFunctions with PLensInstances
-
-
type
PState[S, +A] = IndexedStateT[Id, S, S, Option[A]]
-
type
PStateT[F[+_], S, +A] = IndexedStateT[F, S, S, Option[A]]
-
trait
Plus[F[_]] extends AnyRef
-
trait
PlusEmpty[F[_]] extends Plus[F]
-
trait
Profunctor[=>:[_, _]] extends AnyRef
-
-
type
RWST[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]
-
trait
Ran[G[_], H[_], A] extends AnyRef
-
case class
Ranked[A](rank: Int, value: A) extends Product with Serializable
-
type
Reader[-E, +A] = Kleisli[Id, E, A]
-
type
ReaderT[F[+_], -E, +A] = Kleisli[F, E, A]
-
type
ReaderWriterState[-R, +W, S, +A] = IndexedReaderWriterStateT[Id, R, W, S, S, A]
-
type
ReaderWriterStateT[F[+_], -R, +W, S, +A] = IndexedReaderWriterStateT[F, R, W, S, S, A]
-
-
-
sealed
trait
Reducer[C, M] extends AnyRef
-
-
-
abstract
class
Representable[F[_], X] extends AnyRef
-
-
case class
Right3[+A, +B, +C](c: C) extends Either3[A, B, C] with Product with Serializable
-
sealed
class
Rope[A] extends Ops[FingerTreeIntPlus[ImmutableArray[A]]]
-
final
class
RopeBuilder[A] extends Builder[A, Rope[A]]
-
sealed
class
RopeCharW extends Ops[Rope[Char]]
-
trait
Semigroup[F] extends AnyRef
-
trait
Show[F] extends AnyRef
-
-
-
trait
Split[=>:[_, _]] extends Category[=>:]
-
type
State[S, +A] = IndexedStateT[Id, S, S, A]
-
trait
StateFunctions extends IndexedStateFunctions
-
type
StateT[F[+_], S, +A] = IndexedStateT[F, S, S, A]
-
trait
StateTFunctions extends IndexedStateTFunctions
-
trait
StateTInstances extends StateTInstances0
-
-
trait
StateTInstances1 extends IndexedStateTInstances
-
type
Store[A, +B] = IndexedStoreT[Id, A, A, B]
-
type
StoreT[F[+_], A, +B] = IndexedStoreT[F, A, A, B]
-
trait
StoreTFunctions extends IndexedStoreTFunctions
-
trait
StoreTInstances extends StoreTInstances0
-
-
-
trait
StoreTInstances2 extends IndexedStoreTInstances
-
sealed
class
StreamT[M[+_], +A] extends AnyRef
-
-
-
-
-
final
case class
Success[E, A](a: A) extends Validation[E, A] with Product with Serializable
-
type
Tagged[T] = AnyRef { type Tag = T }
-
-
sealed abstract
class
TheseInstances extends TheseInstances0
-
sealed abstract
class
TheseInstances0 extends TheseInstances1
-
sealed abstract
class
TheseInstances1 extends AnyRef
-
case class
Three[V, A](v: V, a1: A, a2: A, a3: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable
-
type
Traced[A, B] = TracedT[Id, A, B]
-
final
case class
TracedT[W[_], A, B](run: W[(A) ⇒ B]) extends Product with Serializable
-
sealed abstract
class
TracedTInstances extends TracedTInstances0
-
sealed abstract
class
TracedTInstances0 extends TracedTInstances1
-
sealed abstract
class
TracedTInstances1 extends TracedTInstances2
-
sealed abstract
class
TracedTInstances2 extends TracedTInstances3
-
sealed abstract
class
TracedTInstances3 extends TracedTInstances4
-
sealed abstract
class
TracedTInstances4 extends AnyRef
-
-
trait
Traverse[F[_]] extends Functor[F] with Foldable[F]
-
trait
Traverse1[F[_]] extends Traverse[F] with Foldable1[F]
-
sealed
trait
Tree[A] extends AnyRef
-
-
-
sealed
trait
TreeLoc[A] extends AnyRef
-
-
-
case class
Two[V, A](v: V, a1: A, a2: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable
-
trait
Unapply[TC[_[_]], MA] extends AnyRef
-
trait
Unapply2[TC[_[_, _]], MAB] extends AnyRef
-
trait
Unapply21[TC[_[_, _], _], MAB] extends AnyRef
-
trait
Unapply2_0 extends AnyRef
-
trait
UnapplyCo[TC[_[_]], MA] extends AnyRef
-
trait
UnapplyCo_0 extends UnapplyCo_1
-
trait
UnapplyCo_1 extends UnapplyCo_2
-
trait
UnapplyCo_2 extends UnapplyCo_3
-
-
trait
UnapplyProduct[TC[_[_]], MA, MB] extends AnyRef
-
trait
Unapply_0 extends Unapply_1
-
trait
Unapply_1 extends Unapply_2
-
trait
Unapply_2 extends Unapply_3
-
trait
Unapply_3 extends Unapply_4
-
trait
Unapply_4 extends AnyRef
-
trait
UnionTypes extends AnyRef
-
sealed
trait
UnitReducer[C, M] extends Reducer[C, M]
-
type
Unwriter[+W, +A] = UnwriterT[Id, W, A]
-
sealed
trait
UnwriterT[F[+_], +U, +A] extends AnyRef
-
-
-
-
-
-
trait
Unzip[F[_]] extends AnyRef
-
sealed
trait
Validation[+E, +A] extends AnyRef
-
-
-
-
-
-
-
-
final
case class
Value[+A](value: A) extends Need[A] with Product with Serializable
-
sealed abstract
class
ViewL[S[_], A] extends AnyRef
-
sealed abstract
class
ViewR[S[_], A] extends AnyRef
-
sealed
class
WrappedRope[A] extends Ops[Rope[A]] with IndexedSeq[A] with IndexedSeqLike[A, WrappedRope[A]]
-
type
Writer[+W, +A] = WriterT[Id, W, A]
-
sealed
trait
WriterT[F[+_], +W, +A] extends AnyRef
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
abstract
class
Yoneda[F[_], A] extends AnyRef
-
trait
Zap[F[_], G[_]] extends AnyRef
-
-
trait
Zip[F[_]] extends AnyRef
-
sealed
trait
Zipper[+A] extends AnyRef
-
-
-
sealed abstract
class
\&/[A, B] extends Product with Serializable
-
sealed
trait
\/[+A, +B] extends AnyRef
-
case class
\/-[+B](b: B) extends \/[Nothing, B] with Product with Serializable
-
type
|-->[+A, B] = IndexedStoreT[Id, B, B, A]
-
-
-
-
type
⊤ = Any
-
type
⊥ = Nothing
-
sealed
trait
BKTree[A] extends AnyRef
-
trait
Enumerator[F[_]] extends AnyRef
-
sealed
trait
Input[E] extends AnyRef
-
sealed
trait
IterV[E, A] extends AnyRef
-
sealed
trait
IterVM[M[+_], E, A] extends AnyRef
-
case class
Iteratee[M[+_], E, A](value: M[IterVM[M, E, A]]) extends Product with Serializable
-
trait
MetricSpace[F] extends AnyRef
Deprecated Value Members
-
object
IterV extends AnyRef
Scalaz: Type classes and pure functional data structures for Scala.
This package, scalaz, contains:
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
Data Structures Index
A => A
.Stream
of sub-trees.A => M[B]
, allowing chaining. Also known, and aliased, asscalaz.ReaderT
.F[Option[A]]
F[Maybe[A]]
F[A \/ B]