All Downloads are FREE. Search and download functionalities are using the official Maven repository.

com.shapesecurity.functional.data.Maybe Maven / Gradle / Ivy

There is a newer version: 3.1.0
Show newest version
/*
 * Copyright 2014 Shape Security, Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

package com.shapesecurity.functional.data;

import com.shapesecurity.functional.Effect;
import com.shapesecurity.functional.F;
import com.shapesecurity.functional.ThrowingSupplier;
import com.shapesecurity.functional.Thunk;
import org.jetbrains.annotations.NotNull;

import javax.annotation.CheckReturnValue;
import javax.annotation.Nonnull;
import javax.annotation.Nullable;
import java.util.Iterator;
import java.util.Objects;
import java.util.function.Predicate;
import java.util.function.Supplier;

@CheckReturnValue
public final class Maybe implements Iterable {
    private final static int NOTHING_HASH_CODE = HashCodeBuilder.put(HashCodeBuilder.init(), "Nothing");

    @SuppressWarnings("unchecked")
    private final static Maybe NOTHING = new Maybe(null);

    @Nullable
    private final A value;

    // class local
    private Maybe(@Nullable A value) {
        this.value = value;
    }

    @SuppressWarnings("unchecked")
    @Nonnull
    public static  Maybe empty() {
        return (Maybe) NOTHING;
    }

    @SuppressWarnings("unchecked")
    @Nonnull
    @Deprecated
    public static  Maybe nothing() {
        return Maybe.empty();
    }

    @Nonnull
    public static  Maybe of(@Nonnull A a) {
        return new Maybe<>(a);
    }

    @Nonnull
    @Deprecated
    public static  Maybe just(@Nonnull A a) {
        return Maybe.of(a);
    }

    @Nonnull
    public static  Maybe fromNullable(@Nullable A a) {
        if (a == null) {
            return empty();
        }
        return of(a);
    }

    @Nullable
    public A toNullable() {
        return this.value;
    }

    public static  Maybe join(@Nonnull Maybe> m) {
        return m.flatMap((a) -> a);
    }

    @Nonnull
    public static  ImmutableList catMaybes(@Nonnull ImmutableList> l) {
        return l.foldRight((a, b) -> a.maybe(b, c -> ImmutableList.cons(c, b)), ImmutableList.empty());
    }

    @Nonnull
    public static  ImmutableList mapMaybe(@Nonnull final F f, @Nonnull ImmutableList> l) {
        return l.foldRight((a, b) -> a.maybe(b, v -> ImmutableList.cons(f.apply(v), b)), ImmutableList.empty());
    }

    @SuppressWarnings("BooleanParameter")
    @Nonnull
    public static  Maybe iff(boolean test, @Nonnull A a) {
        if (test) {
            return of(a);
        }
        return empty();
    }
    @Nonnull
    public static  Maybe _try(@Nonnull ThrowingSupplier s) {
        // Note that this method does not distinguish between throwing and returning null.
        try {
            return Maybe.fromNullable(s.get());
        } catch (Exception e) {
            return Maybe.empty();
        }
    }

    public boolean eq(@Nonnull Maybe maybe) {
        return Objects.equals(maybe.value, this.value);
    }

    @SuppressWarnings("unchecked")
    @Override
    public final boolean equals(Object obj) {
        return obj == this || obj instanceof Maybe && this.eq((Maybe) obj);
    }

    @Override
    public int hashCode() {
        return this.value == null ? NOTHING_HASH_CODE :
               HashCodeBuilder.put(this.value.hashCode(), "Just");
    }

    @Nonnull
    public A fromJust() throws NullPointerException {
        return Objects.requireNonNull(this.value);
    }

    @Nonnull
    @Deprecated
    public A just() throws NullPointerException {
        return this.fromJust();
    }

    @Nonnull
    public  B maybe(@Nonnull B def, @Nonnull F f) {
        return this.value == null ? def : f.apply(this.value);
    }

    public final void foreach(@Nonnull Effect f) {
        this.map(f);
    }

    public final void foreach(@Nonnull Runnable r, @Nonnull Effect f) {
        if (this.value == null) {
            r.run();
        } else {
            f.apply(this.value);
        }
    }

    public boolean isJust() {
        return this.value != null;
    }

    public final boolean isNothing() {
        return !this.isJust();
    }

    @Nonnull
    public ImmutableList toList() {
        return this.value == null ? ImmutableList.empty() : ImmutableList.from(this.value);
    }

    @Nonnull
    public A orJust(@Nonnull A a) {
        return this.value == null ? a : this.value;
    }

    /**
     * @deprecated Use {@link #orJustLazy(Supplier)} instead.
     */
    @Nonnull
    @Deprecated
    public A orJustLazy(@Nonnull Thunk a) {
        return this.value == null ? a.get() : this.value;
    }

    @Nonnull
    public A orJustLazy(@Nonnull Supplier a) {
        return this.value == null ? a.get() : this.value;
    }

    @Nonnull
    public  Maybe map(@Nonnull F f) {
        //noinspection unchecked
        return this.value == null ? ((Maybe) this) : of(f.apply(this.value));
    }

    @Nonnull
    public final  Maybe bind(@Nonnull F> f) {
        return this.flatMap(f);
    }

    @Nonnull
    public  Maybe flatMap(@Nonnull F> f) {
        //noinspection unchecked
        return this.value == null ? ((Maybe) this) : f.apply(this.value);
    }

    @Nonnull
    public Maybe filter(@Nonnull F f) {
        return this.filterByPredicate(f::apply);
    }

    @Nonnull
    public Maybe filterByPredicate(@Nonnull Predicate f) {
        return this.value == null ? this : (f.test(this.value) ? this : empty());
    }

    @NotNull
    @Override
    public Iterator iterator() {
        return new Iterator() {
            private boolean hasNext = Maybe.this.isJust();

            @Override
            public boolean hasNext() {
                return this.hasNext;
            }

            @Override
            public A next() {
                if (this.hasNext) {
                    this.hasNext = false;
                    return Maybe.this.value;
                }
                return null;
            }
        };
    }
}