TracedTPartial

Swift

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

Swift

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

Swift

public static func pure<A>(_ a: A) -> TracedTOf<M, W, A>

Swift

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

Swift

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

Swift

public static func extract<A>(_ fa: TracedTOf<M, W, A>) -> A

Swift

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

Swift

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

Swift

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

Swift

public typealias S = W.S

Swift

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

Swift

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

Swift

public typealias E = W.E

Swift

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

Swift

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