PTraversal

open class PTraversal<S, T, A, B> : PTraversalOf<S, T, A, B>

Undocumented

  • Undocumented

    Declaration

    Swift

    open func modifyF<F: Applicative>(_ s: S, _ f: @escaping (A) -> Kind<F, B>) -> Kind<F, T>
  • Undocumented

    Declaration

    Swift

    public static func identity() -> Traversal<S, S>
  • Undocumented

    Declaration

    Swift

    public static func codiagonal() -> Traversal<Either<S, S>, S>
  • Undocumented

    Declaration

    Swift

    public static func void() -> Traversal<S, A>
  • Undocumented

    Declaration

    Swift

    public static func fromTraverse<T>() -> PTraversal<Kind<T, A>, Kind<T, B>, A, B> where T : Traverse
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ set : @escaping (B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ get5 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ get5 : @escaping (S) -> A,
                            _ get6 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ get5 : @escaping (S) -> A,
                            _ get6 : @escaping (S) -> A,
                            _ get7 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ get5 : @escaping (S) -> A,
                            _ get6 : @escaping (S) -> A,
                            _ get7 : @escaping (S) -> A,
                            _ get8 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func from(_ get1 : @escaping (S) -> A,
                            _ get2 : @escaping (S) -> A,
                            _ get3 : @escaping (S) -> A,
                            _ get4 : @escaping (S) -> A,
                            _ get5 : @escaping (S) -> A,
                            _ get6 : @escaping (S) -> A,
                            _ get7 : @escaping (S) -> A,
                            _ get8 : @escaping (S) -> A,
                            _ get9 : @escaping (S) -> A,
                            _ set : @escaping (B, B, B, B, B, B, B, B, B, S) -> T) -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: PTraversal<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: PSetter<A, B, C, D>) -> PSetter<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public static func + <C>(lhs: PTraversal<S, T, A, B>, rhs: Fold<A, C>) -> Fold<S, C>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: POptional<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: PPrism<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: PLens<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public static func + <C, D>(lhs: PTraversal<S, T, A, B>, rhs: PIso<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func foldMap<R: Monoid>(_ s: S, _ f: @escaping (A) -> R) -> R
  • Undocumented

    Declaration

    Swift

    public func getAll(_ s: S) -> ArrayK<A>
  • Undocumented

    Declaration

    Swift

    public func set(_ s: S, _ b: B) -> T
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public func headOption(_ s: S) -> Option<A>
  • Undocumented

    Declaration

    Swift

    public func lastOption(_ s: S) -> Option<A>
  • Undocumented

    Declaration

    Swift

    public func choice<U, V>(_ other: PTraversal<U, V, A, B>) -> PTraversal<Either<S, U>, Either<T, V>, A, B>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: PTraversal<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: PSetter<A, B, C, D>) -> PSetter<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func compose<C>(_ other: Fold<A, C>) -> Fold<S, C>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: POptional<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: PPrism<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: PLens<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func compose<C, D>(_ other: PIso<A, B, C, D>) -> PTraversal<S, T, C, D>
  • Undocumented

    Declaration

    Swift

    public func asSetter() -> PSetter<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public func asFold() -> Fold<S, A>
  • Undocumented

    Declaration

    Swift

    public func find(_ s : S, _ predicate : @escaping (A) -> Bool) -> Option<A>
  • Undocumented

    Declaration

    Swift

    public func modify(_ s: S, _ f : @escaping (A) -> B) -> T
  • Undocumented

    Declaration

    Swift

    public func exists(_ s : S, _ predicate : @escaping (A) -> Bool) -> Bool
  • Undocumented

    Declaration

    Swift

    public func forall(_ s : S, _ predicate : @escaping (A) -> Bool) -> Bool
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

    public func combineAll(_ s: S) -> A