refactor: type + constructors refactor

1 files changed, 14 insertions, 14 deletions

diff --git a/src/types.ts b/src/types.ts
index 07e6e8a..d30413d 100644
--- a/src/types.ts
+++ b/src/types.ts
@@ -1,27 +1,27 @@
 import {Option} from "fp-ts/lib/Option"
 import { constructors, Union } from "./utils"
 
-type ExprT = {
-  Start: null,
-  End: null,
+type _ = never
+
+export type Expr = Union<{
+  Start: _,
+  End: _,
   Optional: { expr: Expr },
   OneOrMore: { expr: Expr },
   ZeroOrMore: { expr: Expr },
-  NextItem: null,
-  AnyItem: null,
+  NextItem: _,
+  AnyItem: _,
   Or: { left: Expr, right: Expr[] },
-  AnyString: null,
-  AnyNumber: null,
-  AnyBool: null,
-  Truthy: null,
-  Falsey: null,
+  AnyString: _,
+  AnyNumber: _,
+  AnyBool: _,
+  Truthy: _,
+  Falsey: _,
   Group: { exprs: Expr[] },
   PropertyMatch: { name: string, exprs: Expr[] },
-}
-
-export type Expr = Union<ExprT>
+}>
 
-export const Expr = constructors<ExprT>()
+export const Expr = constructors<Expr>()
 
 export type ListExpr = [
   Option<Expr>,