OptionPartial

Swift

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

Swift

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

Swift

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

Swift

public static func pure<A>(_ a: A) -> OptionOf<A>

Swift

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

Swift

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

Swift

public typealias E = Unit

Swift

public static func raiseError<A>(_ e: Unit) -> OptionOf<A>

Swift

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

Swift

public static func empty<A>() -> OptionOf<A>

Swift

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

Swift

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

Swift

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

Swift

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

Swift

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

Swift

public static func emptyK<A>() -> OptionOf<A>

Swift

public static func product<A, B>(
    _ a: OptionOf<A>,
    _ b: OptionOf<B>) -> OptionOf<(A, B)>

Swift

public static func identity<A>() -> OptionOf<A>