-
Notifications
You must be signed in to change notification settings - Fork 3
/
AttoparsecSpec.hs
45 lines (35 loc) · 1.14 KB
/
AttoparsecSpec.hs
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
{-# LANGUAGE OverloadedStrings #-}
module Test.Hspec.AttoparsecSpec where
import Control.Applicative
import Data.Attoparsec.Text
import Data.Text
import Test.Hspec
import Test.Hspec.Attoparsec
main :: IO ()
main = hspec spec
spec :: Spec
spec = do
describe "shouldParse" $
it "works on: \"x\" ~> char 'x'" $
("x" :: Text) ~> char 'x'
`shouldParse` 'x'
describe "parseSatisfies" $ do
it "works on: \"x\" and (=='x')" $
("x" :: Text) ~> char 'x'
`parseSatisfies` (=='x')
it "\">>>\" satisfies length == 3 when parser as a list of char" $
(">>>" :: Text) ~> many (char '>')
`parseSatisfies` ((==3) . Prelude.length)
describe "shouldFailOn" $
it "char 'x' fails on \"ha\"" $
char 'x' `shouldFailOn` ("ha" :: Text)
describe "shouldSucceedOn" $
it "char 'x' succeeds on \"x\"" $
char 'x' `shouldSucceedOn` ("x" :: Text)
describe "leavesUnconsumed" $ do
it "works on \"xa\" ~?> char 'x'" $
("xa" :: Text) ~?> char 'x'
`leavesUnconsumed` "a"
it "char 'x' leaves nothing unconsumed on \"x\"" $
("x" :: Text) ~?> char 'x'
`leavesUnconsumed` ""