aboutsummaryrefslogtreecommitdiff
path: root/tests/basic.spec.ts
blob: d443ce1bbf57d3e698d56c5a43e19b05164fa05b (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
import { left, right } from 'fp-ts/Either'
import {
  integer,
  whitespace,
  whitespaces0,
  delimited,
} from '../src/parser/utils'
import { parser } from '../src/parser'
import { some } from 'fp-ts/Option'
import { Expr } from '../src/types'

describe('Foobar', () => {
  it('should do shit', () => {
    expect(integer('12901')).toEqual(right([12901, '']))
    expect(integer('12901asas')).toEqual(right([12901, 'asas']))
    expect(whitespace(' ')).toEqual(right([' ', '']))
    expect(whitespace('\n')).toEqual(right(['\n', '']))
    expect(whitespace('a')).toEqual(left(['unable to match', 'a']))

    expect(delimited(whitespaces0, integer, whitespaces0)(' 20 ')).toEqual(
      right([20, ''])
    )
    expect(delimited(whitespaces0, integer, whitespaces0)(' 2 0 ')).toEqual(
      right([2, '0 '])
    )
  })

  it('should maybeshut', () => {
    expect(parser(/^ .\s(\n)\b  \T $/.source)).toEqual(
      right([
        [
          some(Expr.Start(null)),
          [
            Expr.AnyItem(null),
            Expr.AnyString(null),
            Expr.Group({ exprs: [Expr.AnyNumber(null)] }),
            Expr.AnyBool(null),
            Expr.Truthy(null),
          ],
          some(Expr.End(null)),
        ],
        '',
      ])
    )

    expect(parser(/^ \s* \T? \n+ $/.source)).toEqual(
      right([
        [
          some(Expr.Start(null)),
          [
            Expr.ZeroOrMore({ expr: Expr.AnyString(null) }),
            Expr.Optional({ expr: Expr.Truthy(null) }),
            Expr.OneOrMore({ expr: Expr.AnyNumber(null) }),
          ],
          some(Expr.End(null)),
        ],
        '',
      ])
    )
  })
})