ValidatedPartial

Swift

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

Swift

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

Swift

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

Swift

public static func pure<A>(_ a: A) -> ValidatedOf<I, A>

Swift

public static func ap<A, B>(
    _ ff: ValidatedOf<I, (A) -> B>,
    _ fa: ValidatedOf<I, A>) -> ValidatedOf<I, B>

Swift

public static func select<A, B>(
    _ fab: ValidatedOf<I, Either<A, B>>,
    _ f: ValidatedOf<I, (A) -> B>) -> ValidatedOf<I, B>

Swift

public typealias E = I

Swift

public static func raiseError<A>(_ e: I) -> ValidatedOf<I, A>

Swift

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

Swift

public static func foldLeft<A, B>(
    _ fa: ValidatedOf<I, A>,
    _ b: B,
    _ f: @escaping (B, A) -> B) -> B

Swift

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

Swift

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

Swift

public static func combineK<A>(
    _ x: ValidatedOf<I, A>,
    _ y: ValidatedOf<I, A>) -> ValidatedOf<I, A>