package prelude
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prelude
- 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
- 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 AssociativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- implicit class AssociativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] 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 CommutativeBothTuple10Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple11Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple12Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple13Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple14Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple15Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- implicit class CommutativeBothTuple2Ops[F[+_], T1, T2] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple3Ops[F[+_], T1, T2, T3] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple4Ops[F[+_], T1, T2, T3, T4] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple5Ops[F[+_], T1, T2, T3, T4, T5] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple6Ops[F[+_], T1, T2, T3, T4, T5, T6] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple7Ops[F[+_], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple8Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple9Ops[F[+_], T1, T2, T3, T4, T5, T6, T7, T8, T9] 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
- type Const[+A, +B] = Type[A]
- Definition Classes
- ConstExports
- implicit class ContravariantOps[F[-_], A] extends AnyRef
- Definition Classes
- ContravariantSyntax
- implicit class CovariantOps[F[+_], A] extends AnyRef
- Definition Classes
- CovariantSyntax
- implicit final class DebugInterpolator extends AnyRef
- Definition Classes
- DebugSyntax
- 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[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
- Definition Classes
- EqualSyntax
- implicit class Flip1Ops[F[+_], G[+_], A] extends AnyRef
- Definition Classes
- NonEmptyForEachSyntax
- implicit class FlipOps[F[+_], G[+_], A] extends AnyRef
- Definition Classes
- ForEachSyntax
- implicit class ForEachOps[F[+_], A] extends AnyRef
- Definition Classes
- ForEachSyntax
- 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 IdentityEitherAnyOps extends AnyRef
- Definition Classes
- IdentityEitherSyntax
- implicit class IdentityOps[A] extends AnyRef
- Definition Classes
- IdentitySyntax
- implicit class InvariantOps[F[_], A] extends AnyRef
- Definition Classes
- InvariantSyntax
- implicit class InverseOps[A] extends AnyRef
- Definition Classes
- InverseSyntax
- type MultiSet[+A] = ZSet[A, Natural]
- abstract class NewtypeF extends prelude.NewtypeModuleF.NewtypeF
- Definition Classes
- NewtypeFExports
- implicit class NonEmptyForEachOps[F[+_], A] extends AnyRef
- Definition Classes
- NonEmptyForEachSyntax
- implicit final class NonEmptyListConsOps[A] extends AnyRef
- Definition Classes
- NonEmptyListSyntax
- implicit final class NonEmptyListListOps[A] extends AnyRef
- Definition Classes
- NonEmptyListSyntax
- type NonEmptyMultiSet[+A] = ZNonEmptySet[A, Natural]
- implicit final class NonEmptySetIterableOps[A] extends AnyRef
- Definition Classes
- NonEmptySetSyntax
- implicit final class NonEmptySetSetOps[A] extends AnyRef
- Definition Classes
- NonEmptySetSyntax
- implicit class OrdOps[A] extends AnyRef
- Definition Classes
- OrdSyntax
- implicit class PartialInverseOps[A] extends AnyRef
- Definition Classes
- PartialInverseSyntax
- implicit class PartialOrdOps[A] extends AnyRef
- Definition Classes
- PartialOrdSyntax
- type Reader[-R, +A] = ZPure[Nothing, Unit, Unit, R, Nothing, A]
- type State[S, +A] = ZPure[Nothing, S, S, Any, Nothing, A]
- abstract class SubtypeF extends prelude.NewtypeModuleF.SubtypeF
- Definition Classes
- NewtypeFExports
- type Validation[+E, +A] = ZValidation[Nothing, E, A]
- type Writer[+W, +A] = ZPure[W, Unit, Unit, Any, Nothing, A]
- implicit final class ZNonEmptySetMapOps[+A] extends AnyRef
- Definition Classes
- ZNonEmptySetSyntax
- implicit final class ZNonEmptySetNonEmptyMultiSetOps[+A] extends AnyRef
- Definition Classes
- ZNonEmptySetSyntax
- implicit final class ZSetMapOps[+A] extends AnyRef
- Definition Classes
- ZSetSyntax
- implicit final class ZSetMultiSetOps[+A] extends AnyRef
- Definition Classes
- ZSetSyntax
- implicit class ZivariantOps[Z[-_, +_, +_], R, E, A] extends AnyRef
- Definition Classes
- ZivariantSyntax
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: ZValidation.type
- val Writer: ZPure.type
- object Id extends NewtypeF
- Definition Classes
- IdExports