package scalaz

  1. Public
  2. All

Type Members

  1. trait Alpha extends AnyRef

  2. trait Alphas extends AnyRef

  3. trait Applicative [Z[_]] extends Pointed[Z] with Apply[Z]

    Defines an applicative functor as described by McBride and Paterson in Applicative Programming with Effects.

  4. class ApplicativeBuilder [M[_], A, B] extends AnyRef

    Not intended for direct use.

  5. trait ApplicativeLow extends AnyRef

  6. trait Apply [Z[_]] extends AnyRef

  7. class ApplyLow extends AnyRef

  8. trait Applys extends AnyRef

  9. trait ArrayByte extends PimpedType[Array[Byte]]

  10. trait ArrayBytes extends AnyRef

  11. trait Arrow [A[_, _]] extends AnyRef

  12. trait BKTree [+A] extends AnyRef

  13. trait BKTrees extends AnyRef

  14. trait Biconstrained [F[_, _], G[_, _], C[_], E[_]] extends AnyRef

    A constrained transformation natural in both sides of a bifunctor

  15. trait Biff [P[_, _], F[_], G[_]] extends AnyRef

  16. trait Bifunctor [F[_, _]] extends AnyRef

    Binary covariant functor.

  17. trait BigIntMultiplication extends NewType[BigInt]

  18. trait BigIntW extends PimpedType[BigInt]

  19. trait BigIntegerMultiplication extends NewType[BigInteger]

  20. trait BigIntegerW extends PimpedType[BigInteger]

  21. trait BigIntegers extends AnyRef

  22. trait BigInts extends AnyRef

  23. trait Bind [Z[_]] extends AnyRef

  24. class BloomFilter extends AnyRef

  25. trait BooleanConjunction extends NewType[Boolean]

  26. trait BooleanConjunctions extends AnyRef

  27. trait BooleanW extends AnyRef

  28. trait Booleans extends AnyRef

  29. trait ByteMultiplication extends NewType[Byte]

  30. trait ByteW extends PimpedType[Byte]

  31. trait Bytes extends AnyRef

  32. trait CanBuildAnySelf [CC[_]] extends AnyRef

  33. trait Category [~>:[_, _]] extends GeneralizedCategory

  34. trait CharMultiplication extends NewType[Char]

  35. trait CharSet extends AnyRef

  36. trait CharSets extends AnyRef

  37. trait CharW extends PimpedType[Char]

  38. trait Chars extends AnyRef

  39. trait Cofree [F[+_], A] extends Nu[F] with Cofree_[F, A]

    Positive cofree corecursion

  40. trait CofreeRec [F[+_], A] extends Mu[F] with CofreeRec_[F, A]

    Positive cofree recursion

  41. trait CofreeRec_ [F[_], A] extends AnyRef

    Cofree recursion

  42. trait Cofree_ [F[_], A] extends Immutable

    Cofree corecursion

  43. trait Cojoin [M[_]] extends AnyRef

  44. trait Cokleisli [W[_], A, B] extends AnyRef

  45. trait Cokleislis extends AnyRef

  46. trait Comonad [W[_]] extends Copointed[W] with Cojoin[W]

  47. trait ComonadLow extends AnyRef

  48. trait Compos [A] extends AnyRef

  49. case class Const [A, +B] (value: A) extends NewType[A] with Product with Serializable

    Used to generate Phantom Applicative Functors and categories from a Monoidal type A

  50. case class Const2 [A, +B, +C] (value: A) extends NewType[A] with Product with Serializable

  51. trait Constrained [F[_], G[_], E[_]] extends AnyRef

    A constrained natural transformation

  52. trait Contravariant [F[_]] extends InvariantFunctor[F]

    Contra-variant function application in an environment.

  53. trait Copointed [C[_]] extends Functor[C] with Copure[C]

  54. trait CopointedLow extends AnyRef

  55. trait Copure [-C[_]] extends AnyRef

  56. trait Digit extends AnyRef

  57. trait Digits extends AnyRef

  58. trait Dinatural [F[_, _], G[_, _]] extends AnyRef

  59. trait Distributes [F[_], G[_]] extends AnyRef

  60. trait Dual [A] extends NewType[A]

    Given a type A that has an instance of the Semigroup type class, the type Dual[A] has a Semigroup instance that reverses the arguments to scalaz.Semigroup#append.

  61. trait Duals extends AnyRef

  62. trait Each [-E[_]] extends AnyRef

  63. trait Empty [E[_]] extends AnyRef

  64. trait Emptys extends AnyRef

  65. trait Endo [A] extends NewType[(A) ⇒ A]

  66. trait Endos extends AnyRef

  67. trait EnumerationW [A] extends PimpedType[Enumeration[A]]

  68. trait Enumerations extends AnyRef

  69. trait Enumerator [F[_]] extends AnyRef

    An Enumerator[F] feeds data from an F to an iteratee

  70. trait EphemeralStream [+A] extends AnyRef

  71. trait Equal [-A] extends AnyRef

    A type safe alternative to { @scala.

  72. trait EqualLow extends AnyRef

  73. trait Equals extends AnyRef

  74. trait Extras extends AnyRef

  75. trait FailProjection [+E, +A] extends AnyRef

  76. case class Failure [E, A] (e: E) extends Validation[E, A] with Product with Serializable

  77. class Finger [V, A] extends AnyRef

    sealed abstract
  78. class FingerTree [V, A] extends AnyRef

    sealed abstract
  79. class FingerTreeIntPlus [A] extends AnyRef

  80. trait FirstLazyOption [A] extends NewType[LazyOption[A]]

  81. trait FirstLazyOptions extends AnyRef

  82. trait FirstOption [A] extends NewType[Option[A]]

  83. trait FirstOptions extends AnyRef

  84. trait Foldable [F[_]] extends AnyRef

    Data structures that can be folded.

  85. trait FoldableLow extends AnyRef

  86. trait Forall [P[_]] extends AnyRef

    A universally quantified value

  87. trait ForallK [K, P[_]] extends AnyRef

  88. trait ForallM [K[_[_]], P[_[_]]] extends AnyRef

  89. 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

  90. trait Function0W [T] extends AnyRef

  91. trait Function0s extends AnyRef

  92. trait Function1W [T, R] extends AnyRef

  93. trait Function1s extends AnyRef

  94. trait Function2W [T1, T2, R] extends AnyRef

  95. trait Function2s extends AnyRef

  96. trait Functor [F[_]] extends InvariantFunctor[F]

    Covariant function application in an environment.

  97. trait GeneralizedCategory extends AnyRef

  98. trait GeneralizedGroupoid extends GeneralizedCategory

  99. class Generator [C[_]] extends AnyRef

    A Generator[C] is a container of elements, and which knows how to efficiently apply a Reducer to extract an answer by combining elements.

  100. trait Groupoid [~>:[_, _]] extends GeneralizedGroupoid with Category[$tilde$greater$colon]

  101. trait Heap [A] extends AnyRef

  102. trait Hom extends AnyRef

    Defines a category.

  103. trait Identity [A] extends Equals with IdentitySugar[A]

  104. trait IdentitySugar [A] extends AnyRef

  105. trait Identitys extends AnyRef

  106. trait ImmutableArray [+A] extends AnyRef

    An immutable wrapper for arrays

  107. trait Index [-I[_]] extends AnyRef

  108. case class Injective [T[_]] () extends Product with Serializable

    Given Injective[Foo]: If type Foo[A] = Foo[B] then A ~ B

  109. case class Injective2 [T[_, _]] () extends Product with Serializable

  110. case class Injective3 [T[_, _, _]] () extends Product with Serializable

  111. case class Injective4 [T[_, _, _, _]] () extends Product with Serializable

  112. case class Injective5 [T[_, _, _, _, _]] () extends Product with Serializable

  113. trait Input [E] extends AnyRef

    The input to an iteratee.

  114. trait InputStreamW extends PimpedType[InputStream]

  115. trait InputStreams extends AnyRef

  116. trait IntMultiplication extends NewType[Int]

  117. trait IntW extends PimpedType[Int]

  118. trait Ints extends AnyRef

  119. trait InvariantFunctor [F[_]] extends AnyRef

  120. trait IterV [E, A] extends AnyRef

    A pure iteratee computation which is either done or needs more input

  121. trait IterVM [M[_], E, A] extends AnyRef

    Monadic Iteratees

  122. case class Iteratee [M[_], E, A] (value: M[IterVM[M, E, A]]) extends NewType[M[IterVM[M, E, A]]] with Product with Serializable

  123. trait Kleisli [M[_], A, B] extends AnyRef

  124. trait Kleislis extends AnyRef

  125. trait LastLazyOption [A] extends NewType[LazyOption[A]]

  126. trait LastLazyOptions extends AnyRef

  127. trait LastOption [A] extends NewType[Option[A]]

  128. trait LastOptions extends AnyRef

  129. trait LazyOption [+A] extends AnyRef

  130. trait LazyTuple2 [A, B] extends AnyRef

  131. trait LazyTuple3 [A, B, C] extends AnyRef

  132. trait LazyTuple4 [A, B, C, D] extends AnyRef

  133. trait LazyTuples extends AnyRef

  134. trait Leibniz [-L, +H >: L, A >: L <: H, B >: L <: H] extends AnyRef

    Leibnizian equality: A better =:=

  135. trait Length [-L[_]] extends AnyRef

  136. case class Lens [A, B] (get: (A) ⇒ B, set: (A, B) ⇒ A) extends Immutable with Product with Serializable

    Lenses are required to satisfy the following two laws and to be side-effect free.

  137. trait Liskov [-A, +B] extends AnyRef

    Liskov substitutability: A better <:<

  138. class ListT [M[_], A] extends AnyRef

  139. trait ListW [A] extends PimpedType[List[A]]

  140. trait Lists extends AnyRef

  141. trait Logger [L, A] extends NewType[Writer[IndSeq[L], A]]

  142. trait Loggers extends AnyRef

  143. trait LongMultiplication extends NewType[Long]

  144. trait LongW extends PimpedType[Long]

  145. trait Longs extends AnyRef

  146. trait MA [M[_], A] extends PimpedType[M[A]] with MASugar[M, A]

  147. trait MAB [M[_, _], A, B] extends PimpedType[M[A, B]] with MA[[X]M[A, X], B]

  148. trait MABLow extends AnyRef

  149. trait MABs extends MABLow

  150. trait MAContravariant [M[_], A] extends PimpedType[M[A]] with MAContravariantSugar[M, A]

  151. trait MAContravariantSugar [M[_], A] extends AnyRef

  152. trait MASugar [M[_], A] extends AnyRef

  153. trait MAs extends MAsLow

  154. trait MAsLow extends AnyRef

  155. trait Memo [K, V] extends AnyRef

  156. trait Memos extends AnyRef

  157. trait MetricSpace [-A] extends AnyRef

  158. trait MetricSpaces extends AnyRef

  159. trait Monad [M[_]] extends Applicative[M] with Bind[M] with Pointed[M]

    Abstract a model that sequences computation through an environment.

  160. trait MonadLow extends AnyRef

  161. trait Monoid [M] extends Zero[M] with Semigroup[M]

    A categorical monoid.

  162. class MonoidLow extends AnyRef

  163. trait Mu [F[+_]] extends Nu[F] with Mu_[F]

    Positive recursion

  164. trait Mu_ [F[_]] extends Immutable

    Possibly negative recursion.

  165. trait Multiplications extends AnyRef

  166. class Name [+A] extends AnyRef

    Call by name

  167. trait Names extends AnyRef

  168. class Need [+A] extends Name[A]

    Call by need

  169. trait NewType [X] extends AnyRef

    Sub class to create a wrapper type for X as documentation that the sub class is a wrapper type used in type class instances.

  170. class Node [V, A] extends AnyRef

    sealed abstract
  171. trait NonEmptyList [+A] extends AnyRef

  172. trait NonEmptyLists extends AnyRef

  173. trait Nu [F[+_]] extends Nu_[F]

    Positive corecursion

  174. trait Nu_ [F[_]] extends Immutable

    Possibly negative corecursion

  175. trait On [P[_, _], F[_]] extends AnyRef

  176. case class One [V, A] (v: V, a1: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable

  177. trait OptionT [M[_], A] extends NewType[M[Option[A]]]

  178. trait OptionTs extends AnyRef

  179. trait OptionW [A] extends PimpedType[Option[A]]

  180. trait Options extends AnyRef

  181. trait Order [-A] extends Equal[A]

  182. trait OrderLow extends AnyRef

  183. trait Ordering extends AnyRef

  184. trait Orders extends AnyRef

  185. trait Paramorphism [P[_]] extends AnyRef

  186. trait PartialApply1Of2 [T[_, _], A] extends AnyRef

    Scala doesn't currently have a way to directly express a type function, such as [A]Either[A, Int].

  187. trait PartialApply1Of3 [T[_, _, _], A] extends AnyRef

  188. trait PartialApply2Of3 [T[_, _, _], A, B] extends AnyRef

  189. trait PartialApply3Of4 [T[_, _, _, _], A, B, C] extends AnyRef

  190. trait PartialApply4Of5 [T[_, _, _, _, _], A, B, C, D] extends AnyRef

  191. trait PartialApply5Of6 [T[_, _, _, _, _, _], A, B, C, D, E] extends AnyRef

  192. trait PartialApply6Of7 [T[_, _, _, _, _, _, _], A, B, C, D, E, F] extends AnyRef

  193. trait PartialApplyK [T[_[_], _, _], M[_]] extends AnyRef

  194. trait PartialApplyKA [T[_[_], _, _], M[_], A] extends AnyRef

  195. trait PartialType2 [T[_[_], _], A[_]] extends AnyRef

    Applies one type argument of two where one of the type arguments has a kind * -> *.

  196. trait PimpedType [X] extends AnyRef

    Sub class to create a wrapper type for X as documentation that the sub class follows the 'pimp my library' pattern.

  197. trait Plus [P[_]] extends AnyRef

  198. trait PlusLow extends AnyRef

  199. trait Pointed [P[_]] extends Functor[P] with Pure[P]

  200. trait PointedLow extends AnyRef

  201. trait Pure [P[_]] extends AnyRef

  202. case class Ranked [A] (rank: Int, value: A) extends Product with Serializable

  203. case class ReaderT [M[_], R, A] (value: (R) ⇒ M[A]) extends NewType[(R) ⇒ M[A]] with Product with Serializable

    Reader monad transformer Can be used to add environment reading capabilities to other monads Note: ReaderT[M,R,A] is isomorphic to Kleisli[M,R,A].

  204. class Reducer [C, M] extends AnyRef

    A Reducer[C,M] is a Monoid[M] that maps values of type C through unit to values of type M.

  205. trait Reducers extends AnyRef

  206. trait Resource [T] extends AnyRef

  207. trait Resources extends AnyRef

  208. trait Semigroup [S] extends AnyRef

    A Semigroup in type S must satisfy two laws:

  209. trait SemigroupLow extends AnyRef

  210. trait Semigroups extends AnyRef

  211. trait ShortMultiplication extends NewType[Short]

  212. trait ShortW extends PimpedType[Short]

  213. trait Shorts extends AnyRef

  214. trait Show [A] extends AnyRef

  215. trait Shows extends AnyRef

  216. trait State [S, +A] extends AnyRef

  217. trait StateT [M[_], S, A] extends AnyRef

    State monad transformer

  218. trait States extends AnyRef

  219. class StreamT [M[_], A] extends AnyRef

  220. trait StreamW [A] extends PimpedType[Stream[A]]

  221. trait Streams extends AnyRef

  222. trait StringW extends PimpedType[String]

  223. trait Strings extends AnyRef

  224. case class Success [E, A] (a: A) extends Validation[E, A] with Product with Serializable

  225. 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

  226. trait Traverse [T[_]] extends Functor[T]

  227. trait Tree [+A] extends AnyRef

    A multi-way tree, also known as a rose tree.

  228. trait TreeLoc [+A] extends AnyRef

  229. trait TreeLocs extends AnyRef

  230. trait Trees extends AnyRef

  231. trait Tuples extends AnyRef

  232. case class Two [V, A] (v: V, a1: A, a2: A, r: Reducer[A, V]) extends Finger[V, A] with Product with Serializable

  233. trait Validation [+E, +A] extends AnyRef

  234. trait Validations extends AnyRef

  235. case class Value [+A] (value: A) extends Need[A] with Product with Serializable

    Call by value

  236. class ViewL [S[_], A] extends AnyRef

    Finger Trees provide a base for implementations of various collection types, as described in "Finger trees: a simple general-purpose data structure", by Ralf Hinze and Ross Paterson.

  237. class ViewR [S[_], A] extends AnyRef

    sealed abstract
  238. trait Writer [W, A] extends NewType[(W, A)]

  239. trait WriterT [M[_], W, A] extends NewType[M[(W, A)]]

  240. trait WriterTs extends AnyRef

  241. trait Writers extends AnyRef

  242. trait Zero [Z] extends AnyRef

    A Zero in type Z provides the identity element for the operation { @link scalaz.

  243. trait Zeros extends AnyRef

  244. trait ZipStream [+A] extends AnyRef

  245. trait ZipStreams extends AnyRef

  246. trait Zipper [+A] extends AnyRef

    Provides a pointed stream, which is a non-empty zipper-like stream structure that tracks an index (focus) position in a stream.

  247. trait Zippers extends AnyRef

  248. trait ~> [F[_], G[_]] extends AnyRef

    A natural transformation between functors F and G

  249. trait ~~> [F[_, _], G[_, _]] extends AnyRef

    A transformation natural in both sides of a bifunctor

Value Members

  1. object Alpha extends AnyRef

  2. object Applicative extends ApplicativeLow

  3. object Apply extends ApplyLow

  4. object Arrow extends AnyRef

  5. object Bifunctor extends AnyRef

  6. object Bind extends AnyRef

  7. object CanBuildAnySelf extends AnyRef

  8. object Category extends AnyRef

  9. object Cofree extends AnyRef

  10. object CofreeRec extends AnyRef

  11. object CofreeRec_ extends AnyRef

  12. object Cofree_ extends AnyRef

  13. object Cojoin extends AnyRef

  14. object Comonad extends ComonadLow

  15. object Comp extends AnyRef

  16. object Contravariant extends AnyRef

  17. object Copointed extends CopointedLow

  18. object Copure extends AnyRef

  19. object Digit extends AnyRef

  20. object EQ extends Ordering with Product with Serializable

  21. object Each extends AnyRef

  22. object Empty extends AnyRef

  23. object EphemeralStream extends AnyRef

  24. object Equal extends EqualLow

  25. object FingerTree extends AnyRef

  26. object Foldable extends FoldableLow

  27. object Forall extends AnyRef

  28. object Functor extends AnyRef

  29. object GT extends Ordering with Product with Serializable

  30. object Generator extends AnyRef

  31. object Heap extends AnyRef

  32. object Identity extends AnyRef

  33. object ImmutableArray extends AnyRef

  34. object Index extends AnyRef

  35. object Injectivity extends AnyRef

  36. object InvariantFunctor extends AnyRef

  37. object IterV extends AnyRef

  38. object LT extends Ordering with Product with Serializable

  39. object LazyOption extends AnyRef

  40. object Leibniz extends AnyRef

  41. object Length extends AnyRef

  42. object Lens extends Serializable

  43. object Liskov extends AnyRef

  44. object ListT extends AnyRef

  45. object Logger extends AnyRef

  46. object Main extends AnyRef

  47. object Monad extends MonadLow

  48. object Monoid extends MonoidLow

  49. object Mu extends AnyRef

  50. object Mu_ extends AnyRef

  51. object Name extends AnyRef

  52. object Need extends AnyRef

  53. object NewType extends AnyRef

  54. object NonEmptyList extends NonEmptyLists

  55. object Nu extends AnyRef

  56. object Nu_ extends AnyRef

  57. object OptionT extends AnyRef

  58. object Order extends AnyRef

  59. object Paramorphism extends AnyRef

  60. object PimpedType extends AnyRef

  61. object Plus extends PlusLow

  62. object Pointed extends PointedLow

  63. object Prod extends AnyRef

  64. object Pure extends AnyRef

  65. object ReaderT extends Serializable

  66. object Resource extends AnyRef

  67. object Scalaz extends Actors with Alphas with Applys with ArrayBytes with BigIntegers with BigInts with BKTrees with Booleans with BooleanConjunctions with Bytes with Chars with CharSets with Cokleislis with Digits with Duals with Effects with Emptys with Endos with Enumerations with Equals with Extras with FirstOptions with FirstLazyOptions with Function0s with Function1s with Function2s with Kleislis with Identitys with InputStreams with Ints with LastOptions with LastLazyOptions with LazyTuples with Lists with Loggers with Longs with MAs with MABs with MetricSpaces with Memos with Multiplications with Names with NonEmptyLists with Options with OptionTs with Orders with Promises with Reducers with Resources with Semigroups with IndSeqs with Ropes with Shorts with Shows with States with Streams with Strings with Trees with Tuples with TreeLocs with Writers with WriterTs with Validations with Zeros with Zippers with ZipStreams

  68. object Semigroup extends SemigroupLow

  69. object Show extends AnyRef

  70. object StreamT extends Extras

  71. object Traverse extends AnyRef

  72. object Validation extends AnyRef

  73. object Writer extends AnyRef

  74. object WriterT extends AnyRef

  75. object Zero extends AnyRef

  76. package concurrent

  77. package effects

  78. package example

  79. package geo

  80. package http

  81. package scalacheck