From 8ef91f03fac2bad20fb927fe2ca2782c66fdb513 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Thu, 6 Jan 2022 23:41:32 +0530
Subject: feat: adds more parser combinators

---
 src/parser.ts | 24 +++++++++++++++++++++++-
 1 file changed, 23 insertions(+), 1 deletion(-)

(limited to 'src/parser.ts')

diff --git a/src/parser.ts b/src/parser.ts
index f8dcd44..5ccba43 100644
--- a/src/parser.ts
+++ b/src/parser.ts
@@ -1,5 +1,6 @@
 import { flow, pipe } from 'fp-ts/function'
-import { Either, left, right, map, chain, orElse } from 'fp-ts/Either'
+import { Either, left, right, map, chain, orElse, fold } from 'fp-ts/Either'
+import { none, some, Option } from 'fp-ts/lib/Option'
 
 export type char = string
 
@@ -117,3 +118,24 @@ export const mapTo = <I, R>(p: Parser<I>, f: (p: I) => R): Parser<R> =>
     p,
     map(([v, inp]) => [f(v), inp])
   )
+
+export const andThen = <I, R>(f: (p: I) => Parser<R>) => (p: Parser<I>): Parser<R> =>
+  flow(
+    p,
+    chain(([v, inp]) => f(v)(inp)),
+  )
+
+export const optional = <T>(p: Parser<T>): Parser<Option<T>> =>
+  flow(
+    p,
+    fold(
+      ([_, inp]) => right([none, inp]),
+      ([v, inp]) => right([some(v), inp])
+    )
+  )
+
+export const pair = <A, B>(a: Parser<A>, b: Parser<B>): Parser<[A, B]> => pipe(
+  a,
+  andThen(ra => mapTo(b, rb => [ra, rb]))
+)
+
-- 
cgit v1.3.1