Free

public class Free<S, A> : FreeOf<S, A>

Undocumented

  • Undocumented

    Declaration

    Swift

    public static func liftF(_ fa: Kind<S, A>) -> Free<S, A>
  • Undocumented

    Declaration

    Swift

    public static func deferFree(_ value: @escaping () -> Free<S, A>) -> Free<S, A>
  • Undocumented

    Declaration

    Swift

    public static func fix(_ fa: FreeOf<S, A>) -> Free<S, A>
  • Undocumented

    Declaration

    Swift

    public func transform<B, S, O>(_ f : @escaping (A) -> B, _ fs: FunctionK<S, O>) -> Free<O, B>
  • Undocumented

    Declaration

    Swift

    public func step() -> Free<S, A>
  • Undocumented

    Declaration

    Swift

    public func foldMapK<M>(_ f: FunctionK<S, M>) -> Kind<M, A> where M : Monad
  • Undocumented

    Declaration

    Swift

    public func run() -> Kind<S, A>