Reducible

public protocol Reducible : Foldable

Undocumented

  • Undocumented

    Declaration

    Swift

    static func reduceLeftTo<A, B>(_ fa: Kind<Self, A>, _ f: (A) -> B, _ g: (B, A) -> B) -> B
  • Undocumented

    Declaration

    Swift

    static func reduceRightTo<A, B>(_ fa: Kind<Self, A>, _ f: (A) -> B, _ g: (A, Eval<B>) -> Eval<B>) -> Eval<B>
  • reduceLeft(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduceLeft<A>(_ fa: Kind<Self, A>, _ f: (A, A) -> A) -> A
  • reduceRight(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduceRight<A>(_ fa: Kind<Self, A>, _ f: (A, Eval<A>) -> Eval<A>) -> Eval<A>
  • reduceLeftToOption(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduceLeftToOption<A, B>(_ fa: Kind<Self, A>, _ f: @escaping (A) -> B, _ g: @escaping (B, A) -> B) -> Option<B>
  • reduceRightToOption(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduceRightToOption<A, B>(_ fa: Kind<Self, A>, _ f: @escaping (A) -> B, _ g: @escaping (A, Eval<B>) -> Eval<B>) -> Eval<Option<B>>
  • isEmpty(_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func isEmpty<A>(_ fa: Kind<Self, A>) -> Bool
  • nonEmpty(_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func nonEmpty<A>(_ fa: Kind<Self, A>) -> Bool
  • reduce(_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduce<A>(_ fa: Kind<Self, A>) -> A where A : Semigroup
  • reduceMap(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func reduceMap<A, B>(_ fa: Kind<Self, A>, _ f: (A) -> B) -> B where B : Semigroup