Bow - KleisliPartial Class Reference

Instance of MonadDefer for Kleisli

Declaration

Swift

public static func `defer`<A>(_ fa: @escaping () -> KleisliOf<F, D, A>) -> KleisliOf<F, D, A>

Instance of Async for Kleisli

Declaration

Swift

public static func asyncF<A>(_ procf: @escaping (@escaping (Either<F.E, A>) -> ()) -> KleisliOf<F, D, ()>) -> KleisliOf<F, D, A>


                    
                    
                    
                      continueOn(_:_:)

Declaration

Swift

public static func continueOn<A>(
    _ fa: KleisliOf<F, D, A>,
    _ queue: DispatchQueue) -> KleisliOf<F, D, A>

Instance of Concurrent for Kleisli

Declaration

Swift

public static func race<A, B>(
    _ fa: KleisliOf<F, D, A>,
    _ fb: KleisliOf<F, D, B>) -> KleisliOf<F, D, Either<A, B>>


                    
                    
                    
                      parMap(_:_:_:)

Declaration

Swift

public static func parMap<A, B, Z>(
    _ fa: KleisliOf<F, D, A>,
    _ fb: KleisliOf<F, D, B>,
    _ f: @escaping (A, B) -> Z) -> KleisliOf<F, D, Z>


                    
                    
                    
                      parMap(_:_:_:_:)

Declaration

Swift

public static func parMap<A, B, C, Z>(
    _ fa: KleisliOf<F, D, A>,
    _ fb: KleisliOf<F, D, B>,
    _ fc: KleisliOf<F, D, C>,
    _ f: @escaping (A, B, C) -> Z) -> KleisliOf<F, D, Z>

Instance of Functor for Kleisli

Declaration

Swift

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

Instance of Applicative for Kleisli

Declaration

Swift

public static func pure<A>(_ a: A) -> KleisliOf<F, D, A>

Declaration

Swift

public static func ap<A, B>(
    _ ff: KleisliOf<F, D, (A) -> B>,
    _ fa: KleisliOf<F, D, A>) -> KleisliOf<F, D, B>

Instance of Monad for Kleisli


                    
                    
                    
                      flatMap(_:_:)

Declaration

Swift

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


                    
                    
                    
                      tailRecM(_:_:)

Declaration

Swift

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

Instance of MonadReader for Kleisli

Declaration

Swift

public static func ask() -> KleisliOf<F, D, D>


                    
                    
                    
                      local(_:_:)

Declaration

Swift

public static func local<A>(_ fa: KleisliOf<F, D, A>, _ f: @escaping (D) -> D) -> KleisliOf<F, D, A>

Instance of ApplicativeError for Kleisli

E
Declaration
Swift

public typealias E = F.E


                    
                    
                    
                      raiseError(_:)

Declaration

Swift

public static func raiseError<A>(_ e: F.E) -> KleisliOf<F, D, A>


                    
                    
                    
                      handleErrorWith(_:_:)

Declaration

Swift

public static func handleErrorWith<A>(
    _ fa: KleisliOf<F, D, A>,
    _ f: @escaping (F.E) -> KleisliOf<F, D, A>) -> KleisliOf<F, D, A>

Instance of MonadWriter for Kleisli

W
Declaration
Swift

public typealias W = F.W

Declaration

Swift

public static func writer<A>(_ aw: (F.W, A)) -> KleisliOf<F, D, A>

Declaration

Swift

public static func listen<A>(_ fa: KleisliOf<F, D, A>) -> KleisliOf<F, D, (F.W, A)>

Declaration

Swift

public static func pass<A>(_ fa: KleisliOf<F, D, ((F.W) -> F.W, A)>) -> KleisliOf<F, D, A>

Instance of MonadState for Kleisli

S
Declaration
Swift

public typealias S = F.S

Declaration

Swift

public static func get() -> KleisliOf<F, D, F.S>

Declaration

Swift

public static func set(_ s: F.S) -> KleisliOf<F, D, Void>