Type Aliases

The following type aliases are available globally.

  • Undocumented

    Declaration

    Swift

    public typealias PIsoOf<S, T, A, B> = Kind<PIsoPartial<S, T, A>, B>
  • Undocumented

    Declaration

    Swift

    public typealias Iso<S, A> = PIso<S, S, A, A>
  • Undocumented

    Declaration

    Swift

    public typealias ForIso = ForPIso
  • Undocumented

    Declaration

    Swift

    public typealias IsoOf<S, A> = PIsoOf<S, S, A, A>
  • Undocumented

    Declaration

    Swift

    public typealias IsoPartial<S> = Kind<ForIso, 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>
  • 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 Proc<E, A> = (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>
  • Partial application of the State 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>
  • 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>
  • 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>