Bow - StateTPartial Class Reference

Functions for StateT when the effect has an instance of Functor

Lifts an effect by wrapping the contained value into a function that depends on some state.

Declaration

Swift

public static func liftF<A>(_ fa: Kind<F, A>) -> StateTOf<F, S, A>

Parameters

`fa`	Value to be lifted.

Return Value

A StateT that produces the contained value in the original effect, preserving the state.

Instance of Functor for StateT

Declaration

Swift

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

Instance of Applicative for StateT

Declaration

Swift

public static func pure<A>(_ a: A) -> StateTOf<F, S, A>

Instance of Monad for StateT


                    
                    
                    
                      flatMap(_:_:)

Declaration

Swift

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


                    
                    
                    
                      tailRecM(_:_:)

Declaration

Swift

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

Instance of MonadState for StateT

Declaration

Swift

public static func get() -> StateTOf<F, S, S>

Declaration

Swift

public static func set(_ s: S) -> StateTOf<F, S, ()>

Instance of SemigroupK for StateT


                    
                    
                    
                      combineK(_:_:)

Declaration

Swift

public static func combineK<A>(
    _ x: StateTOf<F, S, A>,
    _ y: StateTOf<F, S, A>) -> StateTOf<F, S, A>

Instance of MonoidK for StateT

Declaration

Swift

public static func emptyK<A>() -> StateTOf<F, S, A>

Instance of MonadCombine for StateT

Declaration

Swift

public static func empty<A>() -> StateTOf<F, S, A>

Instance of ApplicativeError for StateT

E
Declaration
Swift

public typealias E = F.E


                    
                    
                    
                      raiseError(_:)

Declaration

Swift

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


                    
                    
                    
                      handleErrorWith(_:_:)

Declaration

Swift

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

Instance of MonadReader for StateT

D
Declaration
Swift

public typealias D = F.D

Declaration

Swift

public static func ask() -> StateTOf<F, S, F.D>


                    
                    
                    
                      local(_:_:)

Declaration

Swift

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

Instance of MonadWriter for StateT

W
Declaration
Swift

public typealias W = F.W

Declaration

Swift

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

Declaration

Swift

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

Declaration

Swift

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