Documentation

Author: sinclairzx81

readme.md

@@ -84,7 +84,7 @@ License MIT
 
 ## Combinators
 
-ParseBox provides a set of combinators that map to notation expressable in BNF (Backus-Naur Form). These combinators are named Const, Tuple, Union, Array and Optional respectively to describe the produced type given by each combinator. These combinators service as building blocks for constructing parsers.
+ParseBox provides a set of combinators that map to notation expressible in (E)BNF (Backus-Naur Form). These combinators are named Const, Tuple, Union, Array, and Optional, respectively, to describe the types produced by each combinator. These combinators serve as building blocks for constructing parsers.
 
 ### Const
 
@@ -96,12 +96,6 @@ The Const combinator parses for the next occurrence of the specified string. Whi
 <T> ::= "X"
 ```
 
-**Type**
-
-```typescript
-type T = 'X'
-```
-
 **TypeScript**
 
 ```typescript
@@ -123,12 +117,6 @@ The Tuple parser matches a sequence of interior parsers. An empty tuple can be u
 <T> ::= "X" "Y" "Z"
 ```
 
-**Type**
-
-```typescript
-type T = ['X', 'Y', 'Z']
-```
-
 **TypeScript**
 
 ```typescript
@@ -155,12 +143,6 @@ The Union combinator parses using one of the interior parsers, attempting each i
 <T> ::= "X" | "Y" | "Z"
 ```
 
-**Type**
-
-```typescript
-type T = 'X' | 'Y' | 'Z'
-```
-
 **TypeScript**
 
 ```typescript
@@ -182,20 +164,14 @@ const R3 = Runtime.Parse(P, 'Z E')                  // const R3 = ['Z', ' E']
 
 ### Array
 
-The Array combinator will parse for zero or more the interior parser. This combinator will always return a result with an empty array for no matches.
+The Array combinator will parse for zero or more the interior parser. This combinator will always return a result with an empty array given for no matches.
 
 **EBNF**
 
 ```
 <T> ::= { "X" }
 ```
 
-**Type**
-
-```typescript
-type T = 'X'[]
-```
-
 **TypeScript**
 
 ```typescript
@@ -213,20 +189,14 @@ const R3 = Runtime.Parse(T, 'Y Z')                   // const R3 = [[], 'Y Z']
 
 ### Optional
 
-The Optional combinator will parse for zero or one of the interior parser. This combinator always succeeds, returning either a tuple with one element, or zero for no match.
+The Optional combinator will parse for zero or one of the interior parser. This combinator always succeeds, returning either a tuple with one element, or zero elements for no match.
 
 **EBNF**
 
 ```
 <T> ::= [ "X" ]
 ```
 
-**Type**
-
-```typescript
-type T = ['X'] | []
-```
-
 **TypeScript**
 
 ```typescript