-----------------------------------------------------------------------------
-- |
-- Module      :  Text.Parsec.ByteString
-- Copyright   :  (c) Paolo Martini 2007
-- License     :  BSD-style (see the LICENSE file)
-- 
-- Maintainer  :  derek.a.elkins@gmail.com
-- Stability   :  provisional
-- Portability :  portable
-- 
-- Convinience definitions for working with 'C.ByteString's.
--
-----------------------------------------------------------------------------

module Text.Parsec.ByteString
    ( Parser, GenParser, parseFromFile
    ) where

import Text.Parsec.Error
import Text.Parsec.Prim

import qualified Data.ByteString.Char8 as C

type Parser = Parsec C.ByteString ()
type GenParser t st = Parsec C.ByteString st

-- | @parseFromFile p filePath@ runs a strict bytestring parser @p@ on the
-- input read from @filePath@ using 'ByteString.Char8.readFile'. Returns either a 'ParseError'
-- ('Left') or a value of type @a@ ('Right').
--
-- >  main    = do{ result <- parseFromFile numbers "digits.txt"
-- >              ; case result of
-- >                  Left err  -> print err
-- >                  Right xs  -> print (sum xs)
-- >              }

parseFromFile :: Parser a -> String -> IO (Either ParseError a)
parseFromFile :: forall a. Parser a -> String -> IO (Either ParseError a)
parseFromFile Parser a
p String
fname
    = do ByteString
input <- String -> IO ByteString
C.readFile String
fname
         forall (m :: * -> *) a. Monad m => a -> m a
return (forall t s u a.
(Show t, Stream s Identity t) =>
Parsec s u a -> u -> String -> s -> Either ParseError a
runP Parser a
p () String
fname ByteString
input)