Package fj.data

Class List.Optic

  • Enclosing class:
    List<A>

    public static final class List.Optic
    extends java.lang.Object
    Optic factory methods for a List
    • Constructor Detail

      • Optic

        private Optic()
    • Method Detail

      • pTraversal

        public static <A,​B> PTraversal<List<A>,​List<B>,​A,​B> pTraversal()
        Polymorphic traversal
      • traversal

        public static <A> Traversal<List<A>,​A> traversal()
        Monomorphic traversal
      • head

        public static <A> Optional<List<A>,​A> head()
        Optional targeted on Cons head.
      • tail

        public static <A> Optional<List<A>,​List<A>> tail()
        Optional targeted on Cons tail.
      • nil

        public static <A> Prism<List<A>,​Unit> nil()
        Nil prism
      • cons

        public static <A> Prism<List<A>,​P2<A,​List<A>>> cons()
        Cons prism