feat: add TypeOf to schemable.ts

Additionally, remove the type cast for Category from prism.ts
nullpub · Oct 22, 2020 · b2599e7 · b2599e7
1 parent 723c876
commit b2599e7
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/prism.ts b/prism.ts
@@ -162,5 +162,5 @@ export const atKey = (key: string) =>
 
 export const Category: TC.Category<Prism<_0, _1>> = {
   compose: (ij, jk) => compose(jk)(ij),
-  id: id as <I, J>() => Prism<I, J>,
+  id,
 };
diff --git a/schemable.ts b/schemable.ts
@@ -182,6 +182,8 @@ export type Schema<A> = {
   <T, L extends 4, S, R, E>(S: Schemable<T, L>): $<T, [S, R, E, A]>;
 };
 
+export type TypeOf<T> = T extends Schema<infer A> ? A : never;
+
 /***************************************************************************************************
  * @section Utilities
  **************************************************************************************************/