p

zio

prelude

package prelude

Linear Supertypes
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
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. prelude
  2. BicovariantSyntax
  3. TraversableSyntax
  4. OrdSyntax
  5. NonEmptyTraversableSyntax
  6. NonEmptySetSyntax
  7. NewtypeFExports
  8. NewtypeExports
  9. InverseSyntax
  10. IdentityEitherSyntax
  11. IdentityBothSyntax
  12. IdentitySyntax
  13. IdExports
  14. HashSyntax
  15. EqualSyntax
  16. DivariantSyntax
  17. DebugSyntax
  18. ContravariantSyntax
  19. CovariantSyntax
  20. CommutativeEitherSyntax
  21. CommutativeBothSyntax
  22. AssociativeFlattenSyntax
  23. AssociativeEitherSyntax
  24. AssociativeComposeSyntax
  25. AssociativeBothSyntax
  26. AssociativeSyntax
  27. Assertions
  28. AnyRef
  29. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. Protected

Type Members

  1. type <=>[A, B] = Equivalence[A, B]
  2. type AnyF[_] = Any
  3. implicit class AssociativeBothContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  4. implicit class AssociativeBothCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  5. implicit class AssociativeBothOps[F[_], A] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  6. implicit class AssociativeComposeOps[:=>[-_, +_], A, B] extends AnyRef
    Definition Classes
    AssociativeComposeSyntax
  7. implicit class AssociativeEitherContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  8. implicit class AssociativeEitherCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  9. implicit class AssociativeEitherOps[F[_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  10. implicit class AssociativeFlattenCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeFlattenSyntax
  11. implicit class AssociativeFlattenOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeFlattenSyntax
  12. implicit class AssociativeOps[A] extends AnyRef
    Definition Classes
    AssociativeSyntax
  13. implicit class BicovariantOps[<=>[+_, +_], A, B] extends AnyRef
    Definition Classes
    BicovariantSyntax
  14. implicit class CommutativeBothContraVariantOps[F[-_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  15. implicit class CommutativeBothCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  16. implicit class CommutativeBothOps[F[_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  17. implicit class CommutativeEitherContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  18. implicit class CommutativeEitherCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  19. implicit class CommutativeEitherOps[F[_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  20. implicit class ContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    ContravariantSyntax
  21. implicit class CovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CovariantSyntax
  22. implicit class DebugOps[A] extends AnyRef
    Definition Classes
    DebugSyntax
  23. type DeriveAssociative[F[_]] = Derive[F, Associative]
  24. type DeriveCommutative[F[_]] = Derive[F, Commutative]
  25. type DeriveDebug[F[_]] = Derive[F, Debug]
  26. type DeriveEqual[F[_]] = Derive[F, Equal]
  27. type DeriveHash[F[_]] = Derive[F, Hash]
  28. type DeriveIdentity[F[_]] = Derive[F, Identity]
  29. type DeriveInverse[F[_]] = Derive[F, Inverse]
  30. type DeriveOrd[F[_]] = Derive[F, Ord]
  31. implicit class DivariantOps[:=>[-_, +_], A, B] extends AnyRef
    Definition Classes
    DivariantSyntax
  32. type EReader[-R, +E, +A] = ZPure[Unit, Unit, R, E, A]
  33. type EState[S, +E, +A] = ZPure[S, S, Any, E, A]
  34. implicit class EqualOps[A] extends AnyRef
    Definition Classes
    EqualSyntax
  35. implicit class Flip1Ops[F[+_], G[+_], A] extends AnyRef
    Definition Classes
    NonEmptyTraversableSyntax
  36. implicit class FlipOps[F[+_], G[+_], A] extends AnyRef
    Definition Classes
    TraversableSyntax
  37. implicit class HashOps[A] extends AnyRef
    Definition Classes
    HashSyntax
  38. type Id[+A] = Type[A]
    Definition Classes
    IdExports
  39. implicit class IdentityBothAnyOps[A] extends AnyRef
    Definition Classes
    IdentityBothSyntax
  40. implicit class IdentityBothContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    IdentityBothSyntax
  41. implicit class IdentityBothCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    IdentityBothSyntax
  42. implicit class IdentityBothOps[F[_], A] extends AnyRef
    Definition Classes
    IdentityBothSyntax
  43. implicit class IdentityEitherContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    IdentityEitherSyntax
  44. implicit class IdentityEitherCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    IdentityEitherSyntax
  45. implicit class IdentityEitherOps[F[_], A] extends AnyRef
    Definition Classes
    IdentityEitherSyntax
  46. implicit class IdentityOps[A] extends AnyRef
    Definition Classes
    IdentitySyntax
  47. implicit class InverseOps[A] extends AnyRef
    Definition Classes
    InverseSyntax
  48. implicit class IterableOps[A] extends AnyRef
    Definition Classes
    NonEmptySetSyntax
  49. type MultiSet[+A] = ZSet[A, Int]
  50. abstract class Newtype[A] extends prelude.NewtypeModule.Newtype[A]
    Definition Classes
    NewtypeExports
  51. abstract class NewtypeF extends prelude.NewtypeModuleF.NewtypeF
    Definition Classes
    NewtypeFExports
  52. abstract class NewtypeSmart[A] extends prelude.NewtypeModule.NewtypeSmart[A]
    Definition Classes
    NewtypeExports
  53. type NonEmptyMultiSet[+A] = ZNonEmptySet[A, Int]
  54. implicit class NonEmptyTraversableOps[F[+_], A] extends AnyRef
    Definition Classes
    NonEmptyTraversableSyntax
  55. implicit class OrdOps[A] extends AnyRef
    Definition Classes
    OrdSyntax
  56. type Reader[-R, +A] = ZPure[Unit, Unit, R, Nothing, A]
  57. type State[S, +A] = ZPure[S, S, Any, Nothing, A]
  58. abstract class Subtype[A] extends prelude.NewtypeModule.Subtype[A]
    Definition Classes
    NewtypeExports
  59. abstract class SubtypeF extends prelude.NewtypeModuleF.SubtypeF
    Definition Classes
    NewtypeFExports
  60. abstract class SubtypeSmart[A] extends prelude.NewtypeModule.SubtypeSmart[A]
    Definition Classes
    NewtypeExports
  61. implicit class TraversableOps[F[+_], A] extends AnyRef
    Definition Classes
    TraversableSyntax

Value Members

  1. val EReader: ZPure.type
  2. val EState: ZPure.type
  3. val MultiSet: ZSet.type
  4. val NonEmptyMultiSet: ZNonEmptySet.type
  5. val Reader: ZPure.type
  6. val State: ZPure.type
  7. def equalTo[A](expected: A)(implicit arg0: Equal[A]): Assertion[A]
    Definition Classes
    Assertions
  8. def isFailureV[E](assertion: Assertion[NonEmptyChunk[E]]): Assertion[Validation[E, Any]]
    Definition Classes
    Assertions
  9. def isGreaterThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
    Definition Classes
    Assertions
  10. def isGreaterThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
    Definition Classes
    Assertions
  11. def isLessThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
    Definition Classes
    Assertions
  12. def isLessThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]
    Definition Classes
    Assertions
  13. def isSuccessV[A](assertion: Assertion[A]): Assertion[Validation[Any, A]]
    Definition Classes
    Assertions

Inherited from BicovariantSyntax

Inherited from TraversableSyntax

Inherited from OrdSyntax

Inherited from NonEmptyTraversableSyntax

Inherited from NonEmptySetSyntax

Inherited from NewtypeFExports

Inherited from NewtypeExports

Inherited from InverseSyntax

Inherited from IdentityEitherSyntax

Inherited from IdentityBothSyntax

Inherited from IdentitySyntax

Inherited from IdExports

Inherited from HashSyntax

Inherited from EqualSyntax

Inherited from DivariantSyntax

Inherited from DebugSyntax

Inherited from ContravariantSyntax

Inherited from CovariantSyntax

Inherited from CommutativeEitherSyntax

Inherited from CommutativeBothSyntax

Inherited from AssociativeFlattenSyntax

Inherited from AssociativeEitherSyntax

Inherited from AssociativeComposeSyntax

Inherited from AssociativeBothSyntax

Inherited from AssociativeSyntax

Inherited from Assertions

Inherited from AnyRef

Inherited from Any

Ungrouped