EitherPartial

Swift

public static func eq<A: Equatable>(
    _ lhs: EitherOf<L, A>,
    _ rhs: EitherOf<L, A>) -> Bool

Swift

public static func hash<A>(_ fa: EitherOf<L, A>, into hasher: inout Hasher) where A : Hashable

Swift

public static func map<A, B>(
    _ fa: EitherOf<L, A>,
    _ f: @escaping (A) -> B) -> EitherOf<L, B>

Swift

public static func pure<A>(_ a: A) -> EitherOf<L, A>

Swift

public static func flatMap<A, B>(
    _ fa: EitherOf<L, A>,
    _ f: @escaping (A) -> EitherOf<L, B>) -> EitherOf<L, B>

Swift

public static func tailRecM<A, B>(
    _ a: A,
    _ f: @escaping (A) -> EitherOf<L, Either<A, B>>) -> EitherOf<L, B>

Swift

public typealias E = L

Swift

public static func raiseError<A>(_ e: L) -> EitherOf<L, A>

Swift

public static func handleErrorWith<A>(
    _ fa: EitherOf<L, A>,
    _ f: @escaping (L) -> EitherOf<L, A>) -> EitherOf<L, A>

Swift

public static func foldLeft<A, B>(
    _ fa: EitherOf<L, A>,
    _ c: B,
    _ f: @escaping (B, A) -> B) -> B

Swift

public static func foldRight<A, B>(
    _ fa: EitherOf<L, A>,
    _ c: Eval<B>,
    _ f: @escaping (A, Eval<B>) -> Eval<B>) -> Eval<B>

Swift

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

Swift

public static func combineK<A>(
    _ x: EitherOf<L, A>,
    _ y: EitherOf<L, A>) -> EitherOf<L, A>