refactor: move core features from @parser into @core

src/__tests__/@helpers/index.ts

@@ -66,6 +66,8 @@ export function testSuccess<T, P extends Parser<unknown>>(input: string, value:
   should.matchState(actual, expected)
 }
 
+export const expectedCore = ['run', 'tryRun'] as const
+
 export const expectedCombinators = [
   'attempt',
   'chainl',
@@ -104,9 +106,7 @@ export const expectedParsers = [
   'oneOf',
   'regexp',
   'rest',
-  'run',
   'string',
-  'tryRun',
   'ustring',
   'whitespace',
   'whole'

src/__tests__/core.spec-d.ts

@@ -0,0 +1,33 @@
+import * as p from '@parsers'
+import { describe, expectTypeOf, it } from '@testing'
+import { Result, Success } from '@types'
+
+describe('run', () => {
+  const { run } = p
+
+  it('run should have correct inferred signature', () => {
+    expectTypeOf<typeof run>().returns.toMatchTypeOf<{ with: (input: string) => Result<unknown> }>()
+    expectTypeOf<typeof run<string>>().returns.toMatchTypeOf<{
+      with: (input: string) => Result<string>
+    }>()
+    expectTypeOf<typeof run<string>>().returns.not.toMatchTypeOf<{
+      with: (input: string) => Result<number>
+    }>()
+  })
+})
+
+describe('tryRun', () => {
+  const { tryRun } = p
+
+  it('tryRun should have correct inferred signature', () => {
+    expectTypeOf<typeof tryRun>().returns.toMatchTypeOf<{
+      with: (input: string) => Success<unknown>
+    }>()
+    expectTypeOf<typeof tryRun<string>>().returns.toMatchTypeOf<{
+      with: (input: string) => Success<string>
+    }>()
+    expectTypeOf<typeof tryRun<string>>().returns.not.toMatchTypeOf<{
+      with: (input: string) => Success<number>
+    }>()
+  })
+})

src/__tests__/core.spec.ts

@@ -0,0 +1,8 @@
+import * as exposed from '@core'
+import { should, expectedCore, describe, it } from '@testing'
+
+describe('parsers exports', () => {
+  it('should expose parsers', () => {
+    should.expose(exposed, ...expectedCore)
+  })
+})

src/__tests__/index.spec.ts

@@ -1,7 +1,11 @@
 import * as exposed from '@lib'
-import { should, expectedParsers, expectedCombinators, describe, it } from '@testing'
+import { should, expectedCore, expectedParsers, expectedCombinators, describe, it } from '@testing'
 
 describe('index exports', () => {
+  it('should re-export core', () => {
+    should.expose(exposed, ...expectedCore)
+  })
+
   it('should re-export combinators', () => {
     should.expose(exposed, ...expectedCombinators)
   })

src/__tests__/parsers.spec-d.ts

@@ -1,6 +1,6 @@
 import * as p from '@parsers'
 import { describe, expectTypeOf, it } from '@testing'
-import { Parser, SucceedingParser, Result, Success } from '@types'
+import { Parser, SucceedingParser } from '@types'
 
 type UnknownParser = Parser<unknown>
 type NullParser = Parser<null>
@@ -154,20 +154,6 @@ describe('rest', () => {
   })
 })
 
-describe('run', () => {
-  const { run } = p
-
-  it('run should have correct inferred signature', () => {
-    expectTypeOf<typeof run>().returns.toMatchTypeOf<{ with: (input: string) => Result<unknown> }>()
-    expectTypeOf<typeof run<string>>().returns.toMatchTypeOf<{
-      with: (input: string) => Result<string>
-    }>()
-    expectTypeOf<typeof run<string>>().returns.not.toMatchTypeOf<{
-      with: (input: string) => Result<number>
-    }>()
-  })
-})
-
 describe('string', () => {
   const { string, ustring } = p
 
@@ -184,22 +170,6 @@ describe('string', () => {
   })
 })
 
-describe('tryRun', () => {
-  const { tryRun } = p
-
-  it('tryRun should have correct inferred signature', () => {
-    expectTypeOf<typeof tryRun>().returns.toMatchTypeOf<{
-      with: (input: string) => Success<unknown>
-    }>()
-    expectTypeOf<typeof tryRun<string>>().returns.toMatchTypeOf<{
-      with: (input: string) => Success<string>
-    }>()
-    expectTypeOf<typeof tryRun<string>>().returns.not.toMatchTypeOf<{
-      with: (input: string) => Success<number>
-    }>()
-  })
-})
-
 describe('whitespace', () => {
   const { whitespace } = p
 

src/core.ts

@@ -0,0 +1,2 @@
+export * from '@core/run'
+export * from '@core/tryRun'

src/parsers.ts

@@ -1,3 +1,4 @@
+export * from '@core' // TODO keep this here for BC? or move to a dedicated core export?
 export * from '@parsers/any'
 export * from '@parsers/defer'
 export * from '@parsers/eof'
@@ -9,7 +10,5 @@ export * from '@parsers/numbers'
 export * from '@parsers/oneOf'
 export * from '@parsers/regexp'
 export * from '@parsers/rest'
-export * from '@parsers/run'
-export * from '@parsers/tryRun'
 export * from '@parsers/string'
 export * from '@parsers/whitespace'

tsconfig.json

@@ -13,6 +13,8 @@
     "paths": {
       "@combinators": ["src/combinators"],
       "@combinators/*": ["src/combinators/*"],
+      "@core": ["src/core"],
+      "@core/*": ["src/core/*"],
       "@lib": ["src"],
       "@lib/*": ["src/*"],
       "@parsers": ["src/parsers"],