Class TraversalLaws<S,A>

java.lang.Object
io.atlassian.fugue.optic.law.TraversalLaws<S,A>
public final class TraversalLaws<S,A> extends Object

  • Field Details

  • Constructor Details

  • Method Details

    • setGetAll

      public IsEq<List<A>> setGetAll(S s, A a)
      get what you set.

    • setIdempotent

      public IsEq<S> setIdempotent(S s, A a)
      set idempotent

    • modifyIdentity

      public IsEq<S> modifyIdentity(S s)
      modify id = id

    • modifySupplierFPoint

      public IsEq<S> modifySupplierFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • modifyEitherFPoint

      public IsEq<Either<String,S>> modifyEitherFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • modifyOptionFPoint

      public IsEq<Option<S>> modifyOptionFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • modifyPairFPoint

      public IsEq<Pair<S,S>> modifyPairFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • modifyFunctionFPoint

      public IsEq<S> modifyFunctionFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • modifyIterableFPoint

      public IsEq<List<S>> modifyIterableFPoint(S s)
      modifyF Applicative.point(_) = Applicative.point(_)

    • headOption

      public IsEq<Option<A>> headOption(S s)
      headOption returns the first element of getAll