Elementor #2722 - Door of Clubs

File Manager

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

Linux appserver-7a7af3b2-php-0c9ec09e2f9746c2a80fa3756c076432 6.12.94+ #1 SMP Fri Jul 17 09:26:56 UTC 2026 x86_64

Edit File: Result.php

<?php

namespace DeliciousBrains\WPMDB\Container\Dotenv\Result;

/**
 * @template T
 * @template E
 */
abstract class Result
{
    /**
     * Get the success option value.
     *
     * @return \PhpOption\Option<T>
     */
    public abstract function success();
    /**
     * Get the success value, if possible.
     *
     * @throws \RuntimeException
     *
     * @return T
     */
    public function getSuccess()
    {
        return $this->success()->get();
    }
    /**
     * Map over the success value.
     *
     * @template S
     *
     * @param callable(T):S $f
     *
     * @return \Dotenv\Result\Result<S,E>
     */
    public abstract function mapSuccess(callable $f);
    /**
     * Get the error option value.
     *
     * @return \PhpOption\Option<E>
     */
    public abstract function error();
    /**
     * Get the error value, if possible.
     *
     * @throws \RuntimeException
     *
     * @return E
     */
    public function getError()
    {
        return $this->error()->get();
    }
    /**
     * Map over the error value.
     *
     * @template F
     *
     * @param callable(E):F $f
     *
     * @return \Dotenv\Result\Result<T,F>
     */
    public abstract function mapError(callable $f);
}

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: Result.php

Upload File

Directory Listing

Resources

Company

Office