scalaz

Type Members

1. sealed 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. final class ApplicativeBuilder[M[_], A, B] extends AnyRef

   Not intended for direct use.

5. trait ApplicativeLow extends AnyRef

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

7. abstract class ApplyLow extends AnyRef

8. trait Applys extends AnyRef

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

10. trait ArrayBytes extends AnyRef

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

12. sealed 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. sealed trait BigIntMultiplication extends NewType[BigInt]

18. sealed trait BigIntW extends PimpedType[BigInt]

19. sealed trait BigIntegerMultiplication extends NewType[BigInteger]

20. sealed 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. sealed trait BooleanConjunction extends NewType[Boolean]

26. trait BooleanConjunctions extends AnyRef

27. sealed trait BooleanW extends AnyRef

28. trait Booleans extends AnyRef

29. sealed trait ByteMultiplication extends NewType[Byte]

30. sealed trait ByteW extends PimpedType[Byte]

31. trait Bytes extends AnyRef

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

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

34. sealed trait CharMultiplication extends NewType[Char]

35. sealed trait CharSet extends AnyRef

36. trait CharSets extends AnyRef

37. sealed 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. sealed 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. sealed trait Endo[A] extends NewType[(A) ⇒ A]

66. trait Endos extends AnyRef

67. sealed 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. sealed 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. sealed trait FailProjection[+E, +A] extends AnyRef

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

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

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

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

88. sealed trait Function0W[T] extends AnyRef

89. trait Function0s extends AnyRef

90. sealed trait Function1W[T, R] extends AnyRef

91. trait Function1s extends AnyRef

92. sealed trait Function2W[T1, T2, R] extends AnyRef

93. trait Function2s extends AnyRef

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

    Covariant function application in an environment.

95. trait GeneralizedCategory extends AnyRef

96. trait GeneralizedGroupoid extends GeneralizedCategory

97. abstract 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.

98. trait Groupoid[~>:[_, _]] extends GeneralizedGroupoid with Category[~>:]

99. sealed trait Heap[A] extends AnyRef

100. trait Hom extends AnyRef

     Defines a category.

101. sealed trait Identity[A] extends Equals with IdentitySugar[A]

102. sealed trait IdentitySugar[A] extends AnyRef

103. trait Identitys extends AnyRef

104. trait ImmutableArray[+A] extends AnyRef

     An immutable wrapper for arrays

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

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

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

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

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

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

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

111. sealed trait Input[E] extends AnyRef

     The input to an iteratee.

112. sealed trait InputStreamW extends PimpedType[InputStream]

113. trait InputStreams extends AnyRef

114. sealed trait IntMultiplication extends NewType[Int]

115. sealed trait IntW extends PimpedType[Int]

116. trait Ints extends AnyRef

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

118. sealed trait IterV[E, A] extends AnyRef

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

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

     Monadic Iteratees *

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

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

122. trait Kleislis extends AnyRef

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

124. trait LastLazyOptions extends AnyRef

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

126. trait LastOptions extends AnyRef

127. sealed trait LazyOption[+A] extends AnyRef

128. sealed trait LazyTuple2[A, B] extends AnyRef

129. sealed trait LazyTuple3[A, B, C] extends AnyRef

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

131. trait LazyTuples extends AnyRef

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

     Leibnizian equality: A better =:=

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

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

     Liskov substitutability: A better <:<

135. sealed class ListT[M[_], A] extends AnyRef

136. sealed trait ListW[A] extends PimpedType[List[A]]

137. trait Lists extends AnyRef

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

139. trait Loggers extends AnyRef

140. sealed trait LongMultiplication extends NewType[Long]

141. sealed trait LongW extends PimpedType[Long]

142. trait Longs extends AnyRef

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

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

145. trait MABLow extends AnyRef

146. trait MABs extends MABLow

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

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

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

150. trait MAs extends MAsLow

151. trait MAsLow extends AnyRef

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

153. trait Memos extends AnyRef

154. sealed trait MetricSpace[-A] extends AnyRef

155. trait MetricSpaces extends AnyRef

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

     Abstract a model that sequences computation through an environment.

157. trait MonadLow extends AnyRef

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

     A categorical monoid.

159. abstract class MonoidLow extends AnyRef

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

     Positive recursion

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

     Possibly negative recursion.

162. trait Multiplications extends AnyRef

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

     Call by name

164. trait Names extends AnyRef

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

     Call by need

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

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

168. sealed trait NonEmptyList[+A] extends AnyRef

169. trait NonEmptyLists extends AnyRef

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

     Positive corecursion

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

     Possibly negative corecursion

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

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

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

175. trait OptionTs extends AnyRef

176. sealed trait OptionW[A] extends PimpedType[Option[A]]

177. trait Options extends AnyRef

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

179. trait OrderLow extends AnyRef

180. sealed trait Ordering extends AnyRef

181. trait Orders extends AnyRef

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

183. 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].

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

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

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

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

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

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

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

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

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

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

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

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

195. trait PlusLow extends AnyRef

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

197. trait PointedLow extends AnyRef

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

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

200. 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].

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

202. trait Reducers extends AnyRef

203. sealed trait Resource[T] extends AnyRef

204. trait Resources extends AnyRef

205. trait Semigroup[S] extends AnyRef

     A Semigroup in type S must satisfy two laws:

206. trait SemigroupLow extends AnyRef

207. trait Semigroups extends AnyRef

208. sealed trait ShortMultiplication extends NewType[Short]

209. sealed trait ShortW extends PimpedType[Short]

210. trait Shorts extends AnyRef

211. trait Show[A] extends AnyRef

212. trait Shows extends AnyRef

213. sealed trait State[S, +A] extends AnyRef

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

     State monad transformer

215. trait States extends AnyRef

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

217. sealed trait StreamW[A] extends PimpedType[Stream[A]]

218. trait Streams extends AnyRef

219. sealed trait StringW extends PimpedType[String]

220. trait Strings extends AnyRef

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

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

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

224. sealed trait Tree[+A] extends AnyRef

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

225. sealed trait TreeLoc[+A] extends AnyRef

226. trait TreeLocs extends AnyRef

227. trait Trees extends AnyRef

228. trait Tuples extends AnyRef

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

230. sealed trait Validation[+E, +A] extends AnyRef

231. trait Validations extends AnyRef

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

     Call by value

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

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

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

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

237. trait WriterTs extends AnyRef

238. trait Writers extends AnyRef

239. trait Zero[Z] extends AnyRef

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

240. trait Zeros extends AnyRef

241. trait ZipStream[+A] extends AnyRef

242. trait ZipStreams extends AnyRef

243. sealed 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.

244. trait Zippers extends AnyRef

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

     A natural transformation between functors F and G *

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

     A transformation natural in both sides of a bifunctor *