Type Aliases

The following type aliases are available globally.

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

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

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

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

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

  • Undocumented

    Declaration

    Swift

    public typealias MuPartial = ForMu

  • Undocumented

    Declaration

    Swift

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

  • Undocumented

    Declaration

    Swift

    public typealias NuPartial = ForNu

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

  • Partial application of the EnvIO type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias EnvIOPartial<D, E> = KleisliPartial<IOPartial<E>, D> where E : Error

  • EnvIO is a data type to perform IO operations that produce errors of type E and values of type A, having access to an immutable environment of type D. It can be seen as a Kleisli function (D) -> IO<E, A>.

    Declaration

    Swift

    public typealias EnvIO<D, E, A> = Kleisli<IOPartial<E>, D, A> where E : Error

  • Partial application of the EnvIO data type, omitting the last parameter.

    Declaration

    Swift

    public typealias RIOPartial<D> = EnvIOPartial<D, Error>

  • A RIO is a data type like EnvIO with no explicit error type, resorting to the Error protocol to handle them.

    Declaration

    Swift

    public typealias RIO<D, A> = EnvIO<D, Error, A>

  • Partial application of the URIO data type, omitting the last parameter.

    Declaration

    Swift

    public typealias URIOPartial<D> = EnvIOPartial<D, Never>

  • An URIO is a data type like EnvIO that never fails; i.e. it never produces errors.

    Declaration

    Swift

    public typealias URIO<D, A> = EnvIO<D, Never, A>

  • Higher Kinded Type alias to improve readability over Kind<IOPartial<E>, A>.

    Declaration

    Swift

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

  • Witness for the Task<A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForTask = IOPartial<Error>

  • A Task is an IO with no explicit error type, resorting to the Error protocol to handle them.

    Declaration

    Swift

    public typealias Task<A> = IO<Error, A>

  • Witness for the UIO<A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForUIO = IOPartial<Never>

  • An UIO is an IO operation that never fails; i.e. it never produces errors.

    Declaration

    Swift

    public typealias UIO<A> = IO<Never, A>

  • IORef is an asynchronous, concurrent, mutable reference backed by IO, holding a value of type A. Provides safe concurrent access and modification of its content.

    Declaration

    Swift

    public typealias IORef<E, A> = Ref<IOPartial<E>, A> where E : Error

  • EnvIORef is an asynchronous, concurrent, mutable reference backed by EnvIO, holding a value of type A. Provides safe concurrent access and modification of its content.

    Declaration

    Swift

    public typealias EnvIORef<D, E, A> = Ref<EnvIOPartial<D, E>, A> where E : Error

  • A callback that receives an error or a value.

    Declaration

    Swift

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

  • An asynchronous operation that might fail.

    Declaration

    Swift

    public typealias Proc<E, A> = (@escaping Callback<E, A>) -> Void

  • An asynchronous operation that might fail.

    Declaration

    Swift

    public typealias ProcF<F, E, A> = (@escaping Callback<E, A>) -> Kind<F, Void>

  • Describes a function to cancel an effect

    Declaration

    Swift

    public typealias Disposable = () -> Void

  • Partial application of the MaybeK type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias MaybeKPartial = ForMaybeK

  • Higher Kinded Type alias to improve readability over Kind<ForMaybeK, A>.

    Declaration

    Swift

    public typealias MaybeKOf<A> = Kind<ForMaybeK, A>

  • Partial application of the ObservableK type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias ObservableKPartial = ForObservableK

  • Higher Kinded Type alias to improve readability over Kind<ForObservableK, A>.

    Declaration

    Swift

    public typealias ObservableKOf<A> = Kind<ForObservableK, A>

  • Partial application of the SingleK type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias SingleKPartial = ForSingleK

  • Higher Kinded Type alias to improve readability over Kind<ForSingleK, A>.

    Declaration

    Swift

    public typealias SingleKOf<A> = Kind<ForSingleK, A>

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

  • Partial application of the Function0 type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias Function0Partial = ForFunction0

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

  • Alias over KleisliPartial<F, D>

    Declaration

    Swift

    public typealias ReaderTPartial<F, D> = KleisliPartial<F, D>

  • Action is the dual pairing Monad of Moore, obtained automatically using the Co type.

    Declaration

    Swift

    public typealias Action<I, A> = Co<MoorePartial<I>, A>

  • Higher Kinded Type alias to improve readability of CoOf<MoorePartial<I>, A>.

    Declaration

    Swift

    public typealias ActionOf<I, A> = CoOf<MoorePartial<I>, A>

  • Witness for the Action<I, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForAction = ForCo

  • Partial application of the Action type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias ActionPartial<I> = CoPartial<MoorePartial<I>>

  • Partial application of the ArrayK type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias ArrayKPartial = ForArrayK

  • 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 of Kind<CoTPartial<W, M>, A>.

    Declaration

    Swift

    public typealias CoTOf<W, M, A> = Kind<CoTPartial<W, M>, A> where W : Comonad

  • Witness for the Co<W, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForCo = ForCoT

  • Partial application of the Co type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias CoPartial<W> = CoTPartial<W, ForId> where W : Comonad

  • Higher Kinded Type alias to improve readability of Kind<CoPartial<W>, A>.

    Declaration

    Swift

    public typealias CoOf<W, A> = CoTOf<W, ForId, A> where W : Comonad

  • Co is equivalent to CoT where the base monad is Id.

    Declaration

    Swift

    public typealias Co<W, A> = CoT<W, ForId, A> where W : Comonad

  • Alias for Co.

    Declaration

    Swift

    public typealias Transition<W, A> = Co<W, A> where W : Comonad

  • Alias for CoT.

    Declaration

    Swift

    public typealias TransitionT<W, M, A> = CoT<W, M, A> where W : Comonad

  • Partial application of the CoSum type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias CoSumPartial<F, G> = CoPartial<SumPartial<F, G>> where F : Comonad, G : Comonad

  • Higher Kinded Type alias to improve readability of CoOf<SumPartial<F, G>, A>.

    Declaration

    Swift

    public typealias CoSumOf<F, G, A> = CoOf<SumPartial<F, G>, A> where F : Comonad, G : Comonad

  • CoSum is the dual Monad of the Sum Comonad, obtained automatically from the Co data type.

    Declaration

    Swift

    public typealias CoSum<F, G, A> = Co<SumPartial<F, G>, A> where F : Comonad, G : Comonad

  • Partial application of the CoSumOpt type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias CoSumOptPartial<G> = CoSumPartial<ForId, G> where G : Comonad

  • Higher Kinded Type alias to improve readability of Co<SumOptPartial<G>, A>.

    Declaration

    Swift

    public typealias CoSumOptOf<G, A> = CoSumOf<ForId, G, A> where G : Comonad

  • CoSumOpt is the dual Monad of the SumOpt Comonad, obtained automatically from the Co data type.

    Declaration

    Swift

    public typealias CoSumOpt<G, A> = CoSum<ForId, G, A> where G : Comonad

  • 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 of Kind<DayPartial<F, G>, A>.

    Declaration

    Swift

    public typealias DayOf<F, G, A> = Kind<DayPartial<F, G>, A> where F : Comonad, G : Comonad

  • Higher Kinded Type alias to improve readability over Kind<DictionaryKPartial<K>, A>

    Declaration

    Swift

    public typealias DictionaryKOf<K, A> = Kind<DictionaryKPartial<K>, A> where K : Hashable

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

  • Partial application of the Endo type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias EndoPartial = ForEndo

  • Higher Kinded Type alias to improve readability over Kind<ForEndo, A>.

    Declaration

    Swift

    public typealias EndoOf<A> = Kind<ForEndo, A>

  • Partial application of the Eval type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias EvalPartial = ForEval

  • Higher-Kinded Type alias to improve readability over Kind<ForEval, A>.

    Declaration

    Swift

    public typealias EvalOf<A> = Kind<ForEval, A>

  • Partial application of the Id type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias IdPartial = ForId

  • 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<MoorePartial<E>, V>.

    Declaration

    Swift

    public typealias MooreOf<E, V> = Kind<MoorePartial<E>, V>

  • Partial application of the Option type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias OptionPartial = ForOption

  • Higher Kinded Type alias to improve readability of Kind<ForOption, A>.

    Declaration

    Swift

    public typealias OptionOf<A> = Kind<ForOption, A>

  • Higher Kinded Type alias to improve readability over Kind<PairKPartial<F, G>, A>.

    Declaration

    Swift

    public typealias PairKOf<F, G, A> = Kind<PairKPartial<F, G>, A>

  • Witness for the Puller<A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForPuller = CoPartial<ForZipper>

  • Partial application of the Puller type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias PullerPartial = ForPuller

  • Higher Kinded Type alias to improve readability of CoOf<ForZipper, A>.

    Declaration

    Swift

    public typealias PullerOf<A> = CoOf<ForZipper, A>

  • A Puller is the dual Monad of a Zipper, obtained automatically from the Co type.

    Declaration

    Swift

    public typealias Puller<A> = Co<ForZipper, 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>

  • Alias over ReaderTPartial<ForId, D>

    Declaration

    Swift

    public typealias ReaderPartial<D> = ReaderTPartial<ForId, D>

  • Partial application of the SetK type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias SetKPartial = ForSetK

  • 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 of Kind<SumPartial<F, G>, V>.

    Declaration

    Swift

    public typealias SumOf<F, G, V> = Kind<SumPartial<F, G>, V>

  • Witness for the SumOpt<G, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForSumOpt = ForSum

  • Partial application of the SumOpt type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias SumOptPartial<G> = SumPartial<ForId, G>

  • Higher Kinded Type alias to improve readability of Kind<SumPartial<G>, A>.

    Declaration

    Swift

    public typealias SumOptOf<G, A> = SumOf<ForId, G, A>

  • SumOpt is equivalent to Sum where the left side is fixed to Id.

    Declaration

    Swift

    public typealias SumOpt<G, A> = Sum<ForId, G, A>

  • Partial application of the Trampoline type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias TrampolinePartial = ForTrampoline

  • Higher Kinded Type alias to improve readability over Kind<ForTrampoline, A>

    Declaration

    Swift

    public typealias TrampolineOf<A> = Kind<ForTrampoline, A>

  • Partial application of the Tree type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias TreePartial = ForTree

  • Higher Kinded Type alias to improve readability over Kind<ForTree, A>.

    Declaration

    Swift

    public typealias TreeOf<A> = Kind<ForTree, A>

  • Partial application of the Try type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias TryPartial = ForTry

  • Higher Kinded Type alias to improve readability over Kind<ForTry, A>.

    Declaration

    Swift

    public typealias TryOf<A> = Kind<ForTry, A>

  • Partial application of the Zipper type constructor, omitting the last type parameter.

    Declaration

    Swift

    public typealias ZipperPartial = ForZipper

  • Higher Kinded Type alias to improve readability over Kind<ForZipper, A>

    Declaration

    Swift

    public typealias ZipperOf<A> = Kind<ForZipper, 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 of Kind<EnvTPartial<E, W>, A>.

    Declaration

    Swift

    public typealias EnvTOf<E, W, A> = Kind<EnvTPartial<E, W>, A>

  • Witness for the Env<E, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForEnv = ForEnvT

  • Partial application of the Env type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias EnvPartial<E> = EnvTPartial<E, ForId>

  • Higher Kinded Type alias to improve readability of Kind<EnvPartial<E>, A>.

    Declaration

    Swift

    public typealias EnvOf<E, A> = EnvTOf<E, ForId, A>

  • The Env type is equivalent to the EnvT type, with the base comonad being Id.

    Declaration

    Swift

    public typealias Env<E, A> = EnvT<E, ForId, A>

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

  • Witness for the State<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForState = ForStateT

  • 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> = StateTOf<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> = StateT<ForId, S, A>

  • Higher Kinded Type alias to improve readability of Kind<StoreTPartial<S, W>, A>.

    Declaration

    Swift

    public typealias StoreTOf<S, W, A> = Kind<StoreTPartial<S, W>, A>

  • Witness for the Store<S, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForStore = ForStoreT

  • Partial application of the Store type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias StorePartial<S> = StoreTPartial<S, ForId>

  • Higher Kinded Type alias to improve readability of Kind<StorePartial<S>, A>.

    Declaration

    Swift

    public typealias StoreOf<S, A> = StoreTOf<S, ForId, A>

  • The Store type is equivalent to the StoreT type, with the base Comonad being Id.

    Declaration

    Swift

    public typealias Store<S, A> = StoreT<S, ForId, A>

  • Higher Kinded Type alias to improve readability of Kind<TracedTPartial<M, W>, A>.

    Declaration

    Swift

    public typealias TracedTOf<M, W, A> = Kind<TracedTPartial<M, W>, A>

  • Witness for the Traced<M, A> data type. To be used in simulated Higher Kinded Types.

    Declaration

    Swift

    public typealias ForTraced = ForTracedT

  • Partial application of the Traced type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias TracedPartial<M> = TracedTPartial<M, ForId>

  • Higher Kinded Type alias to improve readability of Kind<TracedPartial<M>, A>.

    Declaration

    Swift

    public typealias TracedOf<M, A> = TracedTOf<M, ForId, A>

  • The Traced type is equivalent to the TracedT type, with the base comonad being Id.

    Declaration

    Swift

    public typealias Traced<M, A> = TracedT<M, ForId, 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>

  • Partial application of the Writer type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias WriterPartial<W> = WriterTPartial<ForId, W>

  • Higher Kinded Type alias to improve readability over Kind<WriterPartial<W>, A>.

    Declaration

    Swift

    public typealias WriterOf<W, A> = WriterTOf<ForId, W, A>

  • Writer is a WriterT where the effect is Id.

    Declaration

    Swift

    public typealias Writer<W, A> = WriterT<ForId, W, A>

  • Partial application of the Pair type constructor, omitting the last parameter.

    Declaration

    Swift

    public typealias PairPartial<A> = WriterPartial<A>

  • Higher Kinded Type alias to improve readability over Kind<PairPartial<W>, A>.

    Declaration

    Swift

    public typealias PairOf<A, B> = WriterOf<A, B>

  • Product type of A and B. Hols a value of A and a value of B. Pair is a typealias of Writer.

    Declaration

    Swift

    public typealias Pair<A, B> = Writer<A, B>