@murky-web/typebuddy 0.1.0

package/src/types/maybe_promise.ts

@@ -0,0 +1,14 @@
+type ErrorState<T> = T extends null ? true : false;
+type Success<T> = {
+  isError: ErrorState<T>;
+  value: T;
+};
+
+type Failed<T extends null = null> = {
+  isError: ErrorState<T>;
+  value: T;
+};
+
+type MaybePromise<T> = Promise<Success<T> | Failed>;
+
+export type { Failed, MaybePromise, Success };

package/src/types/nullable.ts

@@ -0,0 +1,8 @@
+import type { Maybe } from "./maybe.js";
+import type { Optional } from "./optional.js";
+type Nullable<N> = Optional<N> | Maybe<N>;
+type ResolveNullable<T, R extends Nullable<T>> = R extends null | undefined
+  ? Nullable<T>
+  : T;
+
+export type { Nullable, ResolveNullable };

package/src/types/optional.ts

@@ -0,0 +1,15 @@
+type Optional<T> = T | undefined;
+
+type ResolveOptionalArray<T, R extends Optional<T>> = R extends undefined
+  ? Optional<T>
+  : T;
+
+type ResolveBasicOptional<T, R extends Optional<T>> = R extends undefined
+  ? Optional<T>
+  : T;
+
+type ResolveOptional<T, R extends Optional<T>> = T extends unknown[]
+  ? ResolveOptionalArray<T, R>
+  : ResolveBasicOptional<T, R>;
+
+export type { Optional, ResolveOptional };