IdPartial

Swift

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

Swift

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

Swift

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

Swift

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

Swift

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

Swift

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

Swift

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

Swift

public static func extract<A>(_ fa: IdOf<A>) -> A

Swift

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

Swift

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

Swift

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