EnvTPartial

Swift

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

Swift

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

Swift

public static func pure<A>(_ a: A) -> EnvTOf<E, W, A>

Swift

public static func ap<A, B>(
    _ ff: EnvTOf<E, W, (A) -> B>,
    _ fa: EnvTOf<E, W, A>) -> EnvTOf<E, W, B>

Swift

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

Swift

public static func extract<A>(_ fa: EnvTOf<E, W, A>) -> A

Swift

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

Swift

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

Swift

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

Swift

public static func foldRight<A, B>(
    _ fa: EnvTOf<E, W, A>,
    _ b: Eval<B>,
    _ f: @escaping (A, Eval<B>) -> Eval<B>) -> Eval<B>

Swift

public static func traverse<G: Applicative, A, B>(
    _ fa: EnvTOf<E, W, A>,
    _ f: @escaping (A) -> Kind<G, B>) -> Kind<G, EnvTOf<E, W, B>>

Swift

public typealias S = W.S

Swift

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

Swift

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

Swift

public typealias M = W.M

Swift

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

Swift

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

Swift

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