Fix type accessors (#38)

* few comments

* rework the types (fixes 34)

* add package.json to .prettierignore and fix package.json layout changes

* remove package.json from .ptettierignore

* remove last line from .ptettierignore

.prettierignore

@@ -1,4 +1,4 @@
 lib
 coverage
 package.json
-README.md
+README.md

package.json

@@ -9,7 +9,8 @@
   "types": "./lib/index.d.ts",
   "scripts": {
     "build": "tsc --pretty",
-    "format": "prettier $([ \"$CI\" == true ] && echo --list-different || echo --write) './**/*.{ts,tsx,js,json,css}'",
+    "format":
+      "prettier $([ \"$CI\" == true ] && echo --list-different || echo --write) './**/*.{ts,tsx,js,json,css}'",
     "test": "jest --no-cache --verbose --coverage",
     "test:watch": "jest --watch"
   },

src/index.spec.ts

@@ -1,4 +1,4 @@
-import { ofType, unionize } from '.';
+import { ofType, unionize, UnionOf, Unionized } from '.';
 
 describe('merged', () => {
   const Foo = unionize({
@@ -347,3 +347,14 @@ describe('transform without value prop', () => {
     expect(Data.transform({ str: strLen })(str)).toEqual(num);
   });
 });
+
+describe('type accessors', () => {
+  describe('unionOf', () => {
+    it('should be usable', () => {
+      const T = unionize({
+        foo: ofType<{ x: number }>(),
+      });
+      type ActionType = UnionOf<typeof T>;
+    });
+  });
+});

src/index.ts

@@ -1,16 +1,25 @@
-export type Unionized<Record, TaggedRecord, TagProp extends string> = {
+export type Unionized<Record, TaggedRecord, TagProp extends string> = UnionTypes<
+  Record,
+  TaggedRecord
+> &
+  Creators<Record, TaggedRecord, TagProp> &
+  UnionExtensions<Record, TaggedRecord>;
+
+export interface UnionTypes<Record, TaggedRecord> {
   _Tags: keyof TaggedRecord;
   _Record: Record;
   _Union: TaggedRecord[keyof TaggedRecord];
+}
+export interface UnionExtensions<Record, TaggedRecord> {
   is: Predicates<TaggedRecord>;
   as: Casts<Record, TaggedRecord[keyof TaggedRecord]>;
   match: Match<Record, TaggedRecord[keyof TaggedRecord]>;
   transform: Transform<Record, TaggedRecord[keyof TaggedRecord]>;
-} & Creators<Record, TaggedRecord, TagProp>;
+}
 
-export type TagsOf<U extends Unionized<any, any, any>> = U['_Tags'];
-export type RecordOf<U extends Unionized<any, any, any>> = U['_Record'];
-export type UnionOf<U extends Unionized<any, any, any>> = U['_Union'];
+export type TagsOf<U extends UnionTypes<any, any>> = U['_Tags'];
+export type RecordOf<U extends UnionTypes<any, any>> = U['_Record'];
+export type UnionOf<U extends UnionTypes<any, any>> = U['_Union'];
 
 export type Creators<Record, TaggedRecord, TagProp extends string> = {
   [T in keyof Record]: {} extends UnTagged<Record[T], TagProp>