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