module Text.XFormat.Read (
Format(..),
readsf,
readf,
CharF(..),
IntF(..),
IntegerF(..),
FloatF(..),
DoubleF(..),
StringF(..),
ReadF(..),
NumF(..),
(:%:)(..),
(%),
WrapF(..),
MaybeF(..),
ChoiceF(..),
EitherF(..),
EitherLF(..),
SpaceF(..),
) where
import Control.Applicative ((<$>))
import Text.ParserCombinators.ReadP
import Text.Read.Lex (readDecP)
import Data.Char (isSpace)
class Format d a | d -> a where
readpf :: d -> ReadP a
readsf :: (Format d a) => d -> ReadS a
readsf fmt = readP_to_S (readpf fmt)
readf :: (Format d a) => d -> String -> Maybe a
readf fmt s = headfirst (readsf fmt s)
where
headfirst [] = Nothing
headfirst ((a,_):_) = Just a
instance Format String String where
readpf = string
instance Format Char Char where
readpf = char
data CharF = Char
instance Format CharF Char where
readpf Char = get
data StringF = String
instance Format StringF String where
readpf String = munch (const True)
data IntF = Int
instance Format IntF Int where
readpf Int = readDecP
data IntegerF = Integer
instance Format IntegerF Integer where
readpf Integer = readDecP
data FloatF = Float
instance Format FloatF Float where
readpf Float = readS_to_P reads
data DoubleF = Double
instance Format DoubleF Double where
readpf Double = readS_to_P reads
data ReadF a = Read
instance (Read a) => Format (ReadF a) a where
readpf Read = readS_to_P reads
data NumF a = Num
instance (Read a, Num a) => Format (NumF a) a where
readpf Num = readS_to_P reads
instance Format (ReadP a) a where
readpf = id
data SpaceF = Space
instance Format SpaceF String where
readpf Space = munch isSpace
data a :%: b = a :%: b
deriving (Eq, Show)
infixr 8 :%:
(%) :: a -> b -> a :%: b
(%) = (:%:)
infixr 8 %
instance (Format d1 a1, Format d2 a2) => Format (d1 :%: d2) (a1 :%: a2) where
readpf (d1 :%: d2) = do
a1 <- readpf d1
a2 <- readpf d2
return (a1 :%: a2)
data WrapF inner outer = Wrap outer inner outer
instance (Format din ain, Format dout aout)
=> Format (WrapF din dout) (aout :%: ain :%: aout) where
readpf (Wrap doutl din doutr) = do
aoutl <- readpf doutl
ain <- readpf din
aoutr <- readpf doutr
return (aoutl :%: ain :%: aoutr)
data MaybeF a = Maybe a
instance (Format d a) => Format (MaybeF d) (Maybe a) where
readpf (Maybe d) = (readpf d >>= return . Just) <++ return Nothing
data ChoiceF a = Choice [a]
instance (Format d a) => Format (ChoiceF d) a where
readpf (Choice ds) = choice (readpf <$> ds)
data EitherF a b = Either a b
instance (Format d1 a1, Format d2 a2) => Format (EitherF d1 d2) (Either a1 a2) where
readpf (Either d1 d2) =
(Left <$> readpf d1) +++ (Right <$> readpf d2)
data EitherLF a b = EitherL a b
instance (Format d1 a1, Format d2 a2) => Format (EitherLF d1 d2) (Either a1 a2) where
readpf (EitherL d1 d2) =
(Left <$> readpf d1) <++ (Right <$> readpf d2)
instance (Format d1 a1, Format d2 a2) => Format (d1, d2) (a1, a2) where
readpf (d1, d2) = do
a1 <- readpf d1
a2 <- readpf d2
return (a1, a2)
instance
(Format d1 a1, Format d2 a2, Format d3 a3)
=> Format
(d1, d2, d3)
(a1, a2, a3)
where
readpf (d1, d2, d3) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
return (a1, a2, a3)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4)
=> Format
(d1, d2, d3, d4)
(a1, a2, a3, a4)
where
readpf (d1, d2, d3, d4) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
return (a1, a2, a3, a4)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5)
=> Format
(d1, d2, d3, d4, d5)
(a1, a2, a3, a4, a5)
where
readpf (d1, d2, d3, d4, d5) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
return (a1, a2, a3, a4, a5)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6)
=> Format
(d1, d2, d3, d4, d5, d6)
(a1, a2, a3, a4, a5, a6)
where
readpf (d1, d2, d3, d4, d5, d6) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
return (a1, a2, a3, a4, a5, a6)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7)
=> Format
(d1, d2, d3, d4, d5, d6, d7)
(a1, a2, a3, a4, a5, a6, a7)
where
readpf (d1, d2, d3, d4, d5, d6, d7) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
return (a1, a2, a3, a4, a5, a6, a7)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8)
(a1, a2, a3, a4, a5, a6, a7, a8)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
return (a1, a2, a3, a4, a5, a6, a7, a8)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9)
(a1, a2, a3, a4, a5, a6, a7, a8, a9)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
return (a1, a2, a3, a4, a5, a6, a7, a8, a9)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10,
Format d11 a11)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
a11 <- readpf d11
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10,
Format d11 a11, Format d12 a12)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
a11 <- readpf d11
a12 <- readpf d12
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10,
Format d11 a11, Format d12 a12, Format d13 a13)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
a11 <- readpf d11
a12 <- readpf d12
a13 <- readpf d13
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10,
Format d11 a11, Format d12 a12, Format d13 a13, Format d14 a14)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
a11 <- readpf d11
a12 <- readpf d12
a13 <- readpf d13
a14 <- readpf d14
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14)
instance
(Format d1 a1, Format d2 a2, Format d3 a3, Format d4 a4, Format d5 a5,
Format d6 a6, Format d7 a7, Format d8 a8, Format d9 a9, Format d10 a10,
Format d11 a11, Format d12 a12, Format d13 a13, Format d14 a14,
Format d15 a15)
=> Format
(d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14, d15)
(a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)
where
readpf (d1, d2, d3, d4, d5, d6, d7, d8, d9, d10, d11, d12, d13, d14, d15) = do
a1 <- readpf d1
a2 <- readpf d2
a3 <- readpf d3
a4 <- readpf d4
a5 <- readpf d5
a6 <- readpf d6
a7 <- readpf d7
a8 <- readpf d8
a9 <- readpf d9
a10 <- readpf d10
a11 <- readpf d11
a12 <- readpf d12
a13 <- readpf d13
a14 <- readpf d14
a15 <- readpf d15
return (a1, a2, a3, a4, a5, a6, a7, a8, a9, a10, a11, a12, a13, a14, a15)