fix: refactor validation methods and constraints

Author: jedwards1211

.eslintrc

@@ -4,6 +4,7 @@
     "eslint-config-prettier"
   ],
   "rules": {
-    "@typescript-eslint/no-explicit-any": 0
+    "@typescript-eslint/no-explicit-any": 0,
+    "@typescript-eslint/no-use-before-define": 0
   }
 }

package.json

@@ -128,8 +128,7 @@
     "typescript": "^3.7.2"
   },
   "dependencies": {
-    "@babel/runtime": "^7.1.5",
-    "typelevel-ts": "^0.4.0"
+    "@babel/runtime": "^7.1.5"
   },
   "renovate": {
     "extends": [

src/Validation.ts

@@ -11,7 +11,7 @@ export default class Validation<T> {
 
   path: string[] = []
 
-  prefix: string = ''
+  prefix = ''
 
   errors: ErrorTuple[] = []
 
@@ -31,7 +31,7 @@ export default class Validation<T> {
     }
   }
 
-  startCycle(type: Type<any>, input: any) {
+  startCycle(type: Type<any>, input: any): void {
     let tracked = this.cyclic.get(type)
     if (!tracked) {
       tracked = new WeakSet()
@@ -40,7 +40,7 @@ export default class Validation<T> {
     weakSetAdd(tracked, input)
   }
 
-  endCycle(type: Type<any>, input: any) {
+  endCycle(type: Type<any>, input: any): void {
     const tracked = this.cyclic.get(type)
     if (tracked) {
       weakSetDelete(tracked, input)