PIso

public class PIso<S, T, A, B> : PIsoOf<S, T, A, B>

Undocumented

  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public init(get : @escaping (S) -> A, reverseGet : @escaping (B) -> T)
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

    public func reverseGet(_ b: B) -> T
  • Undocumented

    Declaration

    Swift

    public func mapping<F>() -> PIso<Kind<F, S>, Kind<F, T>, Kind<F, A>, Kind<F, B>> where F : Functor
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

    public func liftF<F: Functor>(_ f : @escaping (A) -> Kind<F, B>) -> (S) -> Kind<F, T>
  • Undocumented

    Declaration

    Swift

    public func reverse() -> PIso<B, A, T, S>
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public func split<S1, T1, A1, B1>(_ other: PIso<S1, T1, A1, B1>) -> PIso<(S, S1), (T, T1), (A, A1), (B, B1)>
  • Undocumented

    Declaration

    Swift

    public func first<C>() -> PIso<(S, C), (T, C), (A, C), (B, C)>
  • Undocumented

    Declaration

    Swift

    public func second<C>() -> PIso<(C, S), (C, T), (C, A), (C, B)>
  • Undocumented

    Declaration

    Swift

    public func left<C>() -> PIso<Either<S, C>, Either<T, C>, Either<A, C>, Either<B, C>>
  • Undocumented

    Declaration

    Swift

    public func right<C>() -> PIso<Either<C, S>, Either<C, T>, Either<C, A>, Either<C, B>>
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public func asGetter() -> Getter<S, A>
  • Undocumented

    Declaration

    Swift

    public func asLens() -> PLens<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public func asPrism() -> PPrism<S, T, A, B>
  • Undocumented

    Declaration

    Swift

    public func asOptional() -> POptional<S, T, A, B>
  • 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 asTraversal() -> PTraversal<S, T, A, B>
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public func lift(_ f : @escaping (A) -> B) -> (S) -> T