Merge pull request #5 from mkantor/nuke-transform-output-combinator

Remove `transformOutput` combinator

Author: mkantor

src/combinators.ts

@@ -1,8 +1,7 @@
-import type { Either, Right } from '@matt.kantor/either'
+import type { Right } from '@matt.kantor/either'
 import * as either from '@matt.kantor/either'
 import { nothing } from './constructors.js'
 import type {
-  InvalidInputError,
   Parser,
   ParserResult,
   ParserWhichAlwaysSucceeds,
@@ -187,21 +186,6 @@ type SequenceOutput<Parsers extends readonly Parser<unknown>[]> = {
   [Index in keyof Parsers]: OutputOf<Parsers[Index]>
 }
 
-/**
- * Refine/transform the output of `parser` via a function which may fail.
- */
-export const transformOutput = <Output, NewOutput>(
-  parser: Parser<Output>,
-  f: (output: Output) => Either<InvalidInputError, NewOutput>,
-): Parser<NewOutput> => {
-  const transformation = (success: Success<Output>) =>
-    either.map(f(success.output), output => ({
-      output,
-      remainingInput: success.remainingInput,
-    }))
-  return input => either.flatMap(parser(input), transformation)
-}
-
 /**
  * Repeatedly apply `parser` to the input as long as it keeps succeeding.
  * Outputs are collected in an array.

src/parsing.test.ts

@@ -11,7 +11,6 @@ import {
   oneOf,
   oneOrMore,
   sequence,
-  transformOutput,
   zeroOrMore,
 } from './combinators.js'
 import {
@@ -131,21 +130,6 @@ suite('combinators', _ => {
     assertFailure(ab('bab'))
   })
 
-  test('transformOutput', _ => {
-    const aTransformedToUppercase = transformOutput(literal('a'), a =>
-      either.makeRight(a.toUpperCase()),
-    )
-    assertSuccess(aTransformedToUppercase('a'), 'A')
-    assertSuccess(aTransformedToUppercase('ab'), 'A')
-    assertFailure(aTransformedToUppercase('b'))
-    assertFailure(aTransformedToUppercase(''))
-    assertFailure(
-      transformOutput(anySingleCharacter, _ =>
-        either.makeLeft({ kind: 'invalidInput', input: '', message: '' }),
-      )(''),
-    )
-  })
-
   test('zeroOrMore', _ => {
     const zeroOrMoreA = zeroOrMore(literal('a'))
     assertSuccess(zeroOrMoreA('a'), ['a'])