Package

zio

prelude

Permalink

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

Type Members

  1. type <=>[A, B] = Equivalence[A, B]

    Permalink
  2. type AnyF[_] = Any

    Permalink
  3. implicit class AssociativeBothContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeBothSyntax
  4. implicit class AssociativeBothCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeBothSyntax
  5. implicit class AssociativeBothOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeBothSyntax
  6. implicit class AssociativeComposeOps[:=>[-_, +_], A, B] extends AnyRef

    Permalink
    Definition Classes
    AssociativeComposeSyntax
  7. implicit class AssociativeEitherContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeEitherSyntax
  8. implicit class AssociativeEitherCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeEitherSyntax
  9. implicit class AssociativeEitherOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeEitherSyntax
  10. implicit class AssociativeFlattenCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeFlattenSyntax
  11. implicit class AssociativeFlattenOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeFlattenSyntax
  12. implicit class AssociativeOps[A] extends AnyRef

    Permalink
    Definition Classes
    AssociativeSyntax
  13. implicit class BicovariantOps[<=>[+_, +_], A, B] extends AnyRef

    Permalink
    Definition Classes
    BicovariantSyntax
  14. implicit class CommutativeBothContraVariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeBothSyntax
  15. implicit class CommutativeBothCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeBothSyntax
  16. implicit class CommutativeBothOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeBothSyntax
  17. implicit class CommutativeEitherContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeEitherSyntax
  18. implicit class CommutativeEitherCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeEitherSyntax
  19. implicit class CommutativeEitherOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    CommutativeEitherSyntax
  20. implicit class ContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    ContravariantSyntax
  21. implicit class CovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    CovariantSyntax
  22. implicit class DebugOps[A] extends AnyRef

    Permalink
    Definition Classes
    DebugSyntax
  23. type DeriveAssociative[F[_]] = Derive[F, Associative]

    Permalink
  24. type DeriveCommutative[F[_]] = Derive[F, Commutative]

    Permalink
  25. type DeriveDebug[F[_]] = Derive[F, Debug]

    Permalink
  26. type DeriveEqual[F[_]] = Derive[F, Equal]

    Permalink
  27. type DeriveHash[F[_]] = Derive[F, Hash]

    Permalink
  28. type DeriveIdentity[F[_]] = Derive[F, Identity]

    Permalink
  29. type DeriveInverse[F[_]] = Derive[F, Inverse]

    Permalink
  30. type DeriveOrd[F[_]] = Derive[F, Ord]

    Permalink
  31. implicit class DivariantOps[:=>[-_, +_], A, B] extends AnyRef

    Permalink
    Definition Classes
    DivariantSyntax
  32. type EReader[-R, +E, +A] = ZPure[Unit, Unit, R, E, A]

    Permalink
  33. type EState[S, +E, +A] = ZPure[S, S, Any, E, A]

    Permalink
  34. implicit class EqualOps[A] extends AnyRef

    Permalink
    Definition Classes
    EqualSyntax
  35. implicit class Flip1Ops[F[+_], G[+_], A] extends AnyRef

    Permalink
    Definition Classes
    NonEmptyTraversableSyntax
  36. implicit class FlipOps[F[+_], G[+_], A] extends AnyRef

    Permalink
    Definition Classes
    TraversableSyntax
  37. implicit class HashOps[A] extends AnyRef

    Permalink
    Definition Classes
    HashSyntax
  38. type Id[+A] = Type[A]

    Permalink
    Definition Classes
    IdExports
  39. implicit class IdentityBothAnyOps[A] extends AnyRef

    Permalink
    Definition Classes
    IdentityBothSyntax
  40. implicit class IdentityBothContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityBothSyntax
  41. implicit class IdentityBothCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityBothSyntax
  42. implicit class IdentityBothOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityBothSyntax
  43. implicit class IdentityEitherContravariantOps[F[-_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityEitherSyntax
  44. implicit class IdentityEitherCovariantOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityEitherSyntax
  45. implicit class IdentityEitherOps[F[_], A] extends AnyRef

    Permalink
    Definition Classes
    IdentityEitherSyntax
  46. implicit class IdentityOps[A] extends AnyRef

    Permalink
    Definition Classes
    IdentitySyntax
  47. implicit class InverseOps[A] extends AnyRef

    Permalink
    Definition Classes
    InverseSyntax
  48. implicit class IterableOps[A] extends AnyRef

    Permalink
    Definition Classes
    NonEmptySetSyntax
  49. type MultiSet[+A] = ZSet[A, Int]

    Permalink
  50. abstract class Newtype[A] extends prelude.NewtypeModule.Newtype[A]

    Permalink
    Definition Classes
    NewtypeExports
  51. abstract class NewtypeF extends prelude.NewtypeModuleF.NewtypeF

    Permalink
    Definition Classes
    NewtypeFExports
  52. abstract class NewtypeSmart[A] extends prelude.NewtypeModule.NewtypeSmart[A]

    Permalink
    Definition Classes
    NewtypeExports
  53. type NonEmptyMultiSet[+A] = ZNonEmptySet[A, Int]

    Permalink
  54. implicit class NonEmptyTraversableOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    NonEmptyTraversableSyntax
  55. implicit class OrdOps[A] extends AnyRef

    Permalink
    Definition Classes
    OrdSyntax
  56. type Reader[-R, +A] = ZPure[Unit, Unit, R, Nothing, A]

    Permalink
  57. type State[S, +A] = ZPure[S, S, Any, Nothing, A]

    Permalink
  58. abstract class Subtype[A] extends prelude.NewtypeModule.Subtype[A]

    Permalink
    Definition Classes
    NewtypeExports
  59. abstract class SubtypeF extends prelude.NewtypeModuleF.SubtypeF

    Permalink
    Definition Classes
    NewtypeFExports
  60. abstract class SubtypeSmart[A] extends prelude.NewtypeModule.SubtypeSmart[A]

    Permalink
    Definition Classes
    NewtypeExports
  61. implicit class TraversableOps[F[+_], A] extends AnyRef

    Permalink
    Definition Classes
    TraversableSyntax

Value Members

  1. val EReader: ZPure.type

    Permalink
  2. val EState: ZPure.type

    Permalink
  3. val MultiSet: ZSet.type

    Permalink
  4. val NonEmptyMultiSet: ZNonEmptySet.type

    Permalink
  5. val Reader: ZPure.type

    Permalink
  6. val State: ZPure.type

    Permalink
  7. def equalTo[A](expected: A)(implicit arg0: Equal[A]): Assertion[A]

    Permalink
    Definition Classes
    Assertions
  8. def isFailureV[E](assertion: Assertion[NonEmptyChunk[E]]): Assertion[Validation[E, Any]]

    Permalink
    Definition Classes
    Assertions
  9. def isGreaterThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]

    Permalink
    Definition Classes
    Assertions
  10. def isGreaterThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]

    Permalink
    Definition Classes
    Assertions
  11. def isLessThan[A](reference: A)(implicit ord: Ord[A]): Assertion[A]

    Permalink
    Definition Classes
    Assertions
  12. def isLessThanEqualTo[A](reference: A)(implicit ord: Ord[A]): Assertion[A]

    Permalink
    Definition Classes
    Assertions
  13. def isSuccessV[A](assertion: Assertion[A]): Assertion[Validation[Any, A]]

    Permalink
    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