Elementor #2722 - Door of Clubs

File Manager

Current Directory: wp-content/plugins/wp-migrate-db/vendor/vlucas/phpdotenv/src/Result

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

Edit File: Success.php

<?php

namespace DeliciousBrains\WPMDB\Container\Dotenv\Result;

use DeliciousBrains\WPMDB\Container\PhpOption\None;
use DeliciousBrains\WPMDB\Container\PhpOption\Some;
/**
 * @template T
 * @template E
 * @extends \Dotenv\Result\Result<T,E>
 */
class Success extends Result
{
    /**
     * @var T
     */
    private $value;
    /**
     * Internal constructor for a success value.
     *
     * @param T $value
     *
     * @return void
     */
    private function __construct($value)
    {
        $this->value = $value;
    }
    /**
     * Create a new error value.
     *
     * @template S
     *
     * @param S $value
     *
     * @return \Dotenv\Result\Result<S,E>
     */
    public static function create($value)
    {
        return new self($value);
    }
    /**
     * Get the success option value.
     *
     * @return \PhpOption\Option<T>
     */
    public function success()
    {
        return Some::create($this->value);
    }
    /**
     * Map over the success value.
     *
     * @template S
     *
     * @param callable(T):S $f
     *
     * @return \Dotenv\Result\Result<S,E>
     */
    public function mapSuccess(callable $f)
    {
        return self::create($f($this->value));
    }
    /**
     * Get the error option value.
     *
     * @return \PhpOption\Option<E>
     */
    public function error()
    {
        return None::create();
    }
    /**
     * Map over the error value.
     *
     * @template F
     *
     * @param callable(E):F $f
     *
     * @return \Dotenv\Result\Result<T,F>
     */
    public function mapError(callable $f)
    {
        /** @var \Dotenv\Result\Result<T,F> */
        return self::create($this->value);
    }
}

Upload File

Directory Listing

Name	Type	Size	Actions
.. (Parent Directory)	Dir
Error.php	File	1.65 KB	Rename \| Delete \| Edit
Result.php	File	1.21 KB	Rename \| Delete \| Edit
Success.php	File	1.66 KB	Rename \| Delete \| Edit

File Manager

Edit File: Success.php

Upload File

Directory Listing

Resources

Company

Office