happy-rusty 1.0.9 → 1.1.0

package/docs/interfaces/None.md

@@ -0,0 +1,827 @@
+[**happy-rusty**](../index.md) • **Docs**
+
+***
+
+[happy-rusty](../index.md) / None
+
+# Interface: None
+
+Represents the absence of a value, as a specialized `Option` type.
+The type parameter is set to `never` because `None` does not hold a value.
+
+## Extends
+
+- [`Option`](Option.md)\<`never`\>
+
+## Properties
+
+| Property | Modifier | Type | Description | Overrides |
+| :------ | :------ | :------ | :------ | :------ |
+| `[optionKindSymbol]` | `readonly` | `"None"` | When using `None` alone, the following overrides can make type inference more accurate. | [`Option`](Option.md).`[optionKindSymbol]` |
+
+## Methods
+
+### and()
+
+```ts
+and<U>(other): None
+```
+
+Returns `None` if the Option is `None`, otherwise returns `other`.
+This is sometimes called "and then" because it is similar to a logical AND operation.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value in the other `Option`. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`U`\> | The `Option` to return if `this` is `Some`. |
+
+#### Returns
+
+[`None`](None.md)
+
+`None` if `this` is `None`, otherwise returns `other`.
+
+#### Overrides
+
+[`Option`](Option.md).[`and`](Option.md#and)
+
+#### Source
+
+[enum/prelude.ts:308](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L308)
+
+***
+
+### andThen()
+
+```ts
+andThen<U>(fn): None
+```
+
+Returns `None` if the Option is `None`, otherwise calls `fn` with the wrapped value and returns the result.
+This function can be used for control flow based on `Option` values.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value returned by the function. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `fn` | (`value`) => [`Option`](Option.md)\<`U`\> | A function that takes the contained value and returns an `Option`. |
+
+#### Returns
+
+[`None`](None.md)
+
+The result of `fn` if `this` is `Some`, otherwise `None`.
+
+#### Overrides
+
+[`Option`](Option.md).[`andThen`](Option.md#andthen)
+
+#### Source
+
+[enum/prelude.ts:309](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L309)
+
+***
+
+### eq()
+
+```ts
+eq<T>(other): boolean
+```
+
+Tests whether `this` and `other` are both `Some` containing equal values, or both are `None`.
+This method can be used for comparing `Option` instances in a value-sensitive manner.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`T`\> | The other `Option` to compare with. |
+
+#### Returns
+
+`boolean`
+
+`true` if `this` and `other` are both `Some` with equal values, or both are `None`, otherwise `false`.
+
+#### Overrides
+
+[`Option`](Option.md).[`eq`](Option.md#eq)
+
+#### Source
+
+[enum/prelude.ts:314](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L314)
+
+***
+
+### expect()
+
+```ts
+expect(msg): never
+```
+
+Returns the contained `Some` value, with a provided error message if the value is a `None`.
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `msg` | `string` | The error message to provide if the value is a `None`. |
+
+#### Returns
+
+`never`
+
+#### Inherited from
+
+[`Option`](Option.md).[`expect`](Option.md#expect)
+
+#### Throws
+
+Throws an error with the provided message if the Option is a `None`.
+
+#### Source
+
+[enum/prelude.ts:80](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L80)
+
+***
+
+### filter()
+
+```ts
+filter(predicate): None
+```
+
+Returns `None` if the Option is `None`, otherwise calls predicate with the wrapped value and returns:
+- `Some(t)` if predicate returns `true` (where `t` is the wrapped value), and
+- `None` if predicate returns `false`.
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `predicate` | (`value`) => `boolean` | A function that takes the contained value and returns a boolean. |
+
+#### Returns
+
+[`None`](None.md)
+
+#### Overrides
+
+[`Option`](Option.md).[`filter`](Option.md#filter)
+
+#### Source
+
+[enum/prelude.ts:300](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L300)
+
+***
+
+### flatten()
+
+```ts
+flatten(): None
+```
+
+Converts from `Option<Option<T>>` to `Option<T>`.
+
+#### Returns
+
+[`None`](None.md)
+
+`None` if the Option is `None`, otherwise returns the contained `Option`.
+
+#### Overrides
+
+[`Option`](Option.md).[`flatten`](Option.md#flatten)
+
+#### Source
+
+[enum/prelude.ts:301](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L301)
+
+***
+
+### inspect()
+
+```ts
+inspect(fn): this
+```
+
+Calls the provided function with the contained value if `this` is `Some`.
+This is primarily for side effects and does not transform the `Option`.
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `fn` | (`value`) => `void` | A function to call with the contained value. |
+
+#### Returns
+
+`this`
+
+`this`, unmodified, for chaining additional methods.
+
+#### Inherited from
+
+[`Option`](Option.md).[`inspect`](Option.md#inspect)
+
+#### Source
+
+[enum/prelude.ts:267](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L267)
+
+***
+
+### isNone()
+
+```ts
+isNone(): boolean
+```
+
+Returns `true` if the Option is a `None` value.
+
+#### Returns
+
+`boolean`
+
+#### Inherited from
+
+[`Option`](Option.md).[`isNone`](Option.md#isnone)
+
+#### Source
+
+[enum/prelude.ts:59](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L59)
+
+***
+
+### isSome()
+
+```ts
+isSome(): boolean
+```
+
+Returns `true` if the Option is a `Some` value.
+
+#### Returns
+
+`boolean`
+
+#### Inherited from
+
+[`Option`](Option.md).[`isSome`](Option.md#issome)
+
+#### Source
+
+[enum/prelude.ts:54](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L54)
+
+***
+
+### isSomeAnd()
+
+```ts
+isSomeAnd(predicate): boolean
+```
+
+Returns `true` if the Option is a `Some` value and the predicate returns `true` for the contained value.
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `predicate` | (`value`) => `boolean` | A function that takes the contained value and returns a boolean. |
+
+#### Returns
+
+`boolean`
+
+#### Inherited from
+
+[`Option`](Option.md).[`isSomeAnd`](Option.md#issomeand)
+
+#### Source
+
+[enum/prelude.ts:65](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L65)
+
+***
+
+### map()
+
+```ts
+map<U>(fn): None
+```
+
+Maps an `Option<T>` to `Option<U>` by applying a function to a contained value.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value returned by the map function. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `fn` | (`value`) => `U` | A function that takes the contained value and returns a new value. |
+
+#### Returns
+
+[`None`](None.md)
+
+#### Overrides
+
+[`Option`](Option.md).[`map`](Option.md#map)
+
+#### Source
+
+[enum/prelude.ts:302](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L302)
+
+***
+
+### mapOr()
+
+```ts
+mapOr<U>(defaultValue, fn): U
+```
+
+Maps an `Option<T>` to `U` by applying a function to the contained value (if any), or returns the provided default (if not).
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value returned by the map function or the default value. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `defaultValue` | `U` | The value to return if the Option is `None`. |
+| `fn` | (`value`) => `U` | A function that takes the contained value and returns a new value. |
+
+#### Returns
+
+`U`
+
+#### Inherited from
+
+[`Option`](Option.md).[`mapOr`](Option.md#mapor)
+
+#### Source
+
+[enum/prelude.ts:163](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L163)
+
+***
+
+### mapOrElse()
+
+```ts
+mapOrElse<U>(defaultFn, fn): U
+```
+
+Maps an `Option<T>` to `U` by applying a function to a contained value (if any), or computes a default (if not).
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value returned by the map function or the default function. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `defaultFn` | () => `U` | A function that returns the default value. |
+| `fn` | (`value`) => `U` | A function that takes the contained value and returns a new value. |
+
+#### Returns
+
+`U`
+
+#### Inherited from
+
+[`Option`](Option.md).[`mapOrElse`](Option.md#maporelse)
+
+#### Source
+
+[enum/prelude.ts:171](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L171)
+
+***
+
+### okOr()
+
+```ts
+okOr<E>(error): Result<never, E>
+```
+
+Transforms the `Option<T>` into a `Result<T, E>`, mapping `Some(v)` to `Ok(v)` and `None` to `Err(err)`.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `E` | The type of the error value in the `Err` variant of the resulting `Result`. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `error` | `E` | The error value to use if the Option is a `None`. |
+
+#### Returns
+
+[`Result`](Result.md)\<`never`, `E`\>
+
+#### Inherited from
+
+[`Option`](Option.md).[`okOr`](Option.md#okor)
+
+#### Source
+
+[enum/prelude.ts:113](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L113)
+
+***
+
+### okOrElse()
+
+```ts
+okOrElse<E>(err): Result<never, E>
+```
+
+Transforms the `Option<T>` into a `Result<T, E>`, mapping `Some(v)` to `Ok(v)` and `None` to `Err(err())`.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `E` | The type of the error value in the `Err` variant of the resulting `Result`. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `err` | () => `E` | A function that returns the error value. |
+
+#### Returns
+
+[`Result`](Result.md)\<`never`, `E`\>
+
+#### Inherited from
+
+[`Option`](Option.md).[`okOrElse`](Option.md#okorelse)
+
+#### Source
+
+[enum/prelude.ts:120](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L120)
+
+***
+
+### or()
+
+```ts
+or<T>(other): Option<T>
+```
+
+Returns the Option if it contains a value, otherwise returns `other`.
+This can be used for providing a fallback `Option`.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`T`\> | The fallback `Option` to use if `this` is `None`. |
+
+#### Returns
+
+[`Option`](Option.md)\<`T`\>
+
+`this` if it is `Some`, otherwise `other`.
+
+#### Overrides
+
+[`Option`](Option.md).[`or`](Option.md#or)
+
+#### Source
+
+[enum/prelude.ts:310](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L310)
+
+***
+
+### orElse()
+
+```ts
+orElse<T>(fn): Option<T>
+```
+
+Returns the Option if it contains a value, otherwise calls `fn` and returns the result.
+This method can be used for lazy fallbacks, as `fn` is only evaluated if `this` is `None`.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `fn` | () => [`Option`](Option.md)\<`T`\> | A function that produces an `Option`. |
+
+#### Returns
+
+[`Option`](Option.md)\<`T`\>
+
+`this` if it is `Some`, otherwise the result of `fn`.
+
+#### Overrides
+
+[`Option`](Option.md).[`orElse`](Option.md#orelse)
+
+#### Source
+
+[enum/prelude.ts:311](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L311)
+
+***
+
+### transpose()
+
+```ts
+transpose(): Result<None, never>
+```
+
+Transposes an `Option` of a `Result` into a `Result` of an `Option`.
+
+#### Returns
+
+[`Result`](Result.md)\<[`None`](None.md), `never`\>
+
+`Ok` containing `Some` if the Option is a `Some` containing `Ok`,
+         `Err` containing the error if the Option is a `Some` containing `Err`,
+         `Ok` containing `None` if the Option is `None`.
+
+#### Overrides
+
+[`Option`](Option.md).[`transpose`](Option.md#transpose)
+
+#### Source
+
+[enum/prelude.ts:298](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L298)
+
+***
+
+### unwrap()
+
+```ts
+unwrap(): never
+```
+
+Returns the contained `Some` value.
+
+#### Returns
+
+`never`
+
+#### Inherited from
+
+[`Option`](Option.md).[`unwrap`](Option.md#unwrap)
+
+#### Throws
+
+Throws an error if the value is a `None`.
+
+#### Source
+
+[enum/prelude.ts:86](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L86)
+
+***
+
+### unwrapOr()
+
+```ts
+unwrapOr<T>(defaultValue): T
+```
+
+Returns the contained `Some` value or a provided default.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `defaultValue` | `T` | The value to return if the Option is a `None`. |
+
+#### Returns
+
+`T`
+
+#### Overrides
+
+[`Option`](Option.md).[`unwrapOr`](Option.md#unwrapor)
+
+#### Source
+
+[enum/prelude.ts:295](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L295)
+
+***
+
+### unwrapOrElse()
+
+```ts
+unwrapOrElse<T>(fn): T
+```
+
+Returns the contained `Some` value or computes it from a closure.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `fn` | () => `T` | A function that returns the default value. |
+
+#### Returns
+
+`T`
+
+#### Overrides
+
+[`Option`](Option.md).[`unwrapOrElse`](Option.md#unwraporelse)
+
+#### Source
+
+[enum/prelude.ts:296](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L296)
+
+***
+
+### unzip()
+
+```ts
+unzip(): [None, None]
+```
+
+Converts from `Option<[T, U]>` to `[Option<T>, Option<U>]`.
+If `this` is `Some([a, b])`, returns `[Some(a), Some(b)]`.
+If `this` is `None`, returns `[None, None]`.
+
+#### Returns
+
+[[`None`](None.md), [`None`](None.md)]
+
+A tuple of `Options`, one for each element in the original `Option` of a tuple.
+
+#### Overrides
+
+[`Option`](Option.md).[`unzip`](Option.md#unzip)
+
+#### Source
+
+[enum/prelude.ts:306](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L306)
+
+***
+
+### xor()
+
+```ts
+xor<T>(other): Option<T>
+```
+
+Returns `Some` if exactly one of `this`, `other` is `Some`, otherwise returns `None`.
+This can be thought of as an exclusive or operation on `Option` values.
+
+#### Type parameters
+
+| Type parameter |
+| :------ |
+| `T` |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`T`\> | The other `Option` to compare with. |
+
+#### Returns
+
+[`Option`](Option.md)\<`T`\>
+
+`Some` if exactly one of `this` and `other` is `Some`, otherwise `None`.
+
+#### Overrides
+
+[`Option`](Option.md).[`xor`](Option.md#xor)
+
+#### Source
+
+[enum/prelude.ts:312](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L312)
+
+***
+
+### zip()
+
+```ts
+zip<U>(other): None
+```
+
+Combines `this` with another `Option` by zipping their contained values.
+If `this` is `Some(s)` and `other` is `Some(o)`, returns `Some([s, o])`.
+If either `this` or `other` is `None`, returns `None`.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value in the other `Option`. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`U`\> | The other `Option` to zip with. |
+
+#### Returns
+
+[`None`](None.md)
+
+An `Option` containing a tuple of the values if both are `Some`, otherwise `None`.
+
+#### Overrides
+
+[`Option`](Option.md).[`zip`](Option.md#zip)
+
+#### Source
+
+[enum/prelude.ts:304](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L304)
+
+***
+
+### zipWith()
+
+```ts
+zipWith<U, R>(other, fn): None
+```
+
+Zips `this` with another `Option` using a provided function to combine their contained values.
+If `this` is `Some(s)` and `other` is `Some(o)`, returns `Some(fn(s, o))`.
+If either `this` or `other` is `None`, returns `None`.
+
+#### Type parameters
+
+| Type parameter | Description |
+| :------ | :------ |
+| `U` | The type of the value in the other `Option`. |
+| `R` | The return type of the combining function. |
+
+#### Parameters
+
+| Parameter | Type | Description |
+| :------ | :------ | :------ |
+| `other` | [`Option`](Option.md)\<`U`\> | The other `Option` to zip with. |
+| `fn` | (`value`, `otherValue`) => `R` | The function to combine the values from both `Options`. |
+
+#### Returns
+
+[`None`](None.md)
+
+An `Option` containing the result of `fn` if both `Options` are `Some`, otherwise `None`.
+
+#### Overrides
+
+[`Option`](Option.md).[`zipWith`](Option.md#zipwith)
+
+#### Source
+
+[enum/prelude.ts:305](https://github.com/JiangJie/happy-rusty/blob/15ed105e08c6cc3943e22243c9386336a521d83e/src/enum/prelude.ts#L305)