Classes

The following classes are available globally.

  • Undocumented

    See more

    Declaration

    Swift

    open class Fold<S, A> : FoldOf<S, A>
  • Undocumented

    Declaration

    Swift

    public final class ForFold
  • Undocumented

    Declaration

    Swift

    public final class FoldPartial<S> : Kind<ForFold, S>
  • Sum type of types A and B. Represents a value of either one of those types, but not both at the same time. Values of type A are called left; values of type B are called right.

    See more

    Declaration

    Swift

    public class Either<A, B> : EitherOf<A, B>
  • Witness for the Either<A, B> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public final class ForEither
  • Parial application of the Either type constructor, omitting the last parameter.

    The following statements are equivalent:

    EitherOf<A, B> == Kind2<ForEither, A, B> == Kind<EitherPartial<A>, B>
    
    See more

    Declaration

    Swift

    public final class EitherPartial<L> : Kind<ForEither, L>
  • Represents optional values. Instances of this type may represent the presence of a value (some) or absence of it (none). This type is isomorphic to native Swift Optional<A> (usually written A?), with the addition of behaving as a Higher Kinded Type.

    See more

    Declaration

    Swift

    public final class Option<A> : OptionOf<A>
  • Witness for the Option<A> data type. To be used in simulated Higher Kinded Types.

    See more

    Declaration

    Swift

    public final class ForOption
  • Undocumented

    Declaration

    Swift

    public final class ForPIso
  • Undocumented

    Declaration

    Swift

    public final class PIsoPartial<S, T, A> : Kind3<ForPIso, S, T, A>
  • Undocumented

    See more

    Declaration

    Swift

    public class PIso<S, T, A, B> : PIsoOf<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public final class ForPLens
  • Undocumented

    Declaration

    Swift

    public final class PLensPartial<S, T, A> : Kind3<ForPLens, S, T, A>
  • Undocumented

    See more

    Declaration

    Swift

    public class PLens<S, T, A, B> : PLensOf<S, T, A, B>
  • Id

    The identity data type represents a context of having no effect on the type it wraps. A instance of Id<A> is isomorphic to an instance of A; it is just wrapped without any additional information.

    See more

    Declaration

    Swift

    public class Id<A> : IdOf<A>
  • Witness for the Id<A> data type. To be used in simulated Higher Kinded Types.

    See more

    Declaration

    Swift

    public final class ForId
  • Undocumented

    See more

    Declaration

    Swift

    public class AtFromIso<M, N, O, P, AtType> : At where N == AtType.I, O == AtType.A, P == AtType.S, AtType : At
  • Undocumented

    See more

    Declaration

    Swift

    public class IndexFromIso<M, N, O, P, Idx> : Index where N == Idx.I, O == Idx.A, P == Idx.S, Idx : Index
  • Undocumented

    See more

    Declaration

    Swift

    public final class ForMu
  • Mu

    Undocumented

    See more

    Declaration

    Swift

    open class Mu<F> : MuOf<F>
  • Undocumented

    See more

    Declaration

    Swift

    public final class ForNu
  • Nu

    Undocumented

    See more

    Declaration

    Swift

    public class Nu<F> : NuOf<F>
  • Simulates a Higher-Kinded Type in Swift with 1 type argument.

    This class simulates Higher-Kinded Type support in Swift. Kind<F, A> is an alias for F<A>, 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. As an example:

    class ForOption {}
    class Option<A>: Kind<ForOption, A> {}
    
    See more

    Declaration

    Swift

    open class Kind<F, A>
  • Undocumented

    Declaration

    Swift

    public final class ForIO
  • Undocumented

    See more

    Declaration

    Swift

    public final class IOPartial<E> : Kind<ForIO, E> where E : Error
  • IO

    Undocumented

    See more

    Declaration

    Swift

    public class IO<E, A> : IOOf<E, A> where E : Error
  • Undocumented

    Declaration

    Swift

    public final class ForSetK
  • Undocumented

    See more

    Declaration

    Swift

    public final class SetK<A> : SetKOf<A> where A : Hashable
  • Undocumented

    Declaration

    Swift

    public final class ForSum
  • Undocumented

    See more

    Declaration

    Swift

    public final class SumPartial<F, G> : Kind2<ForSum, F, G>
  • Sum

    Undocumented

    See more

    Declaration

    Swift

    public class Sum<F, G, V> : SumOf<F, G, V>
  • Undocumented

    Declaration

    Swift

    public class First
  • Undocumented

    Declaration

    Swift

    public class Last
  • Undocumented

    See more

    Declaration

    Swift

    public final class FirstOption<A>
  • Undocumented

    See more

    Declaration

    Swift

    public final class LastOption<A>