Packages

p

zio

prelude

package prelude

Linear Supertypes
ZivariantSyntax, ZSetSyntax, ZNonEmptySetSyntax, PartialOrdSyntax, PartialInverseSyntax, OrdSyntax, NonEmptySetSyntax, NonEmptyListSyntax, NonEmptyForEachSyntax, NewtypeFExports, InverseSyntax, InvariantSyntax, IdentitySyntax, IdentityEitherSyntax, IdentityBothSyntax, IdExports, HashSyntax, ForEachSyntax, EqualSyntax, DivariantSyntax, DebugSyntax, CovariantSyntax, ContravariantSyntax, ConstExports, CommutativeEitherSyntax, CommutativeBothSyntax, BicovariantSyntax, AssociativeFlattenSyntax, AssociativeEitherSyntax, AssociativeComposeSyntax, AssociativeBothSyntax, AssociativeSyntax, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. prelude
  2. ZivariantSyntax
  3. ZSetSyntax
  4. ZNonEmptySetSyntax
  5. PartialOrdSyntax
  6. PartialInverseSyntax
  7. OrdSyntax
  8. NonEmptySetSyntax
  9. NonEmptyListSyntax
  10. NonEmptyForEachSyntax
  11. NewtypeFExports
  12. InverseSyntax
  13. InvariantSyntax
  14. IdentitySyntax
  15. IdentityEitherSyntax
  16. IdentityBothSyntax
  17. IdExports
  18. HashSyntax
  19. ForEachSyntax
  20. EqualSyntax
  21. DivariantSyntax
  22. DebugSyntax
  23. CovariantSyntax
  24. ContravariantSyntax
  25. ConstExports
  26. CommutativeEitherSyntax
  27. CommutativeBothSyntax
  28. BicovariantSyntax
  29. AssociativeFlattenSyntax
  30. AssociativeEitherSyntax
  31. AssociativeComposeSyntax
  32. AssociativeBothSyntax
  33. AssociativeSyntax
  34. AnyRef
  35. 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 AssociativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  7. implicit class AssociativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  8. implicit class AssociativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  9. implicit class AssociativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  10. implicit class AssociativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  11. implicit class AssociativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  12. implicit class AssociativeBothTuple16Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  13. implicit class AssociativeBothTuple17Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  14. implicit class AssociativeBothTuple18Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  15. 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
    Definition Classes
    AssociativeBothSyntax
  16. 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
    Definition Classes
    AssociativeBothSyntax
  17. 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
    Definition Classes
    AssociativeBothSyntax
  18. 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
    Definition Classes
    AssociativeBothSyntax
  19. implicit class AssociativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  20. implicit class AssociativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  21. implicit class AssociativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  22. implicit class AssociativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  23. implicit class AssociativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  24. implicit class AssociativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  25. implicit class AssociativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  26. implicit class AssociativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
    Definition Classes
    AssociativeBothSyntax
  27. implicit class AssociativeComposeOps[A, B, =>:[-_, +_]] extends AnyRef
    Definition Classes
    AssociativeComposeSyntax
  28. implicit class AssociativeEitherContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  29. implicit class AssociativeEitherCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  30. implicit class AssociativeEitherOps[F[_], A] extends AnyRef
    Definition Classes
    AssociativeEitherSyntax
  31. implicit class AssociativeFlattenCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeFlattenSyntax
  32. implicit class AssociativeFlattenOps[F[+_], A] extends AnyRef
    Definition Classes
    AssociativeFlattenSyntax
  33. implicit class AssociativeOps[+A] extends AnyRef
    Definition Classes
    AssociativeSyntax
  34. implicit class BicovariantOps[<=>[+_, +_], A, B] extends AnyRef
    Definition Classes
    BicovariantSyntax
  35. implicit class CommutativeBothContraVariantOps[F[-_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  36. implicit class CommutativeBothCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  37. implicit class CommutativeBothOps[F[_], A] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  38. implicit class CommutativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  39. implicit class CommutativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  40. implicit class CommutativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  41. implicit class CommutativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  42. implicit class CommutativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  43. implicit class CommutativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  44. implicit class CommutativeBothTuple16Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  45. implicit class CommutativeBothTuple17Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  46. implicit class CommutativeBothTuple18Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15, T16, T17, T18] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  47. 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
    Definition Classes
    CommutativeBothSyntax
  48. 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
    Definition Classes
    CommutativeBothSyntax
  49. 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
    Definition Classes
    CommutativeBothSyntax
  50. 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
    Definition Classes
    CommutativeBothSyntax
  51. implicit class CommutativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  52. implicit class CommutativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  53. implicit class CommutativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  54. implicit class CommutativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  55. implicit class CommutativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  56. implicit class CommutativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  57. implicit class CommutativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  58. implicit class CommutativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
    Definition Classes
    CommutativeBothSyntax
  59. implicit class CommutativeEitherContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  60. implicit class CommutativeEitherCovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  61. implicit class CommutativeEitherOps[F[_], A] extends AnyRef
    Definition Classes
    CommutativeEitherSyntax
  62. type Const[+A, +B] = Type[A]
    Definition Classes
    ConstExports
  63. implicit class ContravariantOps[F[-_], A] extends AnyRef
    Definition Classes
    ContravariantSyntax
  64. implicit class CovariantOps[F[+_], A] extends AnyRef
    Definition Classes
    CovariantSyntax
  65. implicit final class DebugInterpolator extends AnyRef
    Definition Classes
    DebugSyntax
  66. implicit class DebugOps[A] extends AnyRef
    Definition Classes
    DebugSyntax
  67. type DeriveAssociative[F[_]] = Derive[F, Associative]
  68. type DeriveCommutative[F[_]] = Derive[F, Commutative]
  69. type DeriveDebug[F[_]] = Derive[F, Debug]
  70. type DeriveEqual[F[_]] = Derive[F, Equal]
  71. type DeriveHash[F[_]] = Derive[F, Hash]
  72. type DeriveIdentity[F[_]] = Derive[F, Identity]
  73. type DeriveInverse[F[_]] = Derive[F, Inverse]
  74. type DeriveOrd[F[_]] = Derive[F, Ord]
  75. implicit class DivariantOps[=>:[-_, +_], A, B] extends AnyRef
    Definition Classes
    DivariantSyntax
  76. type EReader[-R, +E, +A] = ZPure[Nothing, Unit, Unit, R, E, A]
  77. type EState[S, +E, +A] = ZPure[Nothing, S, S, Any, E, A]
  78. type EWriter[+W, +E, +A] = ZPure[W, Unit, Unit, Any, E, A]
  79. implicit class EqualOps[A] extends AnyRef
    Definition Classes
    EqualSyntax
  80. implicit class Flip1Ops[F[+_], G[+_], A] extends AnyRef
    Definition Classes
    NonEmptyForEachSyntax
  81. implicit class FlipOps[F[+_], G[+_], A] extends AnyRef
    Definition Classes
    ForEachSyntax
  82. implicit class ForEachOps[F[+_], A] extends AnyRef
    Definition Classes
    ForEachSyntax
  83. implicit class HashOps[A] extends AnyRef
    Definition Classes
    HashSyntax
  84. type Id[+A] = Type[A]
    Definition Classes
    IdExports
  85. implicit class IdentityBothAnyOps[A] extends AnyRef
    Definition Classes
    IdentityBothSyntax
  86. implicit class IdentityEitherAnyOps extends AnyRef
    Definition Classes
    IdentityEitherSyntax
  87. implicit class IdentityOps[A] extends AnyRef
    Definition Classes
    IdentitySyntax
  88. implicit class InvariantOps[F[_], A] extends AnyRef
    Definition Classes
    InvariantSyntax
  89. implicit class InverseOps[A] extends AnyRef
    Definition Classes
    InverseSyntax
  90. type MultiSet[+A] = ZSet[A, Natural]
  91. abstract class NewtypeF extends prelude.NewtypeModuleF.NewtypeF
    Definition Classes
    NewtypeFExports
  92. implicit class NonEmptyForEachOps[F[+_], A] extends AnyRef
    Definition Classes
    NonEmptyForEachSyntax
  93. implicit final class NonEmptyListConsOps[A] extends AnyRef
    Definition Classes
    NonEmptyListSyntax
  94. implicit final class NonEmptyListListOps[A] extends AnyRef
    Definition Classes
    NonEmptyListSyntax
  95. type NonEmptyMultiSet[+A] = ZNonEmptySet[A, Natural]
  96. implicit final class NonEmptySetIterableOps[A] extends AnyRef
    Definition Classes
    NonEmptySetSyntax
  97. implicit final class NonEmptySetSetOps[A] extends AnyRef
    Definition Classes
    NonEmptySetSyntax
  98. implicit class OrdOps[A] extends AnyRef
    Definition Classes
    OrdSyntax
  99. implicit class PartialInverseOps[A] extends AnyRef
    Definition Classes
    PartialInverseSyntax
  100. implicit class PartialOrdOps[A] extends AnyRef
    Definition Classes
    PartialOrdSyntax
  101. type Reader[-R, +A] = ZPure[Nothing, Unit, Unit, R, Nothing, A]
  102. type State[S, +A] = ZPure[Nothing, S, S, Any, Nothing, A]
  103. abstract class SubtypeF extends prelude.NewtypeModuleF.SubtypeF
    Definition Classes
    NewtypeFExports
  104. type Validation[+E, +A] = ZValidation[Nothing, E, A]
  105. type Writer[+W, +A] = ZPure[W, Unit, Unit, Any, Nothing, A]
  106. implicit final class ZNonEmptySetMapOps[+A] extends AnyRef
    Definition Classes
    ZNonEmptySetSyntax
  107. implicit final class ZNonEmptySetNonEmptyMultiSetOps[+A] extends AnyRef
    Definition Classes
    ZNonEmptySetSyntax
  108. implicit final class ZSetMapOps[+A] extends AnyRef
    Definition Classes
    ZSetSyntax
  109. implicit final class ZSetMultiSetOps[+A] extends AnyRef
    Definition Classes
    ZSetSyntax
  110. implicit class ZivariantOps[Z[-_, +_, +_], R, E, A] extends AnyRef
    Definition Classes
    ZivariantSyntax

Value Members

  1. val EReader: ZPure.type
  2. val EState: ZPure.type
  3. val EWriter: ZPure.type
  4. val MultiSet: ZSet.type
  5. val NonEmptyMultiSet: ZNonEmptySet.type
  6. val Reader: ZPure.type
  7. val State: ZPure.type
  8. val Validation: ZValidation.type
  9. val Writer: ZPure.type
  10. object Id extends NewtypeF
    Definition Classes
    IdExports

Inherited from ZivariantSyntax

Inherited from ZSetSyntax

Inherited from ZNonEmptySetSyntax

Inherited from PartialOrdSyntax

Inherited from PartialInverseSyntax

Inherited from OrdSyntax

Inherited from NonEmptySetSyntax

Inherited from NonEmptyListSyntax

Inherited from NonEmptyForEachSyntax

Inherited from NewtypeFExports

Inherited from InverseSyntax

Inherited from InvariantSyntax

Inherited from IdentitySyntax

Inherited from IdentityEitherSyntax

Inherited from IdentityBothSyntax

Inherited from IdExports

Inherited from HashSyntax

Inherited from ForEachSyntax

Inherited from EqualSyntax

Inherited from DivariantSyntax

Inherited from DebugSyntax

Inherited from CovariantSyntax

Inherited from ContravariantSyntax

Inherited from ConstExports

Inherited from CommutativeEitherSyntax

Inherited from CommutativeBothSyntax

Inherited from BicovariantSyntax

Inherited from AssociativeFlattenSyntax

Inherited from AssociativeEitherSyntax

Inherited from AssociativeComposeSyntax

Inherited from AssociativeBothSyntax

Inherited from AssociativeSyntax

Inherited from AnyRef

Inherited from Any

Ungrouped