--
-- Hspec Megaparsec tests.
--
-- Copyright © 2016 Mark Karpov
--
-- Redistribution and use in source and binary forms, with or without
-- modification, are permitted provided that the following conditions are
-- met:
--
-- * Redistributions of source code must retain the above copyright notice,
-- this list of conditions and the following disclaimer.
--
-- * Redistributions in binary form must reproduce the above copyright
-- notice, this list of conditions and the following disclaimer in the
-- documentation and/or other materials provided with the distribution.
--
-- * Neither the name Mark Karpov nor the names of contributors may be used
-- to endorse or promote products derived from this software without
-- specific prior written permission.
--
-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS “AS IS” AND ANY
-- EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
-- WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
-- DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDERS BE LIABLE FOR ANY
-- DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
-- DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
-- OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
-- HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,
-- STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
-- ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
-- POSSIBILITY OF SUCH DAMAGE.
{-# LANGUAGE CPP #-}
module Main (main) where
import Test.Hspec
import Test.Hspec.Megaparsec
import Text.Megaparsec
import Text.Megaparsec.Error (newErrorMessages)
import Text.Megaparsec.Pos (initialPos)
#if !MIN_VERSION_base(4,8,0)
import Control.Applicative ((<*))
#endif
-- | Toy tests, just an example of usage.
main :: IO ()
main = hspec $ do
describe "shouldParse" $
it "works" $
parse letterChar "" "x" `shouldParse` 'x'
describe "parseSatisfies" $
it "works" $
parse (many punctuationChar) "" "?!!" `parseSatisfies` ((== 3) . length)
describe "shouldFailOn" $
it "works" $
parse (char 'x') "" `shouldFailOn` "a"
describe "shouldSucceedOn" $
it "works" $
parse (char 'x') "" `shouldSucceedOn` "x"
describe "shouldFailWith" $
it "works" $
parse (char 'x') "" "b" `shouldFailWith`
newErrorMessages [Unexpected "'b'", Expected "'x'"] (initialPos "")
describe "failsLeaving" $
it "works" $
runParser' (many (char 'x') <* eof) (initialState "xxa")
`failsLeaving` "xxa"
describe "succeedsLeaving" $
it "works" $
runParser' (many (char 'x')) (initialState "xxa")
`succeedsLeaving` "a"