2019-05-24 10:48:09 +02:00
|
|
|
{-# LANGUAGE OverloadedStrings #-}
|
2019-05-16 17:04:45 +02:00
|
|
|
module PDF.EOL (
|
|
|
|
Style(..)
|
|
|
|
, charset
|
|
|
|
, parser
|
|
|
|
) where
|
|
|
|
|
2019-05-24 10:48:09 +02:00
|
|
|
import Control.Applicative ((<|>))
|
|
|
|
import PDF.Parser (Parser, string)
|
2019-05-16 17:04:45 +02:00
|
|
|
|
2019-05-16 22:41:14 +02:00
|
|
|
data Style = CR | LF | CRLF deriving Show
|
2019-05-16 17:04:45 +02:00
|
|
|
|
|
|
|
charset :: String
|
|
|
|
charset = "\r\n"
|
|
|
|
|
2019-05-24 10:48:09 +02:00
|
|
|
parser :: Parser s Style
|
2019-05-16 17:04:45 +02:00
|
|
|
parser =
|
2019-05-24 10:48:09 +02:00
|
|
|
(string "\r\n" >> return CRLF)
|
2019-05-16 17:04:45 +02:00
|
|
|
<|> (string "\r" >> return CR)
|
|
|
|
<|> (string "\n" >> return LF)
|