Elementor #2722 - Door of Clubs

File Manager

Current Directory: wp-content/plugins/wp-migrate-db/vendor/phpoption/phpoption/src/PhpOption

Linux appserver-0d5e4f1e-php-cc8da225320a42ba9b7d66cba40b1f03 6.6.123+ #1 SMP PREEMPT_DYNAMIC Wed Mar 11 09:04:28 UTC 2026 x86_64

Edit File: None.php

<?php

/*
 * Copyright 2012 Johannes M. Schmitt <schmittjoh@gmail.com>
 *
 * 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.
 */
namespace DeliciousBrains\WPMDB\Container\PhpOption;

use EmptyIterator;
/**
 * @extends Option<mixed>
 */
final class None extends Option
{
    /** @var None|null */
    private static $instance;
    /**
     * @return None
     */
    public static function create()
    {
        if (null === self::$instance) {
            self::$instance = new self();
        }
        return self::$instance;
    }
    public function get()
    {
        throw new \RuntimeException('None has no value.');
    }
    public function getOrCall($callable)
    {
        return $callable();
    }
    public function getOrElse($default)
    {
        return $default;
    }
    public function getOrThrow(\Exception $ex)
    {
        throw $ex;
    }
    public function isEmpty()
    {
        return \true;
    }
    public function isDefined()
    {
        return \false;
    }
    public function orElse(Option $else)
    {
        return $else;
    }
    public function ifDefined($callable)
    {
        // Just do nothing in that case.
    }
    public function forAll($callable)
    {
        return $this;
    }
    public function map($callable)
    {
        return $this;
    }
    public function flatMap($callable)
    {
        return $this;
    }
    public function filter($callable)
    {
        return $this;
    }
    public function filterNot($callable)
    {
        return $this;
    }
    public function select($value)
    {
        return $this;
    }
    public function reject($value)
    {
        return $this;
    }
    public function getIterator()
    {
        return new EmptyIterator();
    }
    public function foldLeft($initialValue, $callable)
    {
        return $initialValue;
    }
    public function foldRight($initialValue, $callable)
    {
        return $initialValue;
    }
    private function __construct()
    {
    }
}

Upload File

Directory Listing

Name	Type	Size	Actions
.. (Parent Directory)	Dir
LazyOption.php	File	3.89 KB	Rename \| Delete \| Edit
None.php	File	2.43 KB	Rename \| Delete \| Edit
Option.php	File	13.04 KB	Rename \| Delete \| Edit
Some.php	File	3.17 KB	Rename \| Delete \| Edit

File Manager

Edit File: None.php

Upload File

Directory Listing

Resources

Company

Office