Bow - OptionTPartial Class Reference

Functions for OptionT when the effect has an instance of Functor

Lifts a value by wrapping the contained value in the effect into an Option.some value.

Declaration

Swift

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

Parameters

`fb`	Value to be lifted.

Return Value

A present Option wrapped in the effect.

Instance of EquatableK for OptionT

Declaration

Swift

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

Instance of HashableK for OptionT


                    
                    
                    
                      hash(_:into:)

Declaration

Swift

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

Instance of Functor for OptionT

Declaration

Swift

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

Instance of FunctorFilter for OptionT


                    
                    
                    
                      mapFilter(_:_:)

Declaration

Swift

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

Instance of Applicative for OptionT

Declaration

Swift

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

Declaration

Swift

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

Instance of Monad for OptionT


                    
                    
                    
                      flatMap(_:_:)

Declaration

Swift

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


                    
                    
                    
                      tailRecM(_:_:)

Declaration

Swift

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

Instance of SemigroupK for OptionT


                    
                    
                    
                      combineK(_:_:)

Declaration

Swift

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

Instance of MonoidK for OptionT

Declaration

Swift

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

Instance of ApplicativeError for OptionT

E
Declaration
Swift

public typealias E = F.E


                    
                    
                    
                      raiseError(_:)

Declaration

Swift

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


                    
                    
                    
                      handleErrorWith(_:_:)

Declaration

Swift

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

Instance of Foldable for OptionT


                    
                    
                    
                      foldLeft(_:_:_:)

Declaration

Swift

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


                    
                    
                    
                      foldRight(_:_:_:)

Declaration

Swift

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

Instance of Traverse for OptionT


                    
                    
                    
                      traverse(_:_:)

Declaration

Swift

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

Instance of TraverseFilter for OptionT


                    
                    
                    
                      traverseFilter(_:_:)

Declaration

Swift

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

Instance of MonadReader for OptionT

D
Declaration
Swift

public typealias D = F.D

Declaration

Swift

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


                    
                    
                    
                      local(_:_:)

Declaration

Swift

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

Instance of MonadWriter for OptionT

W
Declaration
Swift

public typealias W = F.W

Declaration

Swift

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

Declaration

Swift

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

Declaration

Swift

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

Instance of MonadState for OptionT

S
Declaration
Swift

public typealias S = F.S

Declaration

Swift

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

Declaration

Swift

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