Getter

public class Getter<S, A> : GetterOf<S, A>

Undocumented

  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public init(get : @escaping (S) -> A)
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    public func left<C>() -> Getter<Either<S, C>, Either<A, C>>
  • Undocumented

    Declaration

    Swift

    public func right<C>() -> Getter<Either<C, S>, Either<C, A>>
  • Undocumented

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

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

    Declaration

    Swift

    func at<AtType, I, T>(_ at: AtType, _ i: I) -> Getter<S, T> where A == AtType.S, AtType : At, I == AtType.I, T == AtType.A