2023-07-27 14:31:52 +09:00
|
|
|
/*
|
|
|
|
* SPDX-FileCopyrightText: syuilo and other misskey contributors
|
|
|
|
* SPDX-License-Identifier: AGPL-3.0-only
|
|
|
|
*/
|
|
|
|
|
2019-04-14 17:18:17 +09:00
|
|
|
export interface IMaybe<T> {
|
|
|
|
isJust(): this is IJust<T>;
|
2019-02-06 13:42:35 +09:00
|
|
|
}
|
|
|
|
|
2019-04-14 17:18:17 +09:00
|
|
|
export interface IJust<T> extends IMaybe<T> {
|
|
|
|
get(): T;
|
|
|
|
}
|
2019-02-06 13:42:35 +09:00
|
|
|
|
2019-04-14 17:18:17 +09:00
|
|
|
export function just<T>(value: T): IJust<T> {
|
2019-02-06 13:42:35 +09:00
|
|
|
return {
|
|
|
|
isJust: () => true,
|
2021-12-09 23:58:30 +09:00
|
|
|
get: () => value,
|
2019-02-06 13:42:35 +09:00
|
|
|
};
|
|
|
|
}
|
|
|
|
|
2019-04-14 17:18:17 +09:00
|
|
|
export function nothing<T>(): IMaybe<T> {
|
2019-02-06 13:42:35 +09:00
|
|
|
return {
|
|
|
|
isJust: () => false,
|
|
|
|
};
|
|
|
|
}
|