scalaz

package scalaz

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

Visibility
  1. Public
  2. All

Type Members

  1. final case class -\/[+A](a: A) extends \/[A, Nothing] with Product with Serializable

    A left disjunction

  2. sealed class :+:[+M, +N] extends AnyRef

    The coproduct (or free product) of monoids M and N.

  3. type :<:[F[_], G[_]] = Inject[F, G]

    Inject[F, G]

    Inject[F, G]

    Definition Classes
    package
  4. type :≺:[F[_], G[_]] = Inject[F, G]

    Inject[F, G]

    Inject[F, G]

    Definition Classes
    package
  5. type <~[+F[_], -G[_]] = NaturalTransformation[G, F]

    A NaturalTransformation[G, F].

    Definition Classes
    package
  6. sealed abstract class ==>>[A, B] extends AnyRef

    An immutable map of key/value pairs implemented as a balanced binary tree

  7. type =?>[E, A] = Kleisli[Option, E, A]

    Definition Classes
    package
  8. type @>[A, B] = LensFamily[A, A, B, B]

    Definition Classes
    package
  9. type @?>[A, B] = PLensFamily[A, A, B, B]

    Definition Classes
    package
  10. type @@[T, Tag] = AnyRef { ... /* 2 definitions in type refinement */ }

    Tag a type T with Tag.

    Tag a type T with Tag.

    The resulting type is used to discriminate between type class instances.

    Definition Classes
    package
    See also

    scalaz.Tag and scalaz.Tags

    Credit to Miles Sabin for the idea.

  11. abstract class Adjunction[F[_], G[_]] extends AnyRef

    An adjunction formed by two functors F and G such that F is left-adjoint to G.

  12. trait AdjunctionFunctions extends AnyRef

  13. sealed abstract class AdjunctionInstances extends AnyRef

  14. trait Align[F[_]] extends Functor[F]

  15. sealed abstract class Alpha extends Product with Serializable

    An algebraic data type representing the characters 'a' to 'z'

  16. trait AlphaFunctions extends AnyRef

  17. sealed abstract class AlphaInstances extends AnyRef

  18. type Alternative[F[_]] = ApplicativePlus[F]

    Definition Classes
    package
  19. trait Applicative[F[_]] extends Apply[F]

    Applicative Functor, described in Applicative Programming with Effects

  20. trait ApplicativePlus[F[_]] extends Applicative[F] with PlusEmpty[F]

    Applicative combined with PlusEmpty.

  21. trait Apply[F[_]] extends Functor[F]

    Applicative without point.

  22. trait Arrow[=>:[_, _]] extends Split[=>:] with Profunctor[=>:] with Category[=>:]

    A Category supporting all ordinary functions, as well as combining arrows product-wise.

  23. trait Associative[=>:[_, _]] extends AnyRef

  24. trait BKTreeFunctions extends AnyRef

  25. sealed abstract class BKTreeInstances extends AnyRef

  26. trait BiConstrainedNaturalTransformation[F[_, _], G[_, _], C[_], E[_]] extends AnyRef

    A constrained transformation natural in both sides of a bifunctor

  27. trait BiNaturalTransformation[-F[_, _], +G[_, _]] extends AnyRef

    A function universally quantified over two parameters.

  28. trait Bifoldable[F[_, _]] extends AnyRef

    A type giving rise to two unrelated Foldables.

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

    A type giving rise to two unrelated Functors.

  30. final class BijectionT[F[_], G[_], A, B] extends AnyRef

  31. trait BijectionTFunctions extends AnyRef

  32. sealed abstract class BijectionTInstances extends BijectionTInstances0

  33. sealed abstract class BijectionTInstances0 extends AnyRef

  34. trait Bind[F[_]] extends Apply[F]

    An Apply functor, where a lifted function can introduce new values _and_ new functor context to be incorporated into the lift context.

  35. trait Bitraverse[F[_, _]] extends Bifunctor[F] with Bifoldable[F]

    A type giving rise to two unrelated Traverses.

  36. sealed abstract class CaseInsensitive[A] extends AnyRef

  37. sealed abstract class CaseInsensitiveInstances extends AnyRef

  38. trait Catchable[F[_]] extends AnyRef

    A context in which exceptions can be caught and thrown.

  39. trait Category[=>:[_, _]] extends Compose[=>:]

    Compose with identity.

  40. trait CharSetFunctions extends AnyRef

  41. trait Choice[=>:[_, _]] extends Category[=>:]

  42. trait Cobind[F[_]] extends Functor[F]

  43. abstract class Codensity[F[_], A] extends AnyRef

  44. sealed abstract class CodensityInstances extends AnyRef

  45. sealed abstract class Cofree[S[_], A] extends AnyRef

    A cofree comonad for some functor S, i.

  46. trait CofreeFunctions extends AnyRef

  47. sealed abstract class CofreeInstances extends CofreeInstances0

  48. sealed abstract class CofreeInstances0 extends CofreeInstances1

  49. sealed abstract class CofreeInstances1 extends CofreeInstances2

  50. sealed abstract class CofreeInstances2 extends CofreeInstances3

  51. sealed abstract class CofreeInstances3 extends CofreeInstances4

  52. sealed abstract class CofreeInstances4 extends AnyRef

  53. trait Cohoist[F[_[_], _]] extends ComonadTrans[F]

  54. final case class Cokleisli[F[_], A, B](run: (F[A]) ⇒ B) extends Product with Serializable

  55. trait CokleisliFunctions extends AnyRef

  56. sealed abstract class CokleisliInstances extends CokleisliInstances0

  57. sealed abstract class CokleisliInstances0 extends AnyRef

  58. trait Comonad[F[_]] extends Cobind[F]

  59. trait ComonadStore[F[_, _], S] extends Comonad[[x]F[S, x]]

  60. trait ComonadTrans[F[_[_], _]] extends AnyRef

  61. trait Compose[=>:[_, _]] extends AnyRef

  62. final case class Const[A, B](getConst: A) extends Product with Serializable

  63. sealed trait ConstFunctions extends AnyRef

  64. sealed abstract class ConstInstances extends ConstInstances0

  65. sealed abstract class ConstInstances0 extends ConstInstances1

  66. sealed abstract class ConstInstances1 extends AnyRef

  67. trait ConstrainedNaturalTransformation[F[_], G[_], E[_]] extends AnyRef

    A constrained natural transformation

  68. type Cont[R, A] = IndexedContsT[Id, Id, R, R, A]

    Definition Classes
    package
  69. type ContT[M[_], R, A] = IndexedContsT[Id, M, R, R, A]

    Definition Classes
    package
  70. trait Contravariant[F[_]] extends InvariantFunctor[F]

    Contravariant functors.

  71. sealed abstract class ContravariantCoyoneda[F[_], A] extends AnyRef

    Decomposition of fi.contramap(k) into its components, as it is frequently convenient to apply k separately from sorting or whatever process with fi, even when B is unknown, which is very common.

  72. sealed abstract class ContravariantCoyonedaInstances extends AnyRef

  73. type Conts[W[_], R, A] = IndexedContsT[W, Id, R, R, A]

    Definition Classes
    package
  74. type ContsT[W[_], M[_], R, A] = IndexedContsT[W, M, R, R, A]

    Definition Classes
    package
  75. final case class Coproduct[F[_], G[_], A](run: \/[F[A], G[A]]) extends Product with Serializable

    F on the left, and G on the right, of \/.

  76. trait CoproductFunctions extends AnyRef

  77. sealed abstract class CoproductInstances extends CoproductInstances0

  78. sealed abstract class CoproductInstances0 extends CoproductInstances1

  79. sealed abstract class CoproductInstances1 extends CoproductInstances2

  80. sealed abstract class CoproductInstances2 extends CoproductInstances3

  81. sealed abstract class CoproductInstances3 extends AnyRef

  82. final case class Cord(self: FingerTree[Int, String]) extends Product with Serializable

    A Cord is a purely functional data structure for efficiently storing and manipulating Strings that are potentially very long.

  83. abstract class Corepresentable[F[_], X] extends AnyRef

    Corepresentable functors

  84. sealed abstract class Coyoneda[F[_], A] extends AnyRef

    The dual view of the Yoneda lemma.

  85. sealed abstract class CoyonedaInstances extends CoyonedaInstances0

  86. sealed abstract class CoyonedaInstances0 extends CoyonedaInstances1

  87. sealed abstract class CoyonedaInstances1 extends CoyonedaInstances2

  88. sealed abstract class CoyonedaInstances10 extends AnyRef

  89. sealed abstract class CoyonedaInstances2 extends CoyonedaInstances3

  90. sealed abstract class CoyonedaInstances3 extends CoyonedaInstances4

  91. sealed abstract class CoyonedaInstances4 extends CoyonedaInstances5

  92. sealed abstract class CoyonedaInstances5 extends CoyonedaInstances6

  93. sealed abstract class CoyonedaInstances6 extends CoyonedaInstances7

  94. sealed abstract class CoyonedaInstances7 extends CoyonedaInstances8

  95. sealed abstract class CoyonedaInstances8 extends CoyonedaInstances9

  96. sealed abstract class CoyonedaInstances9 extends CoyonedaInstances10

  97. trait Cozip[F[_]] extends AnyRef

  98. type DLeft[+A] = -\/[A]

    Definition Classes
    package
  99. final class DList[A] extends AnyRef

    Difference lists: a data structure for O(1) append on lists.

  100. trait DListFunctions extends AnyRef

  101. sealed abstract class DListInstances extends AnyRef

  102. type DRight[+B] = \/-[B]

    Definition Classes
    package
  103. sealed abstract class Dequeue[A] extends AnyRef

    A Double-ended queue, based on the Bankers Double Ended Queue as described by C.

  104. sealed abstract class DequeueInstances extends AnyRef

  105. trait DiNaturalTransformation[F[_, _], G[_, _]] extends AnyRef

  106. sealed abstract class Diev[A] extends AnyRef

    Implementation of a Discrete Interval Encoding Tree http://web.engr.oregonstate.edu/~erwig/diet/ that is actually implemented using a Vector and is balanced at all times as a result.

  107. trait DievFunctions extends DievImplementation

  108. trait DievImplementation extends AnyRef

  109. sealed abstract class DievInstances extends DievImplementation

  110. sealed abstract class Digit extends Product with Serializable

    An algebraic data type representing the digits 0 - 9

  111. trait DigitFunctions extends AnyRef

  112. sealed abstract class DigitInstances extends AnyRef

  113. type Disjunction[+A, +B] = \/[A, B]

    Definition Classes
    package
  114. trait DisjunctionFunctions extends AnyRef

  115. sealed abstract class DisjunctionInstances extends DisjunctionInstances0

  116. sealed abstract class DisjunctionInstances0 extends DisjunctionInstances1

  117. sealed abstract class DisjunctionInstances1 extends DisjunctionInstances2

  118. sealed abstract class DisjunctionInstances2 extends AnyRef

  119. type DisjunctionT[F[_], A, B] = EitherT[F, A, B]

    Definition Classes
    package
  120. trait Distributive[F[_]] extends Functor[F]

    Dual of Traverse.

  121. trait DistributiveFunctions extends AnyRef

  122. sealed abstract class DualInstances extends DualInstances0

  123. sealed abstract class DualInstances0 extends AnyRef

  124. sealed abstract class Either3[+A, +B, +C] extends Product with Serializable

  125. final case class EitherT[F[_], A, B](run: F[\/[A, B]]) extends Product with Serializable

    Represents a computation of type F[A \/ B].

  126. trait EitherTFunctions extends AnyRef

  127. sealed abstract class EitherTInstances extends EitherTInstances0

  128. sealed abstract class EitherTInstances0 extends EitherTInstances1

  129. sealed abstract class EitherTInstances1 extends EitherTInstances2

  130. sealed abstract class EitherTInstances2 extends EitherTInstances3

  131. sealed abstract class EitherTInstances3 extends AnyRef

  132. final case class Endo[A](run: (A) ⇒ A) extends Product with Serializable

    Endomorphisms.

  133. trait EndoFunctions extends AnyRef

  134. sealed abstract class EndoInstances extends AnyRef

  135. final case class Endomorphic[=>:[_, _], A](run: =>:[A, A]) extends Product with Serializable

    Endomorphisms have special properties among arrows, so are captured in this newtype.

  136. trait EndomorphicFunctions extends AnyRef

  137. sealed abstract class EndomorphicInstances extends EndomorphicInstances0

  138. sealed abstract class EndomorphicInstances0 extends AnyRef

  139. trait Enum[F] extends Order[F]

    An Orderable with discrete values.

  140. sealed abstract class EphemeralStream[A] extends AnyRef

    Like scala.collection.immutable.Stream, but doesn't save computed values.

  141. trait EphemeralStreamFunctions extends AnyRef

  142. sealed abstract class EphemeralStreamInstances extends AnyRef

  143. trait Equal[F] extends AnyRef

    A type safe alternative to universal equality (scala.Any#==).

  144. final case class Failure[E](e: E) extends Validation[E, Nothing] with Product with Serializable

  145. sealed abstract class Finger[V, A] extends AnyRef

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

    Finger trees with leaves of type A and Nodes that are annotated with type V.

  147. trait FingerTreeFunctions extends AnyRef

  148. sealed abstract class FingerTreeInstances extends AnyRef

  149. type FirstMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  150. type FirstOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  151. type FirstOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  152. trait FoldCase[A] extends AnyRef

  153. sealed abstract class FoldCaseInstances extends AnyRef

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

    A type parameter implying the ability to extract zero or more values of that type.

  155. trait Foldable1[F[_]] extends Foldable[F]

    A Foldable where foldMap is total over semigroups.

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

    A universally quantified value

  157. trait Foralls extends AnyRef

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

  159. sealed abstract class Free[S[_], A] extends AnyRef

    A free operational monad for some functor S.

  160. sealed abstract class FreeAp[F[_], A] extends AnyRef

    Free applicative functors.

  161. trait FreeFunctions extends AnyRef

  162. sealed abstract class FreeInstances extends FreeInstances0 with TrampolineInstances with SinkInstances with SourceInstances

  163. sealed abstract class FreeInstances0 extends FreeInstances1

  164. sealed abstract class FreeInstances1 extends FreeInstances2

  165. sealed abstract class FreeInstances2 extends FreeInstances3

  166. sealed abstract class FreeInstances3 extends AnyRef

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

    Functors, covariant by nature if not by Scala type.

  168. trait 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.

  169. trait Generators extends AnyRef

  170. type GlorifiedTuple[+A, +B] = \/[A, B]

    Definition Classes
    package
  171. sealed abstract class Heap[A] extends AnyRef

    An efficient, asymptotically optimal, implementation of priority queues extended with support for efficient size.

  172. trait HeapFunctions extends AnyRef

  173. sealed abstract class HeapInstances extends AnyRef

  174. trait Hoist[F[_[_], _]] extends MonadTrans[F]

  175. final case class ICons[A](head: A, tail: IList[A]) extends IList[A] with Product with Serializable

  176. sealed abstract class IList[A] extends Product with Serializable

    Safe, invariant alternative to stdlib List.

  177. sealed trait IListFunctions extends AnyRef

  178. sealed abstract class IListInstance0 extends AnyRef

  179. sealed abstract class IListInstances extends IListInstance0

  180. type IMap[A, B] = ==>>[A, B]

    Definition Classes
    package
  181. final case class INil[A]() extends IList[A] with Product with Serializable

  182. type IRWS[-R, W, -S1, S2, A] = IndexedReaderWriterStateT[Id, R, W, S1, S2, A]

    Definition Classes
    package
  183. type IRWST[F[_], -R, W, -S1, S2, A] = IndexedReaderWriterStateT[F, R, W, S1, S2, A]

    Definition Classes
    package
  184. sealed abstract class ISet[A] extends AnyRef

  185. sealed trait ISetFunctions extends AnyRef

  186. sealed abstract class ISetInstances extends AnyRef

  187. trait IdInstances extends AnyRef

    Mixed into object Id in the package object scalaz.

  188. final case class IdT[F[_], A](run: F[A]) extends Product with Serializable

  189. trait IdTFunctions extends AnyRef

  190. sealed abstract class IdTInstances extends IdTInstances0

  191. sealed abstract class IdTInstances0 extends IdTInstances1

  192. sealed abstract class IdTInstances1 extends IdTInstances2

  193. sealed abstract class IdTInstances2 extends IdTInstances3

  194. sealed abstract class IdTInstances3 extends AnyRef

  195. sealed abstract class ImmutableArray[+A] extends AnyRef

    An immutable wrapper for arrays

  196. trait ImmutableArrayFunctions extends AnyRef

  197. sealed abstract class ImmutableArrayInstances extends AnyRef

  198. final class IndSeq[A] extends AnyRef

    Indexed sequences, based on FingerTree

  199. sealed abstract class IndSeqInstances extends AnyRef

  200. type IndexedCont[R, O, A] = IndexedContsT[Id, Id, R, O, A]

    Definition Classes
    package
  201. type IndexedContT[M[_], R, O, A] = IndexedContsT[Id, M, R, O, A]

    Definition Classes
    package
  202. type IndexedConts[W[_], R, O, A] = IndexedContsT[W, Id, R, O, A]

    Definition Classes
    package
  203. final class IndexedContsT[W[_], M[_], R, O, A] extends AnyRef

  204. trait IndexedContsTFunctions extends AnyRef

  205. abstract class IndexedContsTInstances extends IndexedContsTInstances0

  206. sealed abstract class IndexedContsTInstances0 extends AnyRef

  207. type IndexedReaderWriterState[-R, W, -S1, S2, A] = IndexedReaderWriterStateT[Id, R, W, S1, S2, A]

    Definition Classes
    package
  208. sealed abstract class IndexedReaderWriterStateT[F[_], -R, W, -S1, S2, A] extends AnyRef

    A monad transformer stack yielding (R, S1) => F[(W, A, S2)].

  209. sealed abstract class IndexedReaderWriterStateTInstances extends AnyRef

  210. type IndexedState[-S1, S2, A] = IndexedStateT[Id, S1, S2, A]

    Definition Classes
    package
  211. trait IndexedStateFunctions extends AnyRef

  212. trait IndexedStateT[F[_], -S1, S2, A] extends AnyRef

  213. trait IndexedStateTFunctions extends AnyRef

  214. sealed abstract class IndexedStateTInstances extends IndexedStateTInstances0

  215. sealed abstract class IndexedStateTInstances0 extends IndexedStateTInstances1

  216. sealed abstract class IndexedStateTInstances1 extends IndexedStateTInstances2

  217. sealed abstract class IndexedStateTInstances2 extends AnyRef

  218. type IndexedStore[I, A, B] = IndexedStoreT[Id, I, A, B]

    Definition Classes
    package
  219. final case class IndexedStoreT[F[_], +I, A, B](run: (F[(A) ⇒ B], I)) extends Product with Serializable

  220. trait IndexedStoreTFunctions extends AnyRef

  221. sealed abstract class IndexedStoreTInstances extends IndexedStoreTInstances0

  222. sealed abstract class IndexedStoreTInstances0 extends IndexedStoreTInstances1

  223. sealed abstract class IndexedStoreTInstances1 extends IndexedStoreTInstances2

  224. sealed abstract class IndexedStoreTInstances2 extends AnyRef

  225. sealed abstract class Inject[F[_], G[_]] extends AnyRef

    Inject type class as described in "Data types a la carte" (Swierstra 2008).

  226. trait InjectFunctions extends AnyRef

  227. sealed abstract class InjectInstances extends AnyRef

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

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

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

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

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

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

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

    Unary type constructor that supports an xmap operation that converts an F[A] to an F[B] given two functions, A => B and B => A.

  234. trait IsEmpty[F[_]] extends PlusEmpty[F]

    Typeclass that permits testing whether some type with an empty representation is in fact empty.

  235. trait IsomorphismApplicative[F[_], G[_]] extends Applicative[F] with IsomorphismApply[F, G]

  236. trait IsomorphismApplicativePlus[F[_], G[_]] extends ApplicativePlus[F] with IsomorphismEmpty[F, G] with IsomorphismApplicative[F, G]

  237. trait IsomorphismApply[F[_], G[_]] extends Apply[F] with IsomorphismFunctor[F, G]

  238. trait IsomorphismBifoldable[F[_, _], G[_, _]] extends Bifoldable[F]

  239. trait IsomorphismBifunctor[F[_, _], G[_, _]] extends Bifunctor[F]

  240. trait IsomorphismBind[F[_], G[_]] extends Bind[F] with IsomorphismApply[F, G]

  241. trait IsomorphismBitraverse[F[_, _], G[_, _]] extends Bitraverse[F] with IsomorphismBifunctor[F, G] with IsomorphismBifoldable[F, G]

  242. trait IsomorphismCobind[F[_], G[_]] extends Cobind[F] with IsomorphismFunctor[F, G]

  243. trait IsomorphismComonad[F[_], G[_]] extends Comonad[F] with IsomorphismCobind[F, G]

  244. trait IsomorphismContravariant[F[_], G[_]] extends Contravariant[F]

  245. trait IsomorphismEmpty[F[_], G[_]] extends PlusEmpty[F] with IsomorphismPlus[F, G]

  246. trait IsomorphismEqual[F, G] extends Equal[F]

  247. trait IsomorphismFoldable[F[_], G[_]] extends Foldable[F]

  248. trait IsomorphismFoldable1[F[_], G[_]] extends Foldable1[F] with IsomorphismFoldable[F, G]

  249. trait IsomorphismFunctor[F[_], G[_]] extends Functor[F]

  250. trait IsomorphismMonad[F[_], G[_]] extends Monad[F] with IsomorphismApplicative[F, G] with IsomorphismBind[F, G]

  251. trait IsomorphismMonadPlus[F[_], G[_]] extends MonadPlus[F] with IsomorphismEmpty[F, G] with IsomorphismMonad[F, G]

  252. trait IsomorphismMonoid[F, G] extends Monoid[F] with IsomorphismSemigroup[F, G]

  253. trait IsomorphismOptional[F[_], G[_]] extends Optional[F]

  254. trait IsomorphismOrder[F, G] extends Order[F]

  255. trait IsomorphismPlus[F[_], G[_]] extends Plus[F]

  256. trait IsomorphismSemigroup[F, G] extends Semigroup[F]

  257. trait IsomorphismShow[F, G] extends Show[F]

  258. trait IsomorphismTraverse[F[_], G[_]] extends Traverse[F] with IsomorphismFoldable[F, G] with IsomorphismFunctor[F, G]

  259. trait IsomorphismTraverse1[F[_], G[_]] extends Traverse1[F] with IsomorphismTraverse[F, G] with IsomorphismFoldable1[F, G]

  260. sealed abstract class Isomorphisms extends IsomorphismsLow0

  261. sealed abstract class IsomorphismsLow0 extends IsomorphismsLow1

  262. sealed abstract class IsomorphismsLow1 extends AnyRef

  263. final case class Kleisli[M[_], A, B](run: (A) ⇒ M[B]) extends Product with Serializable

    Represents a function A => M[B].

  264. trait KleisliFunctions extends AnyRef

  265. abstract class KleisliInstances extends KleisliInstances0

  266. sealed abstract class KleisliInstances0 extends KleisliInstances1

  267. sealed abstract class KleisliInstances1 extends KleisliInstances2

  268. sealed abstract class KleisliInstances2 extends KleisliInstances3

  269. sealed abstract class KleisliInstances3 extends KleisliInstances4

  270. sealed abstract class KleisliInstances4 extends KleisliInstances5

  271. sealed abstract class KleisliInstances5 extends KleisliInstances6

  272. sealed abstract class KleisliInstances6 extends KleisliInstances7

  273. sealed abstract class KleisliInstances7 extends KleisliInstances8

  274. sealed abstract class KleisliInstances8 extends AnyRef

  275. trait Konst[A] extends AnyRef

  276. trait Lan[G[_], H[_], A] extends AnyRef

    The left Kan extension of H along G

  277. type LastMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  278. type LastOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  279. type LastOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  280. sealed abstract class LazyEither[+A, +B] extends AnyRef

    scala.Either, but with a value by name.

  281. trait LazyEitherFunctions extends AnyRef

  282. sealed abstract class LazyEitherInstances extends AnyRef

  283. final case class LazyEitherT[F[_], A, B](run: F[LazyEither[A, B]]) extends Product with Serializable

  284. trait LazyEitherTFunctions extends AnyRef

  285. sealed abstract class LazyEitherTInstances extends LazyEitherTInstances0

  286. sealed abstract class LazyEitherTInstances0 extends LazyEitherTInstances1

  287. sealed abstract class LazyEitherTInstances1 extends AnyRef

  288. sealed abstract class LazyOption[+A] extends Product with Serializable

    scala.Option, but with a value by name.

  289. trait LazyOptionFunctions extends AnyRef

  290. sealed abstract class LazyOptionInstances extends AnyRef

  291. final case class LazyOptionT[F[_], A](run: F[LazyOption[A]]) extends Product with Serializable

  292. trait LazyOptionTFunctions extends AnyRef

  293. sealed abstract class LazyOptionTInstances extends LazyOptionTInstances0

  294. sealed abstract class LazyOptionTInstances0 extends LazyOptionTInstances1

  295. sealed abstract class LazyOptionTInstances1 extends AnyRef

  296. sealed abstract class LazyTuple2[A, B] extends AnyRef

    scala.Tuple2, but with values by name.

  297. sealed abstract class LazyTuple2Instances extends LazyTuple2Instances0

  298. sealed abstract class LazyTuple2Instances0 extends AnyRef

  299. sealed abstract class LazyTuple3[A, B, C] extends AnyRef

    scala.Tuple3, but with values by name.

  300. sealed abstract class LazyTuple3Instances extends LazyTuple3Instances0

  301. sealed abstract class LazyTuple3Instances0 extends AnyRef

  302. sealed abstract class LazyTuple4[A, B, C, D] extends AnyRef

    scala.Tuple4, but with values by name.

  303. sealed abstract class LazyTuple4Instances extends LazyTuple4Instances0

  304. sealed abstract class LazyTuple4Instances0 extends AnyRef

  305. trait LazyTupleFunctions extends AnyRef

  306. final case class Left3[+A, +B, +C](a: A) extends Either3[A, B, C] with Product with Serializable

  307. sealed abstract class Leibniz[-L, +H >: L, A >: L <: H, B >: L <: H] extends AnyRef

    Leibnizian equality: a better =:=

  308. trait LeibnizFunctions extends AnyRef

  309. sealed abstract class LeibnizInstances extends AnyRef

  310. type Lens[A, B] = LensFamily[A, A, B, B]

    A lens that doesn't transform the type of the record.

    A lens that doesn't transform the type of the record.

    Definition Classes
    package
  311. sealed abstract class LensFamily[A1, A2, B1, B2] extends AnyRef

    A Lens Family, offering a purely functional means to access and retrieve a field transitioning from type B1 to type B2 in a record simultaneously transitioning from type A1 to type A2.

  312. trait LensFamilyFunctions extends AnyRef

  313. trait LensFunctions extends LensFamilyFunctions

  314. abstract class LensInstances extends LensInstances0

  315. sealed abstract class LensInstances0 extends AnyRef

  316. sealed abstract class Liskov[-A, +B] extends AnyRef

    Liskov substitutability: A better <:<

  317. trait LiskovFunctions extends AnyRef

  318. sealed abstract class LiskovInstances extends AnyRef

  319. final case class ListT[M[_], A](run: M[List[A]]) extends Product with Serializable

    ListT monad transformer.

  320. sealed abstract class ListTInstances extends ListTInstances1

  321. sealed abstract class ListTInstances1 extends ListTInstances2

  322. sealed abstract class ListTInstances2 extends AnyRef

  323. trait MapFunctions extends AnyRef

  324. sealed abstract class MapInstances extends MapInstances0

  325. sealed abstract class MapInstances0 extends AnyRef

  326. type MaxMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  327. type MaxOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  328. type MaxOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  329. sealed abstract class Maybe[A] extends AnyRef

    An optional value

  330. sealed trait MaybeFunctions extends AnyRef

  331. sealed abstract class MaybeInstances extends AnyRef

  332. final case class MaybeT[F[_], A](run: F[Maybe[A]]) extends Product with Serializable

    monad transformer for Maybe

  333. trait MaybeTFunctions extends AnyRef

  334. sealed abstract class MaybeTInstances extends MaybeTInstances0

  335. sealed abstract class MaybeTInstances0 extends MaybeTInstances1

  336. sealed abstract class MaybeTInstances1 extends MaybeTInstances2

  337. sealed abstract class MaybeTInstances2 extends AnyRef

  338. sealed trait Memo[K, V] extends AnyRef

    A function memoization strategy.

  339. trait MemoFunctions extends AnyRef

  340. sealed abstract class MemoInstances extends AnyRef

  341. final case class Middle3[+A, +B, +C](b: B) extends Either3[A, B, C] with Product with Serializable

  342. type MinMaybe[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  343. type MinOf[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  344. type MinOption[A] = AnyRef { ... /* 2 definitions in type refinement */ }

    Definition Classes
    package
  345. trait Monad[F[_]] extends Applicative[F] with Bind[F]

    Monad, an Applicative that also supports Bind, circumscribed by the monad laws.

  346. trait MonadError[F[_, _], E] extends Monad[[α]F[E, α]]

  347. trait MonadListen[F[_, _], W] extends MonadTell[F, W]

  348. trait MonadPartialOrder[G[_], F[_]] extends NaturalTransformation[F, G]

    This trait establishes a partial order among monads.

  349. trait MonadPartialOrderFunctions extends MonadPartialOrderFunctions1

  350. sealed trait MonadPartialOrderFunctions1 extends AnyRef

  351. trait MonadPlus[F[_]] extends Monad[F] with ApplicativePlus[F]

  352. trait MonadReader[F[_, _], S] extends Monad[[x]F[S, x]]

  353. trait MonadState[F[_, _], S] extends Monad[[x]F[S, x]]

    The class of monads supporting the operations of scalaz.State.

  354. trait MonadTell[F[_, _], W] extends Monad[[α]F[W, α]]

    The class of monads supporting write operations

  355. trait MonadTrans[F[_[_], _]] extends AnyRef

    Class of monad transformers.

  356. trait Monoid[F] extends Semigroup[F]

    Provides an identity element (zero) to the binary append operation in Semigroup, subject to the monoid laws.

  357. sealed abstract class Name[+A] extends AnyRef

    Call by name

  358. trait NaturalTransformation[-F[_], +G[_]] extends AnyRef

    A universally quantified function, usually written as F ~> G, for symmetry with A => B.

  359. trait NaturalTransformations extends AnyRef

  360. sealed abstract class Need[+A] extends Name[A]

    Call by need

  361. sealed abstract class Node[V, A] extends AnyRef

  362. type NonEmptyIList[A] = OneAnd[IList, A]

    Definition Classes
    package
  363. final class NonEmptyList[+A] extends AnyRef

    A singly-linked list that is guaranteed to be non-empty.

  364. trait NonEmptyListFunctions extends AnyRef

  365. sealed abstract class NonEmptyListInstances extends NonEmptyListInstances0

  366. sealed abstract class NonEmptyListInstances0 extends AnyRef

  367. trait Nondeterminism[F[_]] extends Monad[F]

    A context supporting nondeterministic choice.

  368. sealed trait NotNothing[A] extends AnyRef

  369. final class NullArgument[A, B] extends AnyRef

  370. trait NullArgumentFunctions extends AnyRef

  371. sealed abstract class NullArgumentInstances extends NullArgumentInstances0

  372. sealed abstract class NullArgumentInstances0 extends AnyRef

  373. final class NullResult[A, B] extends AnyRef

  374. trait NullResultFunctions extends AnyRef

  375. sealed abstract class NullResultInstances extends NullResultInstances0

  376. sealed abstract class NullResultInstances0 extends AnyRef

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

  378. final case class OneAnd[F[_], A](head: A, tail: F[A]) extends Product with Serializable

  379. trait OneAndFunctions extends AnyRef

  380. sealed abstract class OneAndInstances extends OneAndInstances0

  381. sealed abstract class OneAndInstances0 extends OneAndInstances1

  382. sealed abstract class OneAndInstances1 extends OneAndInstances2

  383. sealed abstract class OneAndInstances2 extends OneAndInstances3

  384. sealed abstract class OneAndInstances3 extends OneAndInstances4

  385. sealed abstract class OneAndInstances4 extends OneAndInstances5

  386. sealed abstract class OneAndInstances5 extends AnyRef

  387. final case class OneOr[F[_], A](run: \/[F[A], A]) extends Product with Serializable

  388. trait OneOrFunctions extends AnyRef

  389. sealed abstract class OneOrInstances extends OneOrInstances0

  390. sealed abstract class OneOrInstances0 extends OneOrInstances1

  391. sealed abstract class OneOrInstances1 extends OneOrInstances2

  392. sealed abstract class OneOrInstances2 extends OneOrInstances3

  393. sealed abstract class OneOrInstances3 extends OneOrInstances4

  394. sealed abstract class OneOrInstances4 extends OneOrInstances5

  395. sealed abstract class OneOrInstances5 extends OneOrInstances6

  396. sealed abstract class OneOrInstances6 extends AnyRef

  397. final case class OptionT[F[_], A](run: F[Option[A]]) extends Product with Serializable

    OptionT monad transformer.

  398. trait OptionTFunctions extends AnyRef

  399. sealed abstract class OptionTInstances extends OptionTInstances0

  400. sealed abstract class OptionTInstances0 extends OptionTInstances1

  401. sealed abstract class OptionTInstances1 extends OptionTInstances2

  402. sealed abstract class OptionTInstances2 extends AnyRef

  403. trait Optional[F[_]] extends AnyRef

    Abstraction over a container/context which may or may not provide a value.

  404. sealed abstract class OrdSeq[A] extends Ops[FingerTree[LastOption[A], A]]

    Ordered sequences, based on FingerTree

  405. trait Order[F] extends Equal[F]

    Safer version of scala.math.Ordering.

  406. sealed abstract class Ordering extends AnyRef

    A ternary marker of how two values relate in an ordering.

  407. trait OrderingFunctions extends AnyRef

  408. sealed abstract class OrderingInstances extends AnyRef

  409. type PIndexedState[-S1, S2, A] = IndexedStateT[Id, S1, S2, Option[A]]

    Definition Classes
    package
  410. type PIndexedStateT[F[_], -S1, S2, A] = IndexedStateT[F, S1, S2, Option[A]]

    Definition Classes
    package
  411. type PLens[A, B] = PLensFamily[A, A, B, B]

    A partial lens that doesn't transform the type of the record.

    A partial lens that doesn't transform the type of the record.

    Definition Classes
    package
  412. sealed abstract class PLensFamily[A1, A2, B1, B2] extends AnyRef

    Partial Lens Families, offering a purely functional means to access and retrieve an optional field transitioning from type B1 to type B2 in a record that is simultaneously transitioning from type A1 to type A2.

  413. trait PLensFamilyFunctions extends PLensInstances

  414. trait PLensFunctions extends PLensInstances with PLensFamilyFunctions

  415. abstract class PLensInstances extends AnyRef

  416. type PState[S, A] = IndexedStateT[Id, S, S, Option[A]]

    Definition Classes
    package
  417. type PStateT[F[_], S, A] = IndexedStateT[F, S, S, Option[A]]

    Definition Classes
    package
  418. trait Plus[F[_]] extends AnyRef

    Universally quantified Semigroup.

  419. trait PlusEmpty[F[_]] extends Plus[F]

    Universally quantified Monoid.

  420. trait ProChoice[=>:[_, _]] extends Profunctor[=>:]

    Strength on a coproduct.

  421. trait Profunctor[=>:[_, _]] extends AnyRef

    Profunctors are covariant on the right and contravariant on the left.

  422. type RWS[-R, W, S, A] = IndexedReaderWriterStateT[Id, R, W, S, S, A]

    Definition Classes
    package
  423. type RWST[F[_], -R, W, S, A] = IndexedReaderWriterStateT[F, R, W, S, S, A]

    Definition Classes
    package
  424. trait Ran[G[_], H[_], A] extends AnyRef

    The right Kan extension of H along G

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

  426. type Reader[E, A] = Kleisli[Id, E, A]

    Definition Classes
    package
  427. type ReaderT[F[_], E, A] = Kleisli[F, E, A]

    Definition Classes
    package
  428. type ReaderWriterState[-R, W, S, A] = IndexedReaderWriterStateT[Id, R, W, S, S, A]

    Definition Classes
    package
  429. type ReaderWriterStateT[F[_], -R, W, S, A] = IndexedReaderWriterStateT[F, R, W, S, S, A]

    Definition Classes
    package
  430. trait ReaderWriterStateTFunctions extends AnyRef

  431. abstract class ReaderWriterStateTInstances extends IndexedReaderWriterStateTInstances

  432. sealed abstract 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.

  433. trait ReducerFunctions extends AnyRef

  434. sealed abstract class ReducerInstances extends AnyRef

  435. abstract class Representable[F[_], X] extends AnyRef

    Representable functors, that is to say, those with isomorphisms to and from [a](X => a).

  436. sealed abstract class RepresentableInstances extends AnyRef

  437. final case class Right3[+A, +B, +C](c: C) extends Either3[A, B, C] with Product with Serializable

  438. trait Semigroup[F] extends AnyRef

    An associative binary operation, circumscribed by type and the semigroup laws.

  439. trait Show[F] extends AnyRef

    A typeclass for conversion to textual representation, done via Cord for efficiency.

  440. sealed trait SinkInstances extends AnyRef

  441. sealed trait SourceInstances extends AnyRef

  442. trait Split[=>:[_, _]] extends Compose[=>:]

    A Compose (semigroupoid) permitting products.

  443. type State[S, A] = IndexedStateT[Id, S, S, A]

    A state transition, representing a function S => (A, S).

    A state transition, representing a function S => (A, S).

    Definition Classes
    package
  444. trait StateFunctions extends IndexedStateFunctions

  445. type StateT[F[_], S, A] = IndexedStateT[F, S, S, A]

    Definition Classes
    package
  446. trait StateTFunctions extends IndexedStateTFunctions

  447. abstract class StateTInstances extends StateTInstances0

  448. sealed abstract class StateTInstances0 extends StateTInstances1

  449. sealed abstract class StateTInstances1 extends IndexedStateTInstances

  450. type Store[A, B] = IndexedStoreT[Id, A, A, B]

    Definition Classes
    package
  451. type StoreT[F[_], A, B] = IndexedStoreT[F, A, A, B]

    Definition Classes
    package
  452. trait StoreTFunctions extends IndexedStoreTFunctions

  453. abstract class StoreTInstances extends StoreTInstances0

  454. sealed abstract class StoreTInstances0 extends StoreTInstances1

  455. sealed abstract class StoreTInstances1 extends StoreTInstances2

  456. sealed abstract class StoreTInstances2 extends IndexedStoreTInstances

  457. sealed class StreamT[M[_], A] extends AnyRef

    StreamT monad transformer.

  458. sealed abstract class StreamTInstances extends StreamTInstances0

  459. sealed abstract class StreamTInstances0 extends AnyRef

  460. final case class Success[A](a: A) extends Validation[Nothing, A] with Product with Serializable

  461. trait TheseFunctions extends AnyRef

  462. sealed abstract class TheseInstances extends TheseInstances0

  463. sealed abstract class TheseInstances0 extends TheseInstances1

  464. sealed abstract class TheseInstances1 extends AnyRef

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

  466. sealed trait TrampolineInstances extends AnyRef

  467. trait Traverse[F[_]] extends Functor[F] with Foldable[F]

    Idiomatic traversal of a structure, as described in The Essence of the Iterator Pattern.

  468. trait Traverse1[F[_]] extends Traverse[F] with Foldable1[F]

    A Traverse where traverse is total over Applys.

  469. sealed abstract class Tree[A] extends AnyRef

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

  470. trait TreeFunctions extends AnyRef

  471. sealed abstract class TreeInstances extends AnyRef

  472. final case class TreeLoc[A](tree: Tree[A], lefts: TreeForest[A], rights: TreeForest[A], parents: Parents[A]) extends Product with Serializable

    A rose-tree zipper.

  473. trait TreeLocFunctions extends AnyRef

  474. sealed abstract class TreeLocInstances extends AnyRef

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

  476. trait Unapply[TC[_[_]], MA] extends AnyRef

    Represents a type MA that has been destructured into as a type constructor M[_] applied to type A, along with a corresponding type class instance TC[M].

  477. trait Unapply2[TC[_[_, _]], MAB] extends AnyRef

  478. trait Unapply21[TC[_[_, _], _], MAB] extends AnyRef

  479. sealed trait Unapply2_0 extends AnyRef

  480. trait UnapplyProduct[TC[_[_]], MA, MB] extends AnyRef

  481. sealed trait Unapply_0 extends Unapply_1

  482. sealed trait Unapply_1 extends Unapply_2

  483. sealed trait Unapply_2 extends Unapply_3

  484. sealed trait Unapply_3 extends Unapply_4

  485. sealed trait Unapply_4 extends AnyRef

  486. sealed abstract class UnitReducer[C, M] extends Reducer[C, M]

  487. type Unwriter[W, A] = UnwriterT[Id, W, A]

    Definition Classes
    package
  488. final case class UnwriterT[F[_], U, A](run: F[(U, A)]) extends Product with Serializable

    This data type is isomorphic to WriterT, however, it is NOT a monad.

  489. trait UnwriterTFunctions extends AnyRef

  490. sealed abstract class UnwriterTInstances extends UnwriterTInstances0

  491. sealed abstract class UnwriterTInstances0 extends UnwriterTInstances1

  492. sealed abstract class UnwriterTInstances1 extends UnwriterTInstances2

  493. sealed abstract class UnwriterTInstances2 extends AnyRef

  494. trait Unzip[F[_]] extends AnyRef

  495. sealed abstract class Validation[+E, +A] extends Product with Serializable

    Represents either:

  496. final class ValidationFlatMap[E, A] extends AnyRef

  497. trait ValidationFunctions extends AnyRef

  498. sealed abstract class ValidationInstances extends ValidationInstances0

  499. sealed abstract class ValidationInstances0 extends ValidationInstances1

  500. sealed abstract class ValidationInstances1 extends ValidationInstances2

  501. sealed abstract class ValidationInstances2 extends ValidationInstances3

  502. sealed abstract class ValidationInstances3 extends AnyRef

  503. type ValidationNel[+E, +X] = Validation[NonEmptyList[E], X]

    An Validation with a NonEmptyList as the failure type.

    An Validation with a NonEmptyList as the failure type.

    Useful for accumulating errors through the corresponding Applicative instance.

    Definition Classes
    package
  504. final case class Value[+A](value: A) extends Need[A] with Product with Serializable

    Call by value

  505. sealed abstract class ViewL[S[_], A] extends AnyRef

    View of the left end of a sequence.

  506. sealed abstract class ViewR[S[_], A] extends AnyRef

    View of the right end of a sequence.

  507. type Writer[W, A] = WriterT[Id, W, A]

    Definition Classes
    package
  508. final case class WriterT[F[_], W, A](run: F[(W, A)]) extends Product with Serializable

  509. trait WriterTFunctions extends AnyRef

  510. sealed abstract class WriterTInstance5 extends WriterTInstances6

  511. sealed abstract class WriterTInstances extends WriterTInstances0

  512. sealed abstract class WriterTInstances0 extends WriterTInstances1

  513. sealed abstract class WriterTInstances1 extends WriterTInstances2

  514. sealed abstract class WriterTInstances10 extends WriterTInstances11

  515. sealed abstract class WriterTInstances11 extends WriterTInstances12

  516. sealed abstract class WriterTInstances12 extends AnyRef

  517. sealed abstract class WriterTInstances2 extends WriterTInstances3

  518. sealed abstract class WriterTInstances3 extends WriterTInstances4

  519. sealed abstract class WriterTInstances4 extends WriterTInstance5

  520. sealed abstract class WriterTInstances6 extends WriterTInstances7

  521. sealed abstract class WriterTInstances7 extends WriterTInstances8

  522. sealed abstract class WriterTInstances8 extends WriterTInstances9

  523. sealed abstract class WriterTInstances9 extends WriterTInstances10

  524. abstract class Yoneda[F[_], A] extends AnyRef

    The free functor generated by F.

  525. trait Zap[F[_], G[_]] extends AnyRef

    Functors that annihilate each other.

  526. sealed abstract class ZapInstances extends AnyRef

  527. trait Zip[F[_]] extends AnyRef

  528. final case class Zipper[+A](lefts: Stream[A], focus: A, rights: Stream[A]) extends Product with Serializable

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

  529. trait ZipperFunctions extends AnyRef

  530. sealed abstract class ZipperInstances extends AnyRef

  531. sealed abstract class \&/[+A, +B] extends Product with Serializable

  532. sealed abstract class \/[+A, +B] extends Product with Serializable

    Represents a disjunction: a result that is either an A or a B.

  533. final case class \/-[+B](b: B) extends \/[Nothing, B] with Product with Serializable

    A right disjunction

  534. type |-->[A, B] = IndexedStoreT[Id, B, B, A]

    Definition Classes
    package
  535. type |>=|[G[_], F[_]] = MonadPartialOrder[G, F]

    Definition Classes
    package
  536. type ~>[-F[_], +G[_]] = NaturalTransformation[F, G]

    A NaturalTransformation[F, G].

    Definition Classes
    package
  537. type ~~>[-F[_, _], +G[_, _]] = BiNaturalTransformation[F, G]

    Definition Classes
    package
  538. type [A, B] = \/[A, B]

    Definition Classes
    package
  539. type = Any

    Definition Classes
    package
  540. type = Nothing

    Definition Classes
    package
  541. sealed abstract class BKTree[A] extends Product with Serializable

    Burkhard-Keller trees provide an implementation of sets which apart from the ordinary operations also has an approximate member search, allowing you to search for elements that are of a distance n from the element you are searching for.

  542. final case class CharSet(value: String) extends Product with Serializable

    Newtype for strings representing character sets.

  543. type Cojoin[F[_]] = Cobind[F]

    Definition Classes
    package
    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Cojoin has been merged into Cobind

  544. trait Each[F[_]] extends AnyRef

    Run a side effect once for each A in the F.

  545. trait Index[F[_]] extends AnyRef

    Random access through an integer index.

  546. final class InsertionMap[K, V] extends AnyRef

    Returns a list in order of key insertion.

  547. trait InsertionMapFunctions extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) InsertionMap is deprecated

  548. sealed abstract class InsertionMapInstances extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) InsertionMap is deprecated

  549. trait IsomorphismEach[F[_], G[_]] extends Each[F]

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Each is deprecated

  550. trait IsomorphismIndex[F[_], G[_]] extends Index[F]

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Index is deprecated, use Foldable instead

  551. trait Length[F[_]] extends AnyRef

  552. trait MetricSpace[F] extends AnyRef

    Useful metric spaces include the manhattan distance between two points, the Levenshtein edit distance between two strings, the number of edges in the shortest path between two nodes in an undirected graph and the Hamming distance between two binary strings.

  553. sealed class Rope[A] extends Ops[FingerTreeIntPlus[ImmutableArray[A]]]

    Ropes or 'heavyweight Strings' are an alternative to Strings.

  554. final class RopeBuilder[A] extends Builder[A, Rope[A]]

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Rope is deprecated. Use Cord instead

  555. sealed class RopeCharW extends Ops[Rope[Char]]

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Rope is deprecated. Use Cord instead

  556. trait UnionTypes extends AnyRef

    Union types using Curry-Howard isomorphism

  557. sealed class WrappedRope[A] extends Ops[Rope[A]] with IndexedSeq[A] with IndexedSeqLike[A, WrappedRope[A]]

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Rope is deprecated. Use Cord instead

Value Members

  1. object :+: extends AnyRef

  2. object ==>> extends MapInstances with MapFunctions

  3. object Adjunction extends AdjunctionInstances with AdjunctionFunctions

  4. object Align extends AnyRef

  5. object Alpha extends AlphaInstances with AlphaFunctions with Serializable

  6. object Applicative extends AnyRef

  7. object ApplicativePlus extends AnyRef

  8. object Apply extends AnyRef

  9. object Arrow extends AnyRef

  10. object Associative extends AnyRef

  11. object BKTree extends BKTreeInstances with BKTreeFunctions with Serializable

  12. object Bifoldable extends AnyRef

  13. object Bifunctor extends AnyRef

  14. object BijectionT extends BijectionTInstances with BijectionTFunctions

  15. object Bind extends AnyRef

  16. object Bitraverse extends AnyRef

  17. object BuildInfo extends Product with Serializable

  18. object CaseInsensitive extends CaseInsensitiveInstances

  19. object Catchable extends AnyRef

  20. object Category extends AnyRef

  21. object Choice extends AnyRef

  22. object Cobind extends AnyRef

  23. object Codensity extends CodensityInstances

  24. object Cofree extends CofreeInstances with CofreeFunctions

  25. object Cohoist extends AnyRef

  26. object Cokleisli extends CokleisliInstances with CokleisliFunctions with Serializable

  27. object Comonad extends AnyRef

  28. object ComonadStore extends AnyRef

  29. object ComonadTrans extends AnyRef

  30. object Compose extends AnyRef

  31. object Const extends ConstInstances with ConstFunctions with Serializable

  32. object Cont extends IndexedContsTInstances with IndexedContsTFunctions

  33. object ContT extends IndexedContsTInstances with IndexedContsTFunctions

  34. object Contravariant extends AnyRef

  35. object ContravariantCoyoneda extends ContravariantCoyonedaInstances

  36. object Conts extends IndexedContsTInstances with IndexedContsTFunctions

  37. object ContsT extends IndexedContsTInstances with IndexedContsTFunctions

  38. object Coproduct extends CoproductInstances with CoproductFunctions with Serializable

  39. object Cord extends Serializable

  40. object Coyoneda extends CoyonedaInstances

  41. object Cozip extends AnyRef

  42. val DLeft: scalaz.-\/.type

    Definition Classes
    package
  43. object DList extends DListInstances with DListFunctions

  44. val DRight: scalaz.\/-.type

    Definition Classes
    package
  45. object Dequeue extends DequeueInstances

  46. object Diev extends DievInstances with DievFunctions

  47. object DievInterval extends AnyRef

  48. object Digit extends DigitInstances with DigitFunctions with Serializable

  49. val Disjunction: scalaz.\/.type

    Definition Classes
    package
  50. val DisjunctionT: scalaz.EitherT.type

    Definition Classes
    package
  51. object Distributive extends DistributiveFunctions

  52. object Dual extends DualInstances

  53. object Either3 extends Serializable

  54. object EitherT extends EitherTInstances with EitherTFunctions with Serializable

  55. object Endo extends EndoInstances with EndoFunctions with Serializable

  56. object Endomorphic extends EndomorphicInstances with EndomorphicFunctions with Serializable

  57. object Enum extends AnyRef

  58. object EphemeralStream extends EphemeralStreamInstances with EphemeralStreamFunctions

  59. object Equal extends AnyRef

  60. object FingerTree extends FingerTreeInstances with FingerTreeFunctions

  61. object FoldCase extends FoldCaseInstances

  62. object Foldable extends AnyRef

  63. object Foldable1 extends AnyRef

  64. object Forall extends Foralls

  65. object Free extends FreeInstances with FreeFunctions

  66. object FreeAp extends AnyRef

  67. object Functor extends AnyRef

  68. object Generator extends Generators

  69. object Heap extends HeapInstances with HeapFunctions

  70. object Hoist extends AnyRef

  71. object IList extends IListInstances with IListFunctions with Serializable

  72. val IMap: scalaz.==>>.type

    Definition Classes
    package
  73. val IRWS: scalaz.package.IndexedReaderWriterState.type

    Definition Classes
    package
  74. val IRWST: scalaz.IndexedReaderWriterStateT.type

    Definition Classes
    package
  75. object ISet extends ISetInstances with ISetFunctions

  76. object Id extends IdInstances

  77. object IdT extends IdTInstances with IdTFunctions with Serializable

  78. object ImmutableArray extends ImmutableArrayInstances with ImmutableArrayFunctions

  79. object IndSeq extends IndSeqInstances

  80. object IndexedCont extends IndexedContsTInstances with IndexedContsTFunctions

  81. object IndexedContT extends IndexedContsTInstances with IndexedContsTFunctions

  82. object IndexedConts extends IndexedContsTInstances with IndexedContsTFunctions

  83. object IndexedContsT extends IndexedContsTInstances with IndexedContsTFunctions

  84. object IndexedReaderWriterState extends ReaderWriterStateTInstances with ReaderWriterStateTFunctions

  85. object IndexedReaderWriterStateT extends ReaderWriterStateTInstances with ReaderWriterStateTFunctions

  86. object IndexedState extends StateFunctions

  87. object IndexedStateT extends StateTInstances with StateTFunctions

  88. object IndexedStore extends Serializable

  89. object IndexedStoreT extends StoreTInstances with StoreTFunctions with Serializable

  90. object Inject extends InjectInstances with InjectFunctions

  91. object Injectivity extends AnyRef

  92. object InvariantFunctor extends AnyRef

  93. object IsEmpty extends AnyRef

  94. object Isomorphism extends Isomorphisms

  95. object Kleisli extends KleisliInstances with KleisliFunctions with Serializable

  96. object Lan extends AnyRef

  97. object LazyEither extends LazyEitherInstances with LazyEitherFunctions

  98. object LazyEitherT extends LazyEitherTInstances with LazyEitherTFunctions with Serializable

  99. object LazyOption extends LazyOptionInstances with LazyOptionFunctions with Serializable

  100. object LazyOptionT extends LazyOptionTInstances with LazyOptionTFunctions with Serializable

  101. object LazyTuple extends LazyTupleFunctions

  102. object LazyTuple2 extends LazyTuple2Instances

  103. object LazyTuple3 extends LazyTuple3Instances

  104. object LazyTuple4 extends LazyTuple4Instances

  105. object Leibniz extends LeibnizInstances with LeibnizFunctions

  106. object Lens extends LensInstances with LensFunctions

  107. object LensFamily extends LensInstances with LensFunctions

  108. object Liskov extends LiskovInstances with LiskovFunctions

  109. object ListT extends ListTInstances with Serializable

  110. object Maybe extends MaybeInstances with MaybeFunctions

  111. object MaybeT extends MaybeTInstances with MaybeTFunctions with Serializable

  112. object Memo extends MemoInstances with MemoFunctions

  113. object MetricSpace extends AnyRef

  114. object Monad extends AnyRef

  115. object MonadError extends AnyRef

  116. object MonadListen extends AnyRef

  117. object MonadPartialOrder extends MonadPartialOrderFunctions

  118. object MonadPlus extends AnyRef

  119. object MonadReader extends AnyRef

  120. object MonadState extends AnyRef

  121. object MonadTell extends AnyRef

  122. object MonadTrans extends AnyRef

  123. object Monoid extends AnyRef

  124. object Name extends AnyRef

  125. object NaturalTransformation extends NaturalTransformations

  126. object Need extends AnyRef

  127. object NonEmptyList extends NonEmptyListInstances with NonEmptyListFunctions

  128. object Nondeterminism extends AnyRef

  129. object NotNothing extends AnyRef

  130. object NullArgument extends NullArgumentInstances with NullArgumentFunctions

  131. object NullResult extends NullResultInstances with NullResultFunctions

  132. object OneAnd extends OneAndInstances with OneAndFunctions with Serializable

  133. object OneOr extends OneOrInstances with OneOrFunctions with Serializable

  134. object OptionT extends OptionTInstances with OptionTFunctions with Serializable

  135. object Optional extends AnyRef

  136. object OrdSeq extends AnyRef

  137. object Order extends AnyRef

  138. object Ordering extends OrderingInstances with OrderingFunctions

  139. object PLens extends PLensInstances with PLensFunctions

  140. object PLensFamily extends PLensInstances with PLensFunctions

  141. object Plus extends AnyRef

  142. object PlusEmpty extends AnyRef

  143. object ProChoice extends AnyRef

  144. object Profunctor extends AnyRef

  145. val RWS: scalaz.package.ReaderWriterState.type

    Definition Classes
    package
  146. val RWST: scalaz.package.ReaderWriterStateT.type

    Definition Classes
    package
  147. object Ran extends AnyRef

  148. object Reader extends Serializable

  149. object ReaderWriterState extends ReaderWriterStateTInstances with ReaderWriterStateTFunctions

  150. object ReaderWriterStateT extends ReaderWriterStateTInstances with ReaderWriterStateTFunctions

  151. object Reducer extends ReducerInstances with ReducerFunctions

  152. object Representable extends RepresentableInstances

  153. object Scalaz extends StateFunctions with ToTypeClassOps with ToDataOps with AllInstances with AllFunctions with ToAllStdOps with IdInstances

  154. object Semigroup extends AnyRef

  155. object Show extends AnyRef

  156. object Sink extends SinkInstances

  157. object Source extends SourceInstances

  158. object Split extends AnyRef

  159. object State extends StateFunctions

  160. object StateT extends StateTInstances with StateTFunctions

  161. object Store extends Serializable

  162. object StoreT extends StoreTInstances with StoreTFunctions with Serializable

  163. object StreamT extends StreamTInstances

  164. object Tag extends AnyRef

  165. object Tags extends AnyRef

    Type tags that are used to discriminate between alternative type class instances.

  166. object Trampoline extends TrampolineInstances

  167. object Traverse extends AnyRef

  168. object Traverse1 extends AnyRef

  169. object Tree extends TreeInstances with TreeFunctions

  170. object TreeLoc extends TreeLocInstances with TreeLocFunctions with Serializable

  171. object Unapply extends Unapply_0

  172. object Unapply2 extends Unapply2_0

  173. object Unapply21 extends AnyRef

  174. object UnapplyProduct extends AnyRef

  175. object UnitReducer extends AnyRef

  176. object Unwriter extends Serializable

  177. object UnwriterT extends UnwriterTInstances with UnwriterTFunctions with Serializable

  178. object Unzip extends AnyRef

  179. object Validation extends ValidationInstances with ValidationFunctions with Serializable

  180. object Value extends Serializable

  181. object Writer extends Serializable

  182. object WriterT extends WriterTInstances with WriterTFunctions with Serializable

  183. object Yoneda extends AnyRef

  184. object Zap extends ZapInstances

  185. object Zip extends AnyRef

  186. object Zipper extends ZipperInstances with ZipperFunctions with Serializable

  187. object \&/ extends TheseInstances with TheseFunctions with Serializable

  188. object \/ extends DisjunctionInstances with DisjunctionFunctions with Serializable

  189. package concurrent

  190. package effect

  191. package example

  192. implicit val idInstance: Traverse1[Id] with Each[Id] with Monad[Id] with Comonad[Id] with Distributive[Id] with Zip[Id] with Unzip[Id] with Align[Id] with Cozip[Id]

    Definition Classes
    package
  193. package iteratee

  194. package scalacheck

  195. package std

    Type Class instances for data structures in the Scala and Java standard libraries.

  196. package syntax

    Implicits to provide a convenient syntax to work with type classes and functions.

  197. package xml

Deprecated Value Members

  1. object CharSet extends CharSetFunctions with Serializable

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) CharSet is deprecated

  2. val Cojoin: scalaz.Cobind.type

    Definition Classes
    package
    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Cojoin has been merged into Cobind

  3. object Each extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Each is deprecated

  4. object Index extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Index is deprecated, use Foldable#index instead

  5. object InsertionMap extends InsertionMapInstances with InsertionMapFunctions

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) InsertionMap is deprecated

  6. object Length extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Length is deprecated, use Foldable#length instead

  7. object Rope extends AnyRef

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) Rope is deprecated. Use Cord instead

  8. object UnionTypes extends UnionTypes

    Annotations
    @deprecated
    Deprecated

    (Since version 7.1) unboxed union types are deprecated