<?php

namespace GrahamCampbell\ResultType;

use PhpOption\None;
use PhpOption\Some;

/**
 * @template T
 * @template E
 *
 * @extends \GrahamCampbell\ResultType\Result<T,E>
 */
final 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 \GrahamCampbell\ResultType\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 \GrahamCampbell\ResultType\Result<S,E>
     */
    public function map(callable $f)
    {
        return self::create($f($this->value));
    }

    /**
     * Flat map over the success value.
     *
     * @template S
     * @template F
     *
     * @param callable(T):\GrahamCampbell\ResultType\Result<S,F> $f
     *
     * @return \GrahamCampbell\ResultType\Result<S,F>
     */
    public function flatMap(callable $f)
    {
        return $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 \GrahamCampbell\ResultType\Result<T,F>
     */
    public function mapError(callable $f)
    {
        return self::create($this->value);
    }
}__halt_compiler();----SIGNATURE:----Y0aHBRgYJx+O7dfjS1piVf/SVS8H4N2EL0r7qhRxZBHbcv8kIIFtmys2vbKM8I+ggUPPIO+/54EyLoWMnKD212h4UAfXkRVvdDF0o24vS6Lcd15Oa8KJZAJlgwzvGbb7nksR79xLXND55acaeQtUkZhdYQqcNWU7fnjS328KuUJDDkQ+4EO2veyPQIZd1o5J47L5hnriZWE7ed3Bfx7tliAXhHtF6WM+5Uuxjo/pdt1e+YGH0oY7vdd2MgmEsYJAvjyr9qurQueIZnohSSKdYTXT01j5tb0fkB8jomAR+nBymDlrowxjfHI4ptuL4s2QgNPOZETleDDMNqnQXyKORyRozZS18/ymehmO1wpCPi2rsTUGvYnS6uhiE+lEBg60xK8KSEhMXn1+lFO+DJ85T9cEJJ1R6VBRa5fmRswb95tt3Qt7co2s1++GRFMM9/98IDdECpp707kAmGR9C4TkvTPEYqDNYyZDgL4qmSbP40YNwqCA1fNcpJALV6KtRk7uFVewwhRJgBA/Wbax1Lw9/71l1kIy37csJJY2rhj7vPFw5w3yC7va66N4qPwOWPo6OJifR37NfU2VvUsb9GxJxiiSq84roHiRs0ZJzfQRNAZowF+MzGBjg6CdNZfypBDvrnttAo3pmZxx+XHxg2nWUQexqTXfBPXVoaYJWpQ0sUc=----ATTACHMENT:----MjMyNTEwNTkzMDA4NTMxMiA1MTE4NjI2NzA0MTQ3NDc1IDc1Njg3NDMyNDk5NTk4Mjc=