scalaz
package
scalaz
Type Members
-
final
case class
-\/[+A](a: A) extends \/[A, Nothing] with Product with Serializable
-
sealed
class
:+:[+M, +N] extends AnyRef
-
type
:<:[F[_], G[_]] = Inject[F, G]
-
type
:≺:[F[_], G[_]] = Inject[F, G]
-
-
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] = AnyRef { ... /* 2 definitions in type refinement */ }
-
abstract
class
Adjunction[F[_], G[_]] extends AnyRef
-
-
-
trait
Align[F[_]] extends Functor[F]
-
sealed abstract
class
Alpha extends Product with Serializable
-
-
sealed abstract
class
AlphaInstances 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[=>:] with Category[=>:]
-
trait
Associative[=>:[_, _]] extends AnyRef
-
-
sealed abstract
class
BKTreeInstances extends AnyRef
-
-
-
trait
Bifoldable[F[_, _]] extends AnyRef
-
trait
Bifunctor[F[_, _]] extends AnyRef
-
final
class
BijectionT[F[_], G[_], A, B] extends AnyRef
-
-
sealed abstract
class
BijectionTInstances extends BijectionTInstances0
-
-
trait
Bind[F[_]] extends Apply[F]
-
trait
Bitraverse[F[_, _]] extends Bifunctor[F] with Bifoldable[F]
-
sealed abstract
class
CaseInsensitive[A] extends AnyRef
-
-
trait
Catchable[F[_]] extends AnyRef
-
trait
Category[=>:[_, _]] extends Compose[=>:]
-
-
trait
Choice[=>:[_, _]] extends Category[=>:]
-
trait
Cobind[F[_]] extends Functor[F]
-
abstract
class
Codensity[F[_], A] extends AnyRef
-
sealed abstract
class
CodensityInstances extends AnyRef
-
sealed abstract
class
Cofree[S[_], A] extends AnyRef
-
-
sealed abstract
class
CofreeInstances extends CofreeInstances0
-
sealed abstract
class
CofreeInstances0 extends CofreeInstances1
-
sealed abstract
class
CofreeInstances1 extends CofreeInstances2
-
sealed abstract
class
CofreeInstances2 extends CofreeInstances3
-
sealed abstract
class
CofreeInstances3 extends CofreeInstances4
-
sealed abstract
class
CofreeInstances4 extends AnyRef
-
trait
Cohoist[F[_[_], _]] extends ComonadTrans[F]
-
final
case class
Cokleisli[F[_], A, B](run: (F[A]) ⇒ B) extends Product with Serializable
-
-
sealed abstract
class
CokleisliInstances extends CokleisliInstances0
-
-
trait
Comonad[F[_]] extends 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 InvariantFunctor[F]
-
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]
-
final
case class
Coproduct[F[_], G[_], A](run: \/[F[A], G[A]]) extends Product with Serializable
-
-
sealed abstract
class
CoproductInstances extends CoproductInstances0
-
sealed abstract
class
CoproductInstances0 extends CoproductInstances1
-
sealed abstract
class
CoproductInstances1 extends CoproductInstances2
-
sealed abstract
class
CoproductInstances2 extends CoproductInstances3
-
-
final
case class
Cord(self: FingerTree[Int, String]) extends Product with Serializable
-
abstract
class
Corepresentable[F[_], X] extends AnyRef
-
sealed abstract
class
Coyoneda[F[_], A] extends AnyRef
-
sealed abstract
class
CoyonedaInstances extends CoyonedaInstances0
-
sealed abstract
class
CoyonedaInstances0 extends CoyonedaInstances1
-
sealed abstract
class
CoyonedaInstances1 extends CoyonedaInstances2
-
-
sealed abstract
class
CoyonedaInstances2 extends CoyonedaInstances3
-
sealed abstract
class
CoyonedaInstances3 extends CoyonedaInstances4
-
sealed abstract
class
CoyonedaInstances4 extends CoyonedaInstances5
-
sealed abstract
class
CoyonedaInstances5 extends CoyonedaInstances6
-
sealed abstract
class
CoyonedaInstances6 extends CoyonedaInstances7
-
sealed abstract
class
CoyonedaInstances7 extends CoyonedaInstances8
-
sealed abstract
class
CoyonedaInstances8 extends CoyonedaInstances9
-
sealed abstract
class
CoyonedaInstances9 extends CoyonedaInstances10
-
trait
Cozip[F[_]] extends AnyRef
-
type
DLeft[+A] = -\/[A]
-
final
class
DList[A] extends AnyRef
-
-
sealed abstract
class
DListInstances extends AnyRef
-
type
DRight[+B] = \/-[B]
-
sealed abstract
class
Dequeue[A] extends AnyRef
-
sealed abstract
class
DequeueInstances extends AnyRef
-
-
sealed abstract
class
Diev[A] extends AnyRef
-
trait
DievFunctions extends DievImplementation
-
-
sealed abstract
class
DievInstances extends DievImplementation
-
sealed abstract
class
Digit extends Product with Serializable
-
-
sealed abstract
class
DigitInstances extends AnyRef
-
type
Disjunction[+A, +B] = \/[A, B]
-
-
sealed abstract
class
DisjunctionInstances extends DisjunctionInstances0
-
sealed abstract
class
DisjunctionInstances0 extends DisjunctionInstances1
-
sealed abstract
class
DisjunctionInstances1 extends DisjunctionInstances2
-
-
type
DisjunctionT[F[_], A, B] = EitherT[F, A, B]
-
trait
Distributive[F[_]] extends Functor[F]
-
-
sealed abstract
class
DualInstances extends DualInstances0
-
sealed abstract
class
DualInstances0 extends AnyRef
-
sealed abstract
class
Either3[+A, +B, +C] extends Product with Serializable
-
final
case class
EitherT[F[_], A, B](run: F[\/[A, B]]) extends Product with Serializable
-
-
sealed abstract
class
EitherTInstances extends EitherTInstances0
-
sealed abstract
class
EitherTInstances0 extends EitherTInstances1
-
sealed abstract
class
EitherTInstances1 extends EitherTInstances2
-
sealed abstract
class
EitherTInstances2 extends EitherTInstances3
-
sealed abstract
class
EitherTInstances3 extends AnyRef
-
final
case class
Endo[A](run: (A) ⇒ A) extends Product with Serializable
-
-
sealed abstract
class
EndoInstances extends AnyRef
-
final
case class
Endomorphic[=>:[_, _], A](run: =>:[A, A]) extends Product with Serializable
-
-
sealed abstract
class
EndomorphicInstances extends EndomorphicInstances0
-
-
trait
Enum[F] extends Order[F]
-
sealed abstract
class
EphemeralStream[A] extends AnyRef
-
-
-
trait
Equal[F] extends AnyRef
-
final
case class
Failure[E](e: E) extends Validation[E, Nothing] with Product with Serializable
-
sealed abstract
class
Finger[V, A] extends AnyRef
-
sealed abstract
class
FingerTree[V, A] extends AnyRef
-
-
-
type
FirstMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
FirstOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
FirstOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
trait
FoldCase[A] extends AnyRef
-
sealed abstract
class
FoldCaseInstances 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
-
-
sealed abstract
class
FreeInstances extends FreeInstances0 with TrampolineInstances with SinkInstances with SourceInstances
-
sealed abstract
class
FreeInstances0 extends FreeInstances1
-
sealed abstract
class
FreeInstances1 extends FreeInstances2
-
sealed abstract
class
FreeInstances2 extends FreeInstances3
-
sealed abstract
class
FreeInstances3 extends AnyRef
-
trait
Functor[F[_]] extends InvariantFunctor[F]
-
trait
Generator[C[_]] extends AnyRef
-
trait
Generators extends AnyRef
-
type
GlorifiedTuple[+A, +B] = \/[A, B]
-
sealed abstract
class
Heap[A] extends AnyRef
-
-
sealed abstract
class
HeapInstances 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
-
-
sealed abstract
class
IdTInstances extends IdTInstances0
-
sealed abstract
class
IdTInstances0 extends IdTInstances1
-
sealed abstract
class
IdTInstances1 extends IdTInstances2
-
sealed abstract
class
IdTInstances2 extends IdTInstances3
-
sealed abstract
class
IdTInstances3 extends AnyRef
-
sealed abstract
class
ImmutableArray[+A] extends AnyRef
-
-
-
final
class
IndSeq[A] extends AnyRef
-
sealed abstract
class
IndSeqInstances 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]
-
final
class
IndexedContsT[W[_], M[_], R, O, A] extends AnyRef
-
-
abstract
class
IndexedContsTInstances extends IndexedContsTInstances0
-
-
type
IndexedReaderWriterState[-R, W, -S1, S2, A] = IndexedReaderWriterStateT[Id, R, W, S1, S2, A]
-
sealed abstract
class
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
-
-
sealed abstract
class
IndexedStateTInstances extends IndexedStateTInstances0
-
sealed abstract
class
IndexedStateTInstances0 extends IndexedStateTInstances1
-
sealed abstract
class
IndexedStateTInstances1 extends IndexedStateTInstances2
-
-
type
IndexedStore[I, A, B] = IndexedStoreT[Id, I, A, B]
-
final
case class
IndexedStoreT[F[_], +I, A, B](run: (F[(A) ⇒ B], I)) extends Product with Serializable
-
-
sealed abstract
class
IndexedStoreTInstances extends IndexedStoreTInstances0
-
sealed abstract
class
IndexedStoreTInstances0 extends IndexedStoreTInstances1
-
sealed abstract
class
IndexedStoreTInstances1 extends IndexedStoreTInstances2
-
-
sealed abstract
class
Inject[F[_], G[_]] extends AnyRef
-
-
sealed abstract
class
InjectInstances 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
-
-
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
IsomorphismBifoldable[F[_, _], G[_, _]] extends Bifoldable[F]
-
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] with IsomorphismBifoldable[F, G]
-
trait
IsomorphismCobind[F[_], G[_]] extends Cobind[F] with IsomorphismFunctor[F, G]
-
trait
IsomorphismComonad[F[_], G[_]] extends Comonad[F] with IsomorphismCobind[F, G]
-
-
trait
IsomorphismEmpty[F[_], G[_]] extends PlusEmpty[F] with IsomorphismPlus[F, G]
-
-
-
trait
IsomorphismFoldable1[F[_], G[_]] extends Foldable1[F] with IsomorphismFoldable[F, G]
-
trait
IsomorphismFunctor[F[_], G[_]] extends Functor[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
IsomorphismTraverse1[F[_], G[_]] extends Traverse1[F] with IsomorphismTraverse[F, G] with IsomorphismFoldable1[F, G]
-
sealed abstract
class
Isomorphisms extends IsomorphismsLow0
-
sealed abstract
class
IsomorphismsLow0 extends IsomorphismsLow1
-
sealed abstract
class
IsomorphismsLow1 extends AnyRef
-
final
case class
Kleisli[M[_], A, B](run: (A) ⇒ M[B]) extends Product with Serializable
-
-
abstract
class
KleisliInstances extends KleisliInstances0
-
sealed abstract
class
KleisliInstances0 extends KleisliInstances1
-
sealed abstract
class
KleisliInstances1 extends KleisliInstances2
-
sealed abstract
class
KleisliInstances2 extends KleisliInstances3
-
sealed abstract
class
KleisliInstances3 extends KleisliInstances4
-
sealed abstract
class
KleisliInstances4 extends KleisliInstances5
-
sealed abstract
class
KleisliInstances5 extends KleisliInstances6
-
sealed abstract
class
KleisliInstances6 extends KleisliInstances7
-
sealed abstract
class
KleisliInstances7 extends KleisliInstances8
-
sealed abstract
class
KleisliInstances8 extends AnyRef
-
trait
Konst[A] extends AnyRef
-
trait
Lan[G[_], H[_], A] extends AnyRef
-
type
LastMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
LastOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
LastOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
sealed abstract
class
LazyEither[+A, +B] extends AnyRef
-
-
-
final
case class
LazyEitherT[F[_], A, B](run: F[LazyEither[A, B]]) extends Product with Serializable
-
-
sealed abstract
class
LazyEitherTInstances extends LazyEitherTInstances0
-
sealed abstract
class
LazyEitherTInstances0 extends LazyEitherTInstances1
-
-
sealed abstract
class
LazyOption[+A] extends Product with Serializable
-
-
-
final
case class
LazyOptionT[F[_], A](run: F[LazyOption[A]]) extends Product with Serializable
-
-
sealed abstract
class
LazyOptionTInstances extends LazyOptionTInstances0
-
sealed abstract
class
LazyOptionTInstances0 extends LazyOptionTInstances1
-
-
sealed abstract
class
LazyTuple2[A, B] extends AnyRef
-
sealed abstract
class
LazyTuple2Instances extends LazyTuple2Instances0
-
-
sealed abstract
class
LazyTuple3[A, B, C] extends AnyRef
-
sealed abstract
class
LazyTuple3Instances extends LazyTuple3Instances0
-
-
sealed abstract
class
LazyTuple4[A, B, C, D] extends AnyRef
-
sealed abstract
class
LazyTuple4Instances extends LazyTuple4Instances0
-
-
-
final
case class
Left3[+A, +B, +C](a: A) extends Either3[A, B, C] with Product with Serializable
-
sealed abstract
class
Leibniz[-L, +H >: L, A >: L <: H, B >: L <: H] extends AnyRef
-
-
sealed abstract
class
LeibnizInstances extends AnyRef
-
type
Lens[A, B] = LensFamily[A, A, B, B]
-
sealed abstract
class
LensFamily[A1, A2, B1, B2] extends AnyRef
-
-
trait
LensFunctions extends LensFamilyFunctions
-
abstract
class
LensInstances extends LensInstances0
-
sealed abstract
class
LensInstances0 extends AnyRef
-
sealed abstract
class
Liskov[-A, +B] extends AnyRef
-
-
sealed abstract
class
LiskovInstances extends AnyRef
-
final
case class
ListT[M[_], A](run: M[List[A]]) extends Product with Serializable
-
sealed abstract
class
ListTInstances extends ListTInstances1
-
sealed abstract
class
ListTInstances1 extends ListTInstances2
-
sealed abstract
class
ListTInstances2 extends AnyRef
-
-
sealed abstract
class
MapInstances extends MapInstances0
-
sealed abstract
class
MapInstances0 extends AnyRef
-
type
MaxMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
MaxOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
MaxOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
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
-
-
sealed abstract
class
MemoInstances extends AnyRef
-
final
case class
Middle3[+A, +B, +C](b: B) extends Either3[A, B, C] with Product with Serializable
-
type
MinMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
MinOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
type
MinOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }
-
trait
Monad[F[_]] extends Applicative[F] with Bind[F]
-
trait
MonadError[F[_, _], E] extends Monad[[α]F[E, α]]
-
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]
-
final
class
NonEmptyList[+A] extends AnyRef
-
-
sealed abstract
class
NonEmptyListInstances extends NonEmptyListInstances0
-
-
trait
Nondeterminism[F[_]] extends Monad[F]
-
sealed
trait
NotNothing[A] extends AnyRef
-
final
class
NullArgument[A, B] extends AnyRef
-
-
sealed abstract
class
NullArgumentInstances extends NullArgumentInstances0
-
-
final
class
NullResult[A, B] extends AnyRef
-
-
sealed abstract
class
NullResultInstances extends NullResultInstances0
-
-
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 abstract
class
OptionTInstances extends OptionTInstances0
-
sealed abstract
class
OptionTInstances0 extends OptionTInstances1
-
sealed abstract
class
OptionTInstances1 extends OptionTInstances2
-
sealed abstract
class
OptionTInstances2 extends AnyRef
-
trait
Optional[F[_]] extends AnyRef
-
sealed abstract
class
OrdSeq[A] extends Ops[FingerTree[LastOption[A], A]]
-
trait
Order[F] extends Equal[F]
-
sealed abstract
class
Ordering extends AnyRef
-
-
sealed abstract
class
OrderingInstances 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 abstract
class
PLensFamily[A1, A2, B1, B2] extends AnyRef
-
-
trait
PLensFunctions extends PLensInstances with PLensFamilyFunctions
-
abstract
class
PLensInstances extends AnyRef
-
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
ProChoice[=>:[_, _]] extends Profunctor[=>:]
-
trait
Profunctor[=>:[_, _]] extends AnyRef
-
-
-
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]
-
-
abstract
class
ReaderWriterStateTInstances extends IndexedReaderWriterStateTInstances
-
sealed abstract
class
Reducer[C, M] extends AnyRef
-
-
sealed abstract
class
ReducerInstances extends AnyRef
-
abstract
class
Representable[F[_], X] extends AnyRef
-
-
final
case class
Right3[+A, +B, +C](c: C) extends Either3[A, B, C] with Product with Serializable
-
trait
Semigroup[F] extends AnyRef
-
trait
Show[F] extends AnyRef
-
sealed
trait
SinkInstances extends AnyRef
-
-
trait
Split[=>:[_, _]] extends Compose[=>:]
-
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
-
abstract
class
StateTInstances extends StateTInstances0
-
sealed abstract
class
StateTInstances0 extends StateTInstances1
-
sealed abstract
class
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
-
abstract
class
StoreTInstances extends StoreTInstances0
-
sealed abstract
class
StoreTInstances0 extends StoreTInstances1
-
sealed abstract
class
StoreTInstances1 extends StoreTInstances2
-
sealed abstract
class
StoreTInstances2 extends IndexedStoreTInstances
-
sealed
class
StreamT[M[_], A] extends AnyRef
-
sealed abstract
class
StreamTInstances extends StreamTInstances0
-
sealed abstract
class
StreamTInstances0 extends AnyRef
-
final
case class
Success[A](a: A) extends Validation[Nothing, A] with Product with Serializable
-
-
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
-
-
trait
Traverse[F[_]] extends Functor[F] with Foldable[F]
-
trait
Traverse1[F[_]] extends Traverse[F] with Foldable1[F]
-
sealed abstract
class
Tree[A] extends AnyRef
-
-
sealed abstract
class
TreeInstances extends AnyRef
-
final
case class
TreeLoc[A](tree: Tree[A], lefts: TreeForest[A], rights: TreeForest[A], parents: Parents[A]) extends Product with Serializable
-
-
sealed abstract
class
TreeLocInstances 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
-
sealed
trait
Unapply2_0 extends AnyRef
-
trait
UnapplyProduct[TC[_[_]], MA, MB] extends AnyRef
-
sealed
trait
Unapply_0 extends Unapply_1
-
sealed
trait
Unapply_1 extends Unapply_2
-
sealed
trait
Unapply_2 extends Unapply_3
-
sealed
trait
Unapply_3 extends Unapply_4
-
sealed
trait
Unapply_4 extends AnyRef
-
sealed abstract
class
UnitReducer[C, M] extends Reducer[C, M]
-
type
Unwriter[W, A] = UnwriterT[Id, W, A]
-
final
case class
UnwriterT[F[_], U, A](run: F[(U, A)]) extends Product with Serializable
-
-
sealed abstract
class
UnwriterTInstances extends UnwriterTInstances0
-
sealed abstract
class
UnwriterTInstances0 extends UnwriterTInstances1
-
sealed abstract
class
UnwriterTInstances1 extends UnwriterTInstances2
-
-
trait
Unzip[F[_]] extends AnyRef
-
sealed abstract
class
Validation[+E, +A] extends Product with Serializable
-
-
-
sealed abstract
class
ValidationInstances extends ValidationInstances0
-
sealed abstract
class
ValidationInstances0 extends ValidationInstances1
-
sealed abstract
class
ValidationInstances1 extends ValidationInstances2
-
sealed abstract
class
ValidationInstances2 extends ValidationInstances3
-
-
-
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
-
type
Writer[W, A] = WriterT[Id, W, A]
-
final
case class
WriterT[F[_], W, A](run: F[(W, A)]) extends Product with Serializable
-
-
sealed abstract
class
WriterTInstance5 extends WriterTInstances6
-
sealed abstract
class
WriterTInstances extends WriterTInstances0
-
sealed abstract
class
WriterTInstances0 extends WriterTInstances1
-
sealed abstract
class
WriterTInstances1 extends WriterTInstances2
-
sealed abstract
class
WriterTInstances10 extends WriterTInstances11
-
sealed abstract
class
WriterTInstances11 extends WriterTInstances12
-
sealed abstract
class
WriterTInstances12 extends AnyRef
-
sealed abstract
class
WriterTInstances2 extends WriterTInstances3
-
sealed abstract
class
WriterTInstances3 extends WriterTInstances4
-
sealed abstract
class
WriterTInstances4 extends WriterTInstance5
-
sealed abstract
class
WriterTInstances6 extends WriterTInstances7
-
sealed abstract
class
WriterTInstances7 extends WriterTInstances8
-
sealed abstract
class
WriterTInstances8 extends WriterTInstances9
-
sealed abstract
class
WriterTInstances9 extends WriterTInstances10
-
abstract
class
Yoneda[F[_], A] extends AnyRef
-
trait
Zap[F[_], G[_]] extends AnyRef
-
sealed abstract
class
ZapInstances extends AnyRef
-
trait
Zip[F[_]] extends AnyRef
-
final
case class
Zipper[+A](lefts: Stream[A], focus: A, rights: Stream[A]) extends Product with Serializable
-
-
sealed abstract
class
ZipperInstances extends AnyRef
-
sealed abstract
class
\&/[+A, +B] extends Product with Serializable
-
sealed abstract
class
\/[+A, +B] extends Product with Serializable
-
final
case class
\/-[+B](b: B) extends \/[Nothing, B] with Product with Serializable
-
type
|-->[A, B] = IndexedStoreT[Id, B, B, A]
-
-
-
-
type
∨[A, B] = \/[A, B]
-
type
⊤ = Any
-
type
⊥ = Nothing
-
sealed abstract
class
BKTree[A] extends Product with Serializable
-
final
case class
CharSet(value: String) extends Product with Serializable
-
type
Cojoin[F[_]] = Cobind[F]
-
trait
Each[F[_]] extends AnyRef
-
trait
Index[F[_]] extends AnyRef
-
final
class
InsertionMap[K, V] extends AnyRef
-
-
-
trait
IsomorphismEach[F[_], G[_]] extends Each[F]
-
trait
IsomorphismIndex[F[_], G[_]] extends Index[F]
-
trait
Length[F[_]] extends AnyRef
-
trait
MetricSpace[F] extends AnyRef
-
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
UnionTypes extends AnyRef
-
sealed
class
WrappedRope[A] extends Ops[Rope[A]] with IndexedSeq[A] with IndexedSeqLike[A, WrappedRope[A]]
Deprecated Value Members
-
object
CharSet extends CharSetFunctions with Serializable
-
val
Cojoin: scalaz.Cobind.type
-
object
Each extends AnyRef
-
object
Index extends AnyRef
-
object
InsertionMap extends InsertionMapInstances with InsertionMapFunctions
-
object
Length extends AnyRef
-
object
Rope extends AnyRef
-
object
UnionTypes extends UnionTypes
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 std
Implicit conversions and wrapper classes that provide a more convenient syntax for accessing the functionality of the library are in 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]