package
prelude
Type Members
-
type
<=>[A, B] = Equivalence[A, B]
-
type
AnyF[_] = Any
-
implicit
class
AssociativeBothContravariantOps[F[-_], A] extends AnyRef
-
implicit
class
AssociativeBothCovariantOps[F[+_], A] extends AnyRef
-
implicit
class
AssociativeBothOps[F[_], A] extends AnyRef
-
implicit
class
AssociativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
-
implicit
class
AssociativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
-
implicit
class
AssociativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
-
implicit
class
AssociativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
-
implicit
class
AssociativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
-
implicit
class
AssociativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
-
implicit
class
AssociativeBothTuple16Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] extends AnyRef
-
implicit
class
AssociativeBothTuple17Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] extends AnyRef
-
implicit
class
AssociativeBothTuple18Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] extends AnyRef
-
implicit
class
AssociativeBothTuple19Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19] extends AnyRef
-
implicit
class
AssociativeBothTuple20Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20] extends AnyRef
-
implicit
class
AssociativeBothTuple21Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21] extends AnyRef
-
implicit
class
AssociativeBothTuple22Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22] extends AnyRef
-
implicit
class
AssociativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
-
implicit
class
AssociativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
-
implicit
class
AssociativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
-
implicit
class
AssociativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
-
implicit
class
AssociativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
-
implicit
class
AssociativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
-
implicit
class
AssociativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
-
implicit
class
AssociativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
-
implicit
class
AssociativeComposeOps[A, B, =>:[-_, +_]] extends AnyRef
-
implicit
class
AssociativeEitherContravariantOps[F[-_], A] extends AnyRef
-
implicit
class
AssociativeEitherCovariantOps[F[+_], A] extends AnyRef
-
implicit
class
AssociativeEitherOps[F[_], A] extends AnyRef
-
implicit
class
AssociativeFlattenCovariantOps[F[+_], A] extends AnyRef
-
implicit
class
AssociativeFlattenOps[F[+_], A] extends AnyRef
-
implicit
class
AssociativeOps[A] extends AnyRef
-
implicit
class
BicovariantOps[<=>[+_, +_], A, B] extends AnyRef
-
implicit
class
CommutativeBothContraVariantOps[F[-_], A] extends AnyRef
-
implicit
class
CommutativeBothCovariantOps[F[+_], A] extends AnyRef
-
implicit
class
CommutativeBothOps[F[_], A] extends AnyRef
-
implicit
class
CommutativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
-
implicit
class
CommutativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
-
implicit
class
CommutativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
-
implicit
class
CommutativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
-
implicit
class
CommutativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
-
implicit
class
CommutativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
-
implicit
class
CommutativeBothTuple16Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] extends AnyRef
-
implicit
class
CommutativeBothTuple17Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] extends AnyRef
-
implicit
class
CommutativeBothTuple18Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] extends AnyRef
-
implicit
class
CommutativeBothTuple19Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19] extends AnyRef
-
implicit
class
CommutativeBothTuple20Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20] extends AnyRef
-
implicit
class
CommutativeBothTuple21Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21] extends AnyRef
-
implicit
class
CommutativeBothTuple22Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18, T19, T20, T21, T22] extends AnyRef
-
implicit
class
CommutativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
-
implicit
class
CommutativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
-
implicit
class
CommutativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
-
implicit
class
CommutativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
-
implicit
class
CommutativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
-
implicit
class
CommutativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
-
implicit
class
CommutativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
-
implicit
class
CommutativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
-
implicit
class
CommutativeEitherContravariantOps[F[-_], A] extends AnyRef
-
implicit
class
CommutativeEitherCovariantOps[F[+_], A] extends AnyRef
-
implicit
class
CommutativeEitherOps[F[_], A] extends AnyRef
-
type
Const[+A, +B] = Type[A]
-
implicit
class
ContravariantOps[F[-_], A] extends AnyRef
-
implicit
class
CovariantOps[F[+_], A] extends AnyRef
-
implicit
class
DebugOps[A] extends AnyRef
-
type
DeriveAssociative[F[_]] = Derive[F, Associative]
-
type
DeriveCommutative[F[_]] = Derive[F, Commutative]
-
type
DeriveDebug[F[_]] = Derive[F, Debug]
-
type
DeriveEqual[F[_]] = Derive[F, Equal]
-
type
DeriveHash[F[_]] = Derive[F, Hash]
-
type
DeriveIdentity[F[_]] = Derive[F, Identity]
-
type
DeriveInverse[F[_]] = Derive[F, Inverse]
-
type
DeriveOrd[F[_]] = Derive[F, Ord]
-
implicit
class
DivariantOps[=>:[-_, +_], A, B] extends AnyRef
-
type
EReader[-R, +E, +A] = ZPure[Nothing, Unit, Unit, R, E, A]
-
type
EState[S, +E, +A] = ZPure[Nothing, S, S, Any, E, A]
-
type
EWriter[+W, +E, +A] = ZPure[W, Unit, Unit, Any, E, A]
-
implicit
class
EqualOps[A] extends AnyRef
-
implicit
class
Flip1Ops[F[+_], G[+_], A] extends AnyRef
-
implicit
class
FlipOps[F[+_], G[+_], A] extends AnyRef
-
implicit
class
ForEachOps[F[+_], A] extends AnyRef
-
implicit
class
HashOps[A] extends AnyRef
-
type
Id[+A] = Type[A]
-
implicit
class
IdentityBothAnyOps[A] extends AnyRef
-
implicit
class
IdentityEitherAnyOps extends AnyRef
-
implicit
class
IdentityOps[A] extends AnyRef
-
implicit
class
InverseOps[A] extends AnyRef
-
implicit
class
IterableOps[A] extends AnyRef
-
type
MultiSet[+A] = ZSet[A, Int]
-
abstract
class
Newtype[A] extends prelude.NewtypeModule.Newtype[A]
-
abstract
class
NewtypeF extends prelude.NewtypeModuleF.NewtypeF
-
abstract
class
NewtypeSmart[A] extends prelude.NewtypeModule.NewtypeSmart[A]
-
abstract
class
NewtypeSmartF[A[_]] extends prelude.NewtypeModuleF.NewtypeSmartF[A]
-
implicit
class
NonEmptyForEachOps[F[+_], A] extends AnyRef
-
type
NonEmptyMultiSet[+A] = ZNonEmptySet[A, Int]
-
implicit
class
OrdOps[A] extends AnyRef
-
implicit
class
PartialOrdOps[A] extends AnyRef
-
type
Reader[-R, +A] = ZPure[Nothing, Unit, Unit, R, Nothing, A]
-
type
State[S, +A] = ZPure[Nothing, S, S, Any, Nothing, A]
-
abstract
class
Subtype[A] extends prelude.NewtypeModule.Subtype[A]
-
abstract
class
SubtypeF extends prelude.NewtypeModuleF.SubtypeF
-
abstract
class
SubtypeSmart[A] extends prelude.NewtypeModule.SubtypeSmart[A]
-
abstract
class
SubtypeSmartF[A[_]] extends prelude.NewtypeModuleF.SubtypeSmartF[A]
-
type
Validation[+E, +A] = ZPure[Nothing, Unit, Unit, Any, E, A]
-
type
Writer[+W, +A] = ZPure[W, Unit, Unit, Any, Nothing, A]
-
type
ZValidation[+W, +E, +A] = ZPure[W, Unit, Unit, Any, E, A]
-
implicit
class
ZivariantOps[Z[-_, +_, +_], R, E, A] extends AnyRef
Value Members
-
val
EReader: ZPure.type
-
val
EState: ZPure.type
-
val
EWriter: ZPure.type
-
val
MultiSet: ZSet.type
-
val
NonEmptyMultiSet: ZNonEmptySet.type
-
val
Reader: ZPure.type
-
val
State: ZPure.type
-
val
Validation: ZPure.type
-
val
Writer: ZPure.type
-
val
ZValidation: ZPure.type
-
val
any: Any
-
def
equalTo[A](expected: A)(implicit arg0: Equal[A]): Assertion[A]
-
-
def
isFailureV[E](assertion: Assertion[E]): Assertion[Validation[E, Any]]
-
def
isGreaterThan[A](reference: A)(implicit ord: PartialOrd[A]): Assertion[A]
-
def
isGreaterThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): Assertion[A]
-
def
isLessThan[A](reference: A)(implicit ord: PartialOrd[A]): Assertion[A]
-
def
isLessThanEqualTo[A](reference: A)(implicit ord: PartialOrd[A]): Assertion[A]
-
def
isSuccessV[A](assertion: Assertion[A]): Assertion[Validation[Any, A]]
Inherited from AnyRef
Inherited from Any
