package prelude
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prelude
- BicovariantSyntax
- TraversableSyntax
- OrdSyntax
- NonEmptyTraversableSyntax
- NonEmptySetSyntax
- NewtypeFExports
- NewtypeExports
- InverseSyntax
- IdentityEitherSyntax
- IdentityBothSyntax
- IdentitySyntax
- IdExports
- HashSyntax
- EqualSyntax
- DivariantSyntax
- DebugSyntax
- ContravariantSyntax
- CovariantSyntax
- CommutativeEitherSyntax
- CommutativeBothSyntax
- AssociativeFlattenSyntax
- AssociativeEitherSyntax
- AssociativeComposeSyntax
- AssociativeBothSyntax
- AssociativeSyntax
- Assertions
- AnyRef
- Any
- Hide All
- Show All
Visibility
- Public
- Protected
Type Members
- type <=>[A, B] = Equivalence[A, B]
- type AnyF[_] = Any
- implicit class AssociativeBothContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothOps[F[_], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeComposeOps[:=>[-_, +_], A, B] extends AnyRef
- Definition Classes
- AssociativeComposeSyntax
- implicit class AssociativeEitherContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeEitherCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeEitherOps[F[_], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeFlattenCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- AssociativeFlattenSyntax
- implicit class AssociativeFlattenOps[F[+_], A] extends AnyRef
- Definition Classes
- AssociativeFlattenSyntax
- implicit class AssociativeOps[A] extends AnyRef
- Definition Classes
- AssociativeSyntax
- implicit class BicovariantOps[<=>[+_, +_], A, B] extends AnyRef
- Definition Classes
- BicovariantSyntax
- implicit class CommutativeBothContraVariantOps[F[-_], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothOps[F[_], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeEitherContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- implicit class CommutativeEitherCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- implicit class CommutativeEitherOps[F[_], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- implicit class ContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- ContravariantSyntax
- implicit class CovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- CovariantSyntax
- implicit class DebugOps[A] extends AnyRef
- Definition Classes
- DebugSyntax
- 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
- Definition Classes
- DivariantSyntax
- type EReader[-R, +E, +A] = ZPure[Unit, Unit, R, E, A]
- type EState[S, +E, +A] = ZPure[S, S, Any, E, A]
- implicit class EqualOps[A] extends AnyRef
- Definition Classes
- EqualSyntax
- implicit class Flip1Ops[F[+_], G[+_], A] extends AnyRef
- Definition Classes
- NonEmptyTraversableSyntax
- implicit class FlipOps[F[+_], G[+_], A] extends AnyRef
- Definition Classes
- TraversableSyntax
- implicit class HashOps[A] extends AnyRef
- Definition Classes
- HashSyntax
- type Id[+A] = Type[A]
- Definition Classes
- IdExports
- implicit class IdentityBothAnyOps[A] extends AnyRef
- Definition Classes
- IdentityBothSyntax
- implicit class IdentityBothContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- IdentityBothSyntax
- implicit class IdentityBothCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- IdentityBothSyntax
- implicit class IdentityBothOps[F[_], A] extends AnyRef
- Definition Classes
- IdentityBothSyntax
- implicit class IdentityEitherContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- IdentityEitherSyntax
- implicit class IdentityEitherCovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- IdentityEitherSyntax
- implicit class IdentityEitherOps[F[_], A] extends AnyRef
- Definition Classes
- IdentityEitherSyntax
- implicit class IdentityOps[A] extends AnyRef
- Definition Classes
- IdentitySyntax
- implicit class InverseOps[A] extends AnyRef
- Definition Classes
- InverseSyntax
- implicit class IterableOps[A] extends AnyRef
- Definition Classes
- NonEmptySetSyntax
- type MultiSet[+A] = ZSet[A, Int]
- abstract class Newtype[A] extends prelude.NewtypeModule.Newtype[A]
- Definition Classes
- NewtypeExports
- abstract class NewtypeF extends prelude.NewtypeModuleF.NewtypeF
- Definition Classes
- NewtypeFExports
- abstract class NewtypeSmart[A] extends prelude.NewtypeModule.NewtypeSmart[A]
- Definition Classes
- NewtypeExports
- type NonEmptyMultiSet[+A] = ZNonEmptySet[A, Int]
- implicit class NonEmptyTraversableOps[F[+_], A] extends AnyRef
- Definition Classes
- NonEmptyTraversableSyntax
- implicit class OrdOps[A] extends AnyRef
- Definition Classes
- OrdSyntax
- type Reader[-R, +A] = ZPure[Unit, Unit, R, Nothing, A]
- type State[S, +A] = ZPure[S, S, Any, Nothing, A]
- abstract class Subtype[A] extends prelude.NewtypeModule.Subtype[A]
- Definition Classes
- NewtypeExports
- abstract class SubtypeF extends prelude.NewtypeModuleF.SubtypeF
- Definition Classes
- NewtypeFExports
- abstract class SubtypeSmart[A] extends prelude.NewtypeModule.SubtypeSmart[A]
- Definition Classes
- NewtypeExports
- implicit class TraversableOps[F[+_], A] extends AnyRef
- Definition Classes
- TraversableSyntax
Value Members
- val EReader: ZPure.type
- val EState: ZPure.type
- val MultiSet: ZSet.type
- val NonEmptyMultiSet: ZNonEmptySet.type
- val Reader: ZPure.type
- val State: ZPure.type
- def equalTo[A](expected: A)(implicit arg0: Equal[A]): Assertion[A]
- Definition Classes
- Assertions
- def isFailureV[E](assertion: Assertion[NonEmptyChunk[E]]): Assertion[Validation[E, Any]]
- Definition Classes
- Assertions
- def isGreaterThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
- Definition Classes
- Assertions
- def isGreaterThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
- Definition Classes
- Assertions
- def isLessThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
- Definition Classes
- Assertions
- def isLessThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
- Definition Classes
- Assertions
- def isSuccessV[A](assertion: Assertion[A]): Assertion[Validation[Any, A]]
- Definition Classes
- Assertions