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, FuncK>(_ f : @escaping (A) -> B, _ fs : FuncK) -> Free<O, B> where FuncK : FunctionK, FuncK.F == S, FuncK.G == O
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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