From 845d503bb16cb5046a4fec6d046b7b527a080187 Mon Sep 17 00:00:00 2001 From: Akshay Nair Date: Fri, 11 Aug 2023 21:40:54 +0530 Subject: chore: adds prettier --- src/utils/adt.ts | 17 ++-- src/utils/parser-comb.ts | 199 ++++++++++++++++++++++++++++------------------- src/utils/result.ts | 18 +++-- 3 files changed, 139 insertions(+), 95 deletions(-) (limited to 'src/utils') diff --git a/src/utils/adt.ts b/src/utils/adt.ts index 78ab667..45d9e50 100644 --- a/src/utils/adt.ts +++ b/src/utils/adt.ts @@ -1,14 +1,18 @@ type TagValue = T extends Tag ? V : never -export const match = - >(tag: T, pattern: { +export const match = >( + tag: T, + pattern: { [key in T['tag'] | '_']?: (v: TagValue) => R - }): R => ((pattern as any)[tag.tag] || (pattern._ as any))(tag.value) + }, +): R => ((pattern as any)[tag.tag] || (pattern._ as any))(tag.value) -export const matchString = - (key: T, pattern: { +export const matchString = ( + key: T, + pattern: { [key in T | '_']?: (key: key) => R - }): R => ((pattern as any)[key] || (pattern._ as any))(key) + }, +): R => ((pattern as any)[key] || (pattern._ as any))(key) type Tag = { tag: N; value: V } export type Enum = { [N in keyof T]: Tag }[keyof T] @@ -26,4 +30,3 @@ export const constructors = >(): { }, }, ) as any - diff --git a/src/utils/parser-comb.ts b/src/utils/parser-comb.ts index f682068..3f171b8 100644 --- a/src/utils/parser-comb.ts +++ b/src/utils/parser-comb.ts @@ -1,83 +1,120 @@ -import { match } from './adt'; -import { Result, mapResult, chainResult } from './result'; - -export type ParseResult = Result<{ value: T, input: string }, { error: string, input: string }>; - -export type Parser = (input: string) => ParseResult; - -export const regex = (re: RegExp): Parser => input => { - if (input.length === 0) return Result.Err({ error: 'fuckedinput', input }) - const res = input.match(re) - if (!res) return Result.Err({ error: 'fucked', input }); - return Result.Ok({ value: res[0], input: input.replace(re, '') }); -} - -export const string = (str: string): Parser => input => { - if (input.length === 0) return Result.Err({ error: 'fuckedinput', input }) - if (!input.startsWith(str)) return Result.Err({ error: 'fuckedstring', input }) - return Result.Ok({ value: str, input: input.slice(str.length) }); -} - -export const or = ([parser, ...rest]: Array>): Parser => input => { - if (rest.length === 0) return parser(input); - const result = parser(input) - return match(result, { - Ok: () => result, - Err: (_) => or(rest)(input), - }); -} - -export const mapParseResult = (parser: Parser, fn: (_: { value: T, input: string }) => { value: R, input: string }): Parser => input => - mapResult(parser(input), fn) +import { match } from './adt' +import { Result, mapResult, chainResult } from './result' + +export type ParseResult = Result< + { value: T; input: string }, + { error: string; input: string } +> + +export type Parser = (input: string) => ParseResult + +export const regex = + (re: RegExp): Parser => + input => { + if (input.length === 0) return Result.Err({ error: 'fuckedinput', input }) + const res = input.match(re) + if (!res) return Result.Err({ error: 'fucked', input }) + return Result.Ok({ value: res[0], input: input.replace(re, '') }) + } + +export const string = + (str: string): Parser => + input => { + if (input.length === 0) return Result.Err({ error: 'fuckedinput', input }) + if (!input.startsWith(str)) + return Result.Err({ error: 'fuckedstring', input }) + return Result.Ok({ value: str, input: input.slice(str.length) }) + } + +export const or = + ([parser, ...rest]: Array>): Parser => + input => { + if (rest.length === 0) return parser(input) + const result = parser(input) + return match(result, { + Ok: () => result, + Err: _ => or(rest)(input), + }) + } + +export const mapParseResult = + ( + parser: Parser, + fn: (_: { value: T; input: string }) => { value: R; input: string }, + ): Parser => + input => + mapResult(parser(input), fn) export const map = (parser: Parser, fn: (_: T) => R): Parser => - mapParseResult(parser, ({ value, ...rest }) => ({ ...rest, value: fn(value) })); - -export const zip2 = (parserA: Parser, parserB: Parser): Parser => input => { - // TODO: refactor please. shit code - const resa: Result<{ value: A, input: string }, { error: string, input: string }> = parserA(input); - return chainResult(resa, ({ value: a, input: inputB }) => { - const res: Result<{ value: readonly [A, B], input: string }, { error: string, input: string }> = - map(parserB, (b) => [a, b] as const)(inputB) - return res - }) -} - -export const prefixed = (parserPrefix: Parser, parser: Parser): Parser => - map(zip2(parserPrefix, parser), ([_, a]) => a); - -export const suffixed = (parser: Parser, parserSuffix: Parser): Parser => - map(zip2(parser, parserSuffix), ([a, _]) => a); - -export const between = (prefix: Parser, parser: Parser, suffix: Parser): Parser => - suffixed(prefixed(prefix, parser), suffix) - -export const many0 = (parser: Parser): Parser> => originalInput => - match(parser(originalInput), { - Ok: ({ value, input }) => map(many0(parser), ls => [value, ...ls])(input), - Err: ({ input }) => Result.Ok({ value: [], input }), - }) - -export const many1 = (parser: Parser): Parser> => originalInput => - match(parser(originalInput), { - Ok: ({ value, input }) => map(many0(parser), ls => [value, ...ls])(input), - Err: err => Result.Err(err), - }) - -export const sepBy = (parser: Parser, sepP: Parser): Parser> => originalInput => - match(parser(originalInput), { - Ok: ({ value, input }) => map( - many0(prefixed(sepP, parser)), - ls => [value, ...ls] - )(input), - Err: _ => Result.Ok({ value: [], input: originalInput }), - }) - -export const optional = (parser: Parser): Parser => input => { - const result = parser(input) - return match(result, { - Ok: _ => result, - Err: _ => Result.Ok({ value: undefined, input }) - }) -} - + mapParseResult(parser, ({ value, ...rest }) => ({ + ...rest, + value: fn(value), + })) + +export const zip2 = + (parserA: Parser, parserB: Parser): Parser => + input => { + // TODO: refactor please. shit code + const resa: Result< + { value: A; input: string }, + { error: string; input: string } + > = parserA(input) + return chainResult(resa, ({ value: a, input: inputB }) => { + const res: Result< + { value: readonly [A, B]; input: string }, + { error: string; input: string } + > = map(parserB, b => [a, b] as const)(inputB) + return res + }) + } + +export const prefixed = ( + parserPrefix: Parser, + parser: Parser, +): Parser => map(zip2(parserPrefix, parser), ([_, a]) => a) + +export const suffixed = ( + parser: Parser, + parserSuffix: Parser, +): Parser => map(zip2(parser, parserSuffix), ([a, _]) => a) + +export const between = ( + prefix: Parser, + parser: Parser, + suffix: Parser, +): Parser => suffixed(prefixed(prefix, parser), suffix) + +export const many0 = + (parser: Parser): Parser> => + originalInput => + match(parser(originalInput), { + Ok: ({ value, input }) => map(many0(parser), ls => [value, ...ls])(input), + Err: ({ input }) => Result.Ok({ value: [], input }), + }) + +export const many1 = + (parser: Parser): Parser> => + originalInput => + match(parser(originalInput), { + Ok: ({ value, input }) => map(many0(parser), ls => [value, ...ls])(input), + Err: err => Result.Err(err), + }) + +export const sepBy = + (parser: Parser, sepP: Parser): Parser> => + originalInput => + match(parser(originalInput), { + Ok: ({ value, input }) => + map(many0(prefixed(sepP, parser)), ls => [value, ...ls])(input), + Err: _ => Result.Ok({ value: [], input: originalInput }), + }) + +export const optional = + (parser: Parser): Parser => + input => { + const result = parser(input) + return match(result, { + Ok: _ => result, + Err: _ => Result.Ok({ value: undefined, input }), + }) + } diff --git a/src/utils/result.ts b/src/utils/result.ts index c0120b8..39a7fe6 100644 --- a/src/utils/result.ts +++ b/src/utils/result.ts @@ -1,14 +1,18 @@ -import { Enum, constructors, match } from "./adt"; +import { Enum, constructors, match } from './adt' -export type Result = Enum<{ Ok: V, Err: E }> +export type Result = Enum<{ Ok: V; Err: E }> export const Result = constructors>() -export const mapResult = (res: Result, fn: (_: A) => B): Result => - chainResult(res, a => Result.Ok(fn(a))) +export const mapResult = ( + res: Result, + fn: (_: A) => B, +): Result => chainResult(res, a => Result.Ok(fn(a))) -export const chainResult = (res: Result, fn: (_: A) => Result): Result => +export const chainResult = ( + res: Result, + fn: (_: A) => Result, +): Result => match(res, { Ok: a => fn(a), Err: e => Result.Err(e), - }); - + }) -- cgit v1.3.1