NonEmptyReducible

public protocol NonEmptyReducible : Reducible

Undocumented

  • G

    Undocumented

    Declaration

    Swift

    associatedtype G : Foldable
  • Undocumented

    Declaration

    Swift

    static func split<A>(_ fa: Kind<Self, A>) -> (A, Kind<G, A>)
  • foldLeft(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func foldLeft<A, B>(_ fa: Kind<Self, A>, _ b: B, _ f: @escaping (B, A) -> B) -> B
  • foldRight(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func foldRight<A, B>(_ fa: Kind<Self, A>, _ b: Eval<B>, _ f: @escaping (A, Eval<B>) -> Eval<B>) -> Eval<B>
  • reduceLeftTo(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

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

    Undocumented

    Declaration

    Swift

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

    Undocumented

    Declaration

    Swift

    public static func fold<A>(_ fa: Kind<Self, A>) -> A where A : Monoid
  • find(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func find<A>(_ fa: Kind<Self, A>, _ f: @escaping (A) -> Bool) -> Option<A>
  • exists(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func exists<A>(_ fa: Kind<Self, A>, _ predicate: @escaping (A) -> Bool) -> Bool
  • forall(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func forall<A>(_ fa: Kind<Self, A>, _ predicate: @escaping (A) -> Bool) -> Bool
  • count(_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func count<A>(_ fa: Kind<Self, A>) -> Int64 where A : Monoid
  • get(_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func get<A>(_ fa: Kind<Self, A>, _ index: Int64) -> Option<A>
  • foldM(_:_:_:) Extension method

    Undocumented

    Declaration

    Swift

    public static func foldM<H: Monad, A, B>(_ fa: Kind<Self, A>, _ b: B, _ f: @escaping (B, A) -> Kind<H, B>) -> Kind<H, B>