module Distribution.ReadE (
ReadE(..), succeedReadE, failReadE,
readEOrFail,
parsecToReadE,
) where
import Distribution.Compat.Prelude
import Prelude ()
import Distribution.Parsec
import Distribution.Parsec.FieldLineStream
newtype ReadE a = ReadE {forall a. ReadE a -> String -> Either String a
runReadE :: String -> Either ErrorMsg a}
type ErrorMsg = String
instance Functor ReadE where
fmap :: forall a b. (a -> b) -> ReadE a -> ReadE b
fmap a -> b
f (ReadE String -> Either String a
p) = forall a. (String -> Either String a) -> ReadE a
ReadE forall a b. (a -> b) -> a -> b
$ \String
txt -> case String -> Either String a
p String
txt of
Right a
a -> forall a b. b -> Either a b
Right (a -> b
f a
a)
Left String
err -> forall a b. a -> Either a b
Left String
err
succeedReadE :: (String -> a) -> ReadE a
succeedReadE :: forall a. (String -> a) -> ReadE a
succeedReadE String -> a
f = forall a. (String -> Either String a) -> ReadE a
ReadE (forall a b. b -> Either a b
Right forall b c a. (b -> c) -> (a -> b) -> a -> c
. String -> a
f)
failReadE :: ErrorMsg -> ReadE a
failReadE :: forall a. String -> ReadE a
failReadE = forall a. (String -> Either String a) -> ReadE a
ReadE forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. a -> b -> a
const forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a b. a -> Either a b
Left
readEOrFail :: ReadE a -> String -> a
readEOrFail :: forall a. ReadE a -> String -> a
readEOrFail ReadE a
r = forall a c b. (a -> c) -> (b -> c) -> Either a b -> c
either forall a. HasCallStack => String -> a
error forall a. a -> a
id forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall a. ReadE a -> String -> Either String a
runReadE ReadE a
r
parsecToReadE :: (String -> ErrorMsg) -> ParsecParser a -> ReadE a
parsecToReadE :: forall a. (String -> String) -> ParsecParser a -> ReadE a
parsecToReadE String -> String
err ParsecParser a
p = forall a. (String -> Either String a) -> ReadE a
ReadE forall a b. (a -> b) -> a -> b
$ \String
txt ->
case forall a.
ParsecParser a -> String -> FieldLineStream -> Either ParseError a
runParsecParser ParsecParser a
p String
"<parsecToReadE>" (String -> FieldLineStream
fieldLineStreamFromString String
txt) of
Right a
x -> forall a b. b -> Either a b
Right a
x
Left ParseError
_e -> forall a b. a -> Either a b
Left (String -> String
err String
txt)