package prelude
Linear Supertypes
Ordering
- Alphabetic
- By Inheritance
Inherited
- prelude
- ZivariantSyntax
- ZSetSyntax
- ZNonEmptySetSyntax
- PartialOrdSyntax
- 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[1] = Any
- implicit class AssociativeBothContravariantOps[F[-50], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothCovariantOps[F[+49], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothOps[F[48], A] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple10Ops[F[+59], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple11Ops[F[+60], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple12Ops[F[+61], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple13Ops[F[+62], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple14Ops[F[+63], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple15Ops[F[+64], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple16Ops[F[+65], 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[+66], 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[+67], 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[+68], 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[+69], 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[+70], 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[+71], 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[+51], T1, T2] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple3Ops[F[+52], T1, T2, T3] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple4Ops[F[+53], T1, T2, T3, T4] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple5Ops[F[+54], T1, T2, T3, T4, T5] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple6Ops[F[+55], T1, T2, T3, T4, T5, T6] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple7Ops[F[+56], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple8Ops[F[+57], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeBothTuple9Ops[F[+58], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
- Definition Classes
- AssociativeBothSyntax
- implicit class AssociativeComposeOps[A, B, =>:[-3, +4]] extends AnyRef
- Definition Classes
- AssociativeComposeSyntax
- implicit class AssociativeEitherContravariantOps[F[-5], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeEitherCovariantOps[F[+4], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeEitherOps[F[3], A] extends AnyRef
- Definition Classes
- AssociativeEitherSyntax
- implicit class AssociativeFlattenCovariantOps[F[+4], A] extends AnyRef
- Definition Classes
- AssociativeFlattenSyntax
- implicit class AssociativeFlattenOps[F[+3], A] extends AnyRef
- Definition Classes
- AssociativeFlattenSyntax
- implicit class AssociativeOps[A] extends AnyRef
- Definition Classes
- AssociativeSyntax
- implicit class BicovariantOps[<=>[+5, +6], A, B] extends AnyRef
- Definition Classes
- BicovariantSyntax
- implicit class CommutativeBothContraVariantOps[F[-47], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothCovariantOps[F[+46], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothOps[F[45], A] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple10Ops[F[+56], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple11Ops[F[+57], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple12Ops[F[+58], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple13Ops[F[+59], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple14Ops[F[+60], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple15Ops[F[+61], T1, T2, T3, T4, T5, T6, T7, T8, T9, T10, T11, T12, T13, T14, T15] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple16Ops[F[+62], 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[+63], 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[+64], 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[+65], 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[+66], 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[+67], 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[+68], 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[+48], T1, T2] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple3Ops[F[+49], T1, T2, T3] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple4Ops[F[+50], T1, T2, T3, T4] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple5Ops[F[+51], T1, T2, T3, T4, T5] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple6Ops[F[+52], T1, T2, T3, T4, T5, T6] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple7Ops[F[+53], T1, T2, T3, T4, T5, T6, T7] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple8Ops[F[+54], T1, T2, T3, T4, T5, T6, T7, T8] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeBothTuple9Ops[F[+55], T1, T2, T3, T4, T5, T6, T7, T8, T9] extends AnyRef
- Definition Classes
- CommutativeBothSyntax
- implicit class CommutativeEitherContravariantOps[F[-5], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- implicit class CommutativeEitherCovariantOps[F[+4], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- implicit class CommutativeEitherOps[F[3], A] extends AnyRef
- Definition Classes
- CommutativeEitherSyntax
- type Const[+A, +B] = Type[A]
- Definition Classes
- ConstExports
- implicit class ContravariantOps[F[-7], A] extends AnyRef
- Definition Classes
- ContravariantSyntax
- implicit class CovariantOps[F[+7], 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[2]] = Derive[F, Associative]
- type DeriveCommutative[F[3]] = Derive[F, Commutative]
- type DeriveDebug[F[4]] = Derive[F, Debug]
- type DeriveEqual[F[5]] = Derive[F, Equal]
- type DeriveHash[F[6]] = Derive[F, Hash]
- type DeriveIdentity[F[7]] = Derive[F, Identity]
- type DeriveInverse[F[8]] = Derive[F, Inverse]
- type DeriveOrd[F[9]] = Derive[F, Ord]
- implicit class DivariantOps[=>:[-5, +6], 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[+10], G[+11], A] extends AnyRef
- Definition Classes
- NonEmptyForEachSyntax
- implicit class FlipOps[F[+19], G[+20], A] extends AnyRef
- Definition Classes
- ForEachSyntax
- implicit class ForEachOps[F[+13], 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[13], 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[+7], 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 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[-4, +5, +6], R, E, A] extends AnyRef
- Definition Classes
- ZivariantSyntax