ref: 25faeffbcee9b8006aa5e8083ea81eadcca8367e
dir: /lib/Text/Read.hs/
-- Copyright 2023,2024 Lennart Augustsson
-- See LICENSE file for full license.
-- Temporary Read class
module Text.Read(
ReadS,
Read(..),
read,
reads,
readMaybe,
readParen,
lex,
) where
import Primitives
import Control.Error
import Data.Char
import Data.Bool
import Data.Either
import Data.Eq
import Data.Function
import Data.List
import Data.Maybe_Type
import Data.Num
import Data.Ord
import Data.Int
import Text.Read.Numeric
import Text.Read.Lex
type ReadS a = String -> [(a, String)]
class Read a where
readsPrec :: Int -> ReadS a
readList :: ReadS [a]
readList = readParen False (\r -> [ pr
| ("[",s) <- lex r
, pr <- readl s])
where readl s = [([],t) | ("]",t) <- lex s] ++
[(x:xs,u) | (x,t) <- reads s,
(xs,u) <- readl' t]
readl' s = [([],t) | ("]",t) <- lex s] ++
[(x:xs,v) | (",",t) <- lex s,
(x,u) <- reads t,
(xs,v) <- readl' u]
reads :: forall a . Read a => ReadS a
reads = readsPrec 0
read :: forall a . Read a => String -> a
read s =
case readMaybe s of
Just a -> a
Nothing -> error "read: failed"
readMaybe :: forall a . Read a => String -> Maybe a
readMaybe s =
case readsPrec 0 s of
[(a, ss)] | [] <- dropSpace ss -> Just a
_ -> Nothing
-------------------------------------------------------
-- To avoid circular imports, some instances go here.
instance Read Int where
readsPrec = readIntegral
instance forall a . Read a => Read [a] where
readsPrec _ = readList
instance Read Bool where
readsPrec _ = readBoundedEnum
instance Read Ordering where
readsPrec _ = readBoundedEnum
instance forall a . Read a => Read (Maybe a) where
readsPrec p u = [ (Nothing :: Maybe a, t) | ("Nothing", t) <- lex u ] ++
readParen (p > 10) ( \ r ->
[ (Just a, t) | ("Just", s) <- lex r, (a, t) <- readsPrec 11 s ]
) u
instance forall a b . (Read a, Read b) => Read (Either a b) where
readsPrec p = readParen (p > 10) $ \ r ->
[ (Left a, t) | ("Left", s) <- lex r, (a, t) <- readsPrec 11 s ] ++
[ (Right b, t) | ("Right", s) <- lex r, (b, t) <- readsPrec 11 s ]