Class Optional<S,​A>


  • public final class Optional<S,​A>
    extends POptional<S,​S,​A,​A>
    POptional restricted to monomorphic update
    • Constructor Detail

      • Optional

        public Optional​(POptional<S,​S,​A,​A> pOptional)
    • Method Detail

      • set

        public java.util.function.Function<S,​S> set​(A a)
        Description copied from class: POptional
        get the modified source of a POptional
        Specified by:
        set in class POptional<S,​S,​A,​A>
      • modifySupplierF

        public java.util.function.Function<S,​java.util.function.Supplier<S>> modifySupplierF​(java.util.function.Function<A,​java.util.function.Supplier<A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifySupplierF in class POptional<S,​S,​A,​A>
      • modifyOptionF

        public java.util.function.Function<S,​Option<S>> modifyOptionF​(java.util.function.Function<A,​Option<A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifyOptionF in class POptional<S,​S,​A,​A>
      • modifyFunctionF

        public <C> java.util.function.Function<S,​java.util.function.Function<C,​S>> modifyFunctionF​(java.util.function.Function<A,​java.util.function.Function<C,​A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifyFunctionF in class POptional<S,​S,​A,​A>
      • modifyEitherF

        public <L> java.util.function.Function<S,​Either<L,​S>> modifyEitherF​(java.util.function.Function<A,​Either<L,​A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifyEitherF in class POptional<S,​S,​A,​A>
      • modifyIterableF

        public java.util.function.Function<S,​java.lang.Iterable<S>> modifyIterableF​(java.util.function.Function<A,​java.lang.Iterable<A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifyIterableF in class POptional<S,​S,​A,​A>
      • modifyPairF

        public java.util.function.Function<S,​Pair<S,​S>> modifyPairF​(java.util.function.Function<A,​Pair<A,​A>> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with an Applicative function
        Specified by:
        modifyPairF in class POptional<S,​S,​A,​A>
      • modify

        public java.util.function.Function<S,​S> modify​(java.util.function.Function<A,​A> f)
        Description copied from class: POptional
        modify polymorphically the target of a POptional with a function
        Specified by:
        modify in class POptional<S,​S,​A,​A>
      • id

        public static <S> Optional<S,​S> id()
      • optional

        public static <S,​A> Optional<S,​A> optional​(java.util.function.Function<S,​Option<A>> getOption,
                                                               java.util.function.Function<A,​java.util.function.Function<S,​S>> set)