StateT

public class StateT<F, S, A> : StateTOf<F, S, A>

Undocumented

  • Undocumented

    Declaration

    Swift

    public static func fix(_ fa: StateTOf<F, S, A>) -> StateT<F, S, A>
  • Undocumented

    Declaration

    Swift

    public init(_ runF: Kind<F, (S) -> Kind<F, (S, A)>>)
  • Undocumented

    Declaration

    Swift

    public func run(_ initialState: S) -> (S, A)
  • Undocumented

    Declaration

    Swift

    public func runA(_ s: S) -> A
  • Undocumented

    Declaration

    Swift

    public func runS(_ s: S) -> S
  • Undocumented

    Declaration

    Swift

    public func transform<B>(_ f : @escaping (S, A) -> (S, B)) -> StateT<F, S, B>
  • Undocumented

    Declaration

    Swift

    public static func lift(_ fa: Kind<F, A>) -> StateT<F, S, A>
  • Undocumented

    Declaration

    Swift

    public func runA(_ s: S) -> Kind<F, A>
  • Undocumented

    Declaration

    Swift

    public func runS(_ s: S) -> Kind<F, S>
  • Undocumented

    Declaration

    Swift

    public func runM(_ initial: S) -> Kind<F, (S, A)>
  • Undocumented

    Declaration

    Swift

    public func map2<B, Z>(_ sb: StateT<F, S, B>, _ f: @escaping (A, B) -> Z) -> StateT<F, S, Z>
  • Undocumented

    Declaration

    Swift

    public func flatMapF<B>(_ f : @escaping (A) -> Kind<F, B>) -> StateT<F, S, B>