Type Aliases

The following type aliases are available globally.

  • Higher Kinded Type alias to improve readability over Kind2<ForFold, S, A>.

    Declaration

    Swift

    public typealias FoldOf<S, A> = Kind<FoldPartial<S>, A>
  • Higher Kinded Type alias to improve readability over Kind2<ForGetter, S, A>

    Declaration

    Swift

    public typealias GetterOf<S, A> = Kind<GetterPartial<S>, A>
  • Higher Kinded Type alias to improve readability over Kind4

    Declaration

    Swift

    public typealias PIsoOf<S, T, A, B> = Kind<PIsoPartial<S, T, A>, B>
  • Iso is a type alias for PIso which fixes the type arguments and restricts the PIso to monomorphic updates.

    Declaration

    Swift

    public typealias Iso<S, A> = PIso<S, S, A, A>
  • Witness for the Iso<S, A>data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForIso = ForPIso
  • Higher Kinded Type alias to improve readability over Kind4

    Declaration

    Swift

    public typealias IsoOf<S, A> = PIsoOf<S, S, A, A>
  • Partial application of the Iso type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias IsoPartial<S> = Kind<ForIso, S>
  • Higher Kinded Type alias to improve readability over Kind4<ForPLens, S, T, A, B>

    Declaration

    Swift

    public typealias PLensOf<S, T, A, B> = Kind<PLensPartial<S, T, A>, B>
  • Lens is a type alias for PLens which fixes the type arguments and restricts the PLens to monomorphic updates.

    Declaration

    Swift

    public typealias Lens<S, A> = PLens<S, S, A, A>
  • Witness for the Lens<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForLens = ForPLens
  • Partial application of the Lens type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias LensPartial<S> = Kind<ForLens, S>
  • Higher Kinded Type alias to improve readability over Kind4<ForPLens, S, T, A, B>

    Declaration

    Swift

    public typealias POptionalOf<S, T, A, B> = Kind<POptionalPartial<S, T, A>, B>
  • Optional is a type alias for POptional which fixes the type arguments and restricts the POptional to monomorphic updates.

    Declaration

    Swift

    public typealias Optional<S, A> = POptional<S, S, A, A>
  • Witness for the Optional<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForOptional = ForPOptional
  • Partial application of the Optional type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias OptionalPartial<S> = Kind<ForOptional, S>
  • Higher Kinded Type alias to improve readability over Kind4<ForPPrism, S, T, A, B>.

    Declaration

    Swift

    public typealias PPrismOf<S, T, A, B> = Kind<PPrismPartial<S, T, A>, B>
  • Prism is a type alias for PPrism which fixes the type arguments and restricts the PPrism to monomorphic updates.

    Declaration

    Swift

    public typealias Prism<S, A> = PPrism<S, S, A, A>
  • Witness for the Prism<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForPrism = ForPPrism
  • Partial application of the Prism type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias PrismPartial<S> = Kind<ForPrism, S>
  • Higher Kinded Type alias to improve readability over Kind4<ForPSetter, S, T, A, B>.

    Declaration

    Swift

    public typealias PSetterOf<S, T, A, B> = Kind<PSetterPartial<S, T, A>, B>
  • Setter is a type alias for PSetter which fixes the type arguments and restricts the PSetter to monomorphic updates.

    Declaration

    Swift

    public typealias Setter<S, A> = PSetter<S, S, A, A>
  • Witness for the Setter<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForSetter = ForPSetter
  • Higher Kinded Type alias to improve readability over Kind2<ForSetter, S, A>.

    Declaration

    Swift

    public typealias SetterPartial<S> = Kind<ForSetter, S>
  • Higher Kinded Type alias to improve readability over Kind4.

    Declaration

    Swift

    public typealias PTraversalOf<S, T, A, B> = Kind<PTraversalPartial<S, T, A>, B>
  • Traversal is a type alias for PTraversal which fixes the type arguments and restricts the PTraversal to monomorphic updates.

    Declaration

    Swift

    public typealias Traversal<S, A> = PTraversal<S, S, A, A>
  • Witness for the Traversal<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForTraversal = ForPTraversal
  • Higher Kinded Type alias to imprope readability over Kind4

    Declaration

    Swift

    public typealias TraversalOf<S, A> = PTraversalOf<S, S, A, A>
  • Partial application of the Traversal type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias TraversalPartial<S> = Kind<ForPTraversal, S>
  • Undocumented

    Declaration

    Swift

    public typealias MuOf<F> = Kind<ForMu, F>
  • Undocumented

    Declaration

    Swift

    public typealias NuOf<F> = Kind<ForNu, F>
  • Undocumented

    Declaration

    Swift

    public typealias Algebra<F, A> = (Kind<F, A>) -> A
  • Undocumented

    Declaration

    Swift

    public typealias Coalgebra<F, A> = (A) -> Kind<F, A>
  • Higher Kinded Type alias to improve readability over Kind10.

    Declaration

    Swift

    public typealias Coproduct10Of<A, B, C, D, E, F, G, H, I, J> = Kind10<ForCoproduct10, A, B, C, D, E, F, G, H, I, J>
  • Higher Kinded Type alias to improve readability over Kind7.

    Declaration

    Swift

    public typealias Coproduct7Of<A, B, C, D, E, F, G> = Kind7<ForCoproduct7, A, B, C, D, E, F, G>
  • Higher Kinded Type alias to improve readability over Kind8.

    Declaration

    Swift

    public typealias Coproduct8Of<A, B, C, D, E, F, G, H> = Kind8<ForCoproduct8, A, B, C, D, E, F, G, H>
  • Higher Kinded Type alias to improve readability over Kind9.

    Declaration

    Swift

    public typealias Coproduct9Of<A, B, C, D, E, F, G, H, I> = Kind9<ForCoproduct9, A, B, C, D, E, F, G, H, I>
  • Undocumented

    Declaration

    Swift

    public typealias AnyFunc = (AnyObject) -> AnyObject
  • Undocumented

    Declaration

    Swift

    public typealias CoyonedaOf<F, P, A> = Kind<CoyonedaPartial<F, P>, A>
  • Undocumented

    Declaration

    Swift

    public typealias IOOf<E, A> = Kind<IOPartial<E>, A> where E : Error
  • Undocumented

    Declaration

    Swift

    public typealias Proc<E, A> = (@escaping Callback<E, A>) throws -> ()
  • Undocumented

    Declaration

    Swift

    public typealias Callback<E, A> = (Either<E, A>) -> ()
  • Undocumented

    Declaration

    Swift

    public typealias Disposable = () -> ()
  • Higher Kinded Type alias to improve readability over Kind<CokleisliPartial<F, A>, B>.

    Declaration

    Swift

    public typealias CokleisliOf<F, A, B> = Kind<CokleisliPartial<F, A>, B>
  • Alias over Cokleisli<F, A, B>.

    Declaration

    Swift

    public typealias CoreaderT<F, A, B> = Cokleisli<F, A, B>
  • Higher Kinded Type alias to improve readability of Kind<ForFunction0, A>.

    Declaration

    Swift

    public typealias Function0Of<A> = Kind<ForFunction0, A>
  • Higher Kinded Type alias to improve readability of Kind<Function1Partial<I>, O>.

    Declaration

    Swift

    public typealias Function1Of<I, O> = Kind<Function1Partial<I>, O>
  • Higher Kinded Type alias to improve readability over Kind<KleisliPartial<F, D>, A>.

    Declaration

    Swift

    public typealias KleisliOf<F, D, A> = Kind<KleisliPartial<F, D>, A>
  • Alias over Kleisli<F, D, A>.

    Declaration

    Swift

    public typealias ReaderT<F, D, A> = Kleisli<F, D, A>
  • Higher Kinded Type alias to improve readability over Kind<ForArrayK, A>

    Declaration

    Swift

    public typealias ArrayKOf<A> = Kind<ForArrayK, A>
  • Higher Kinded Type alias to improve readability over Kind<ConstPartial<A>, T>

    Declaration

    Swift

    public typealias ConstOf<A, T> = Kind<ConstPartial<A>, T>
  • Higher Kinded Type alias to improve readability over Kind<DictionaryKPartial<K>, A>

    Declaration

    Swift

    public typealias DictionaryKOf<K, A> = Kind<DictionaryKPartial<K>, A>
  • Higher Kinded Type alias to improve readability over Kind2<ForEither, A, B>

    Declaration

    Swift

    public typealias EitherOf<A, B> = Kind<EitherPartial<A>, B>
  • Higher Kinded Type alias to improve readability over Kind<EitherKPartial<F, G>, A>.

    Declaration

    Swift

    public typealias EitherKOf<F, G, A> = Kind<EitherKPartial<F, G>, A>
  • Higher Kinded Type alias to improve readability of Kind<ForId, A>.

    Declaration

    Swift

    public typealias IdOf<A> = Kind<ForId, A>
  • Higher Kinded Type alias to improve readability over Kind<IorPartial<A>, B>.

    Declaration

    Swift

    public typealias IorOf<A, B> = Kind<IorPartial<A>, B>
  • Higher Kinded Type alias to improve readability of Kind<ForOption, A>.

    Declaration

    Swift

    public typealias OptionOf<A> = Kind<ForOption, A>
  • Reader is a special case of ReaderT / Kleisli where F is Id, so it is equivalent to functions (D) -> A.

    Declaration

    Swift

    public typealias Reader<D, A> = ReaderT<ForId, D, A>
  • Higher Kinded Type alias to improve readability over Kind<ForSetK, A>.

    Declaration

    Swift

    public typealias SetKOf<A> = Kind<ForSetK, A>
  • Higher Kinded Type alias to improve readability over Kind<ForTry, A>.

    Declaration

    Swift

    public typealias TryOf<A> = Kind<ForTry, A>
  • Simulates a Higher-Kinded Type in Swift with 2 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind2<F, A, B> is an alias for F<A, B>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind2<F, A, B> = Kind<Kind<F, A>, B>
  • Simulates a Higher-Kinded Type in Swift with 3 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind3<F, A, B, C> is an alias for F<A, B, C>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind3<F, A, B, C> = Kind<Kind2<F, A, B>, C>
  • Simulates a Higher-Kinded Type in Swift with 4 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind4<F, A, B, C, D> is an alias for F<A, B, C, D>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind4<F, A, B, C, D> = Kind<Kind3<F, A, B, C>, D>
  • Simulates a Higher-Kinded Type in Swift with 5 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind5<F, A, B, C, D, E> is an alias for F<A, B, C, D, E>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind5<F, A, B, C, D, E> = Kind<Kind4<F, A, B, C, D>, E>
  • Simulates a Higher-Kinded Type in Swift with 6 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind6<F, A, B, C, D, E, G> is an alias for F<A, B, C, D, E, G>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind6<F, A, B, C, D, E, G> = Kind<Kind5<F, A, B, C, D, E>, G>
  • Simulates a Higher-Kinded Type in Swift with 7 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind7<F, A, B, C, D, E, G, H> is an alias for F<A, B, C, D, E, G, H>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind7<F, A, B, C, D, E, G, H> = Kind<Kind6<F, A, B, C, D, E, G>, H>
  • Simulates a Higher-Kinded Type in Swift with 8 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind8<F, A, B, C, D, E, G, H, I> is an alias for F<A, B, C, D, E, G, H, I>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind8<F, A, B, C, D, E, G, H, I> = Kind<Kind7<F, A, B, C, D, E, G, H>, I>
  • Simulates a Higher-Kinded Type in Swift with 9 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind9<F, A, B, C, D, E, G, H, I, J> is an alias for F<A, B, C, D, E, G, H, I, J>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind9<F, A, B, C, D, E, G, H, I, J> = Kind<Kind8<F, A, B, C, D, E, G, H, I>, J>
  • Simulates a Higher-Kinded Type in Swift with 10 type arguments.

    This class simulates Higher-Kinded Type support in Swift. Kind10<F, A, B, C, D, E, G, H, I, J, K> is an alias for F<A, B, C, D, E, G, H, I, J, K>, which is not syntactically valid in Swift. Classes that want to have HKT support must extend this class. Type parameter F is reserved for a witness to prevent circular references in the inheritance relationship. By convention, witnesses are named like the class they represent, with the prefix For.

    Declaration

    Swift

    public typealias Kind10<F, A, B, C, D, E, G, H, I, J, K> = Kind<Kind9<F, A, B, C, D, E, G, H, I, J>, K>
  • Undocumented

    Declaration

    Swift

    public typealias Unit = ()
  • Higher Kinded Type alias to improve readability over Kind<EitherTPartial<F, A>, B>.

    Declaration

    Swift

    public typealias EitherTOf<F, A, B> = Kind<EitherTPartial<F, A>, B>
  • Higher Kinded Type alias to improve readability over Kind<OptionTPartial<F>, A>

    Declaration

    Swift

    public typealias OptionTOf<F, A> = Kind<OptionTPartial<F>, A>
  • Higher Kinded Type alias to improve readability over Kind<StateTPartial<F, S>, A>

    Declaration

    Swift

    public typealias StateTOf<F, S, A> = Kind<StateTPartial<F, S>, A>
  • Partial application of the StateT type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias StatePartial<S> = StateTPartial<ForId, S>
  • Higher Kinded Type alias to improve readability over StateT<ForId, S, A>.

    Declaration

    Swift

    public typealias StateOf<S, A> = StateT<ForId, S, A>
  • State is a convenience data type over the StateT transformer, when the effect is Id.

    Declaration

    Swift

    public typealias State<S, A> = StateOf<S, A>
  • Higher Kinded Type alias to improve readability over Kind<WriterTPartial<F, W>, A>.

    Declaration

    Swift

    public typealias WriterTOf<F, W, A> = Kind<WriterTPartial<F, W>, A>