EnvTPartial

public final class EnvTPartial<E, W> : Kind2<ForEnvT, E, W>

Partial application of the EnvT type constructor, omitting the last parameter.

  • Obtains the wrapped comonadic value without the environment.

    Declaration

    Swift

    public static func lower<A>(_ twa: EnvTOf<E, W, A>) -> Kind<W, A>

    Return Value

    Wrapped comonadic value without the environment.

  • Declaration

    Swift

    public static func map<A, B>(_ fa: EnvTOf<E, W, A>, _ f: @escaping (A) -> B) -> EnvTOf<E, W, B>
  • Declaration

    Swift

    public static func ask<A>(_ wa: EnvTOf<E, W, A>) -> E
  • Declaration

    Swift

    public static func local<A>(
        _ wa: EnvTOf<E, W, A>,
        _ f: @escaping (E) -> E) -> EnvTOf<E, W, A>
  • Declaration

    Swift

    public typealias S = W.S
  • Declaration

    Swift

    public static func position<A>(_ wa: EnvTOf<E, W, A>) -> W.S
  • Declaration

    Swift

    public static func peek<A>(
        _ wa: EnvTOf<E, W, A>,
        _ s: W.S) -> A
  • Declaration

    Swift

    public typealias M = W.M
  • Declaration

    Swift

    public static func trace<A>(
        _ wa: EnvTOf<E, W, A>,
        _ m: W.M) -> A
  • Declaration

    Swift

    public static func listens<A, B>(
        _ wa: EnvTOf<E, W, A>,
        _ f: @escaping (W.M) -> B) -> EnvTOf<E, W, (B, A)>
  • Declaration

    Swift

    public static func pass<A>(_ wa: EnvTOf<E, W, A>) -> EnvTOf<E, W, ((W.M) -> W.M) -> A>