Bow - WriterTPartial Class Reference

Functions for WriterT when the effect has an instance of Applicative and the accumulator type has an instance of Monoid

Lifts an effect using empty value of the Monoid.

Declaration

Swift

public static func liftF<A>(_ fb: Kind<F, A>) -> WriterTOf<F, W, A>

Parameters

`fb`	Effect to be lifted.

Return Value

A WriterT wrapping the value contained in the effect parameter and using the empty accumulator.

Instance of EquatableK for WriterT

Declaration

Swift

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

Instance of HashableK for WriterT


                    
                    
                    
                      hash(_:into:)

Declaration

Swift

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

Instance of Functor for WriterT

Declaration

Swift

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

Instance of Applicative for WriterT

Declaration

Swift

public static func pure<A>(_ a: A) -> WriterTOf<F, W, A>

Instance of Monad for WriterT


                    
                    
                    
                      flatMap(_:_:)

Declaration

Swift

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


                    
                    
                    
                      tailRecM(_:_:)

Declaration

Swift

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

Instance of MonadFilter for WriterT

Declaration

Swift

public static func empty<A>() -> WriterTOf<F, W, A>

Instance of SemigroupK for WriterT


                    
                    
                    
                      combineK(_:_:)

Declaration

Swift

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

Instance of MonoidK for WriterT

Declaration

Swift

public static func emptyK<A>() -> WriterTOf<F, W, A>

Instance of MonadWriter for WriterT

Declaration

Swift

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

Declaration

Swift

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

Declaration

Swift

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

Instance of ApplicativeError for WriterT

E
Declaration
Swift

public typealias E = F.E


                    
                    
                    
                      raiseError(_:)

Declaration

Swift

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


                    
                    
                    
                      handleErrorWith(_:_:)

Declaration

Swift

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

Instance of MonadReader for WriterT

D
Declaration
Swift

public typealias D = F.D

Declaration

Swift

public static func ask() -> WriterTOf<F, W, F.D>


                    
                    
                    
                      local(_:_:)

Declaration

Swift

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

Instance of MonadState for WriterT

S
Declaration
Swift

public typealias S = F.S

Declaration

Swift

public static func get() -> WriterTOf<F, W, F.S>

Declaration

Swift

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