getDecimalDigitASCII :: Char -> Maybe Word8 |
|
charToDigit :: (?radix :: Word8, ?getDecimalDigit :: Maybe (Char -> Maybe Word8)) => Char -> Maybe Word8 |
|
readDigit :: (MonadOrParser Char m, ?radix :: Word8, ?getDecimalDigit :: Maybe (Char -> Maybe Word8)) => m Word8 |
|
addUpDigits :: (IsA a Word8, IsInteger a, ?radix :: Word8) => a -> [Word8] -> a |
|
readDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a, ?radix :: Word8, ?getDecimalDigit :: Maybe (Char -> Maybe Word8)) => m a |
|
readFixedDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a, ?radix :: Word8, ?getDecimalDigit :: Maybe (Char -> Maybe Word8)) => Integer -> m a |
|
readInteger :: (MonadOrParser Char m, IsA a Word8, Negatable a, IsInteger a, ?radix :: Word8, ?getDecimalDigit :: Maybe (Char -> Maybe Word8)) => m a |
|
readDecimalDigit :: MonadOrParser Char m => m Word8 |
|
readDecimalDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a) => m a |
|
readDecimalFixedDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a) => Integer -> m a |
|
readDecimalInteger :: (MonadOrParser Char m, IsA a Word8, Negatable a, IsInteger a) => m a |
|
readHexDigit :: MonadOrParser Char m => m Word8 |
|
readHexDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a) => m a |
|
readHexFixedDigits :: (MonadOrParser Char m, IsA a Word8, IsInteger a) => Integer -> m a |
|
readHexInteger :: (MonadOrParser Char m, IsA a Word8, Negatable a, IsInteger a) => m a |
|
class ShowHex a where |
|
|
showDigit :: Bool -> Integer -> Char |
|
showInteger :: Integer -> Bool -> Integer -> String |
|
showFixedHex :: Bool -> Integer -> Integer -> String |
|
indentString :: Integer -> String -> String |
|
class ShowHierarchy a where |
|
|
showHier :: ShowHierarchy a => a -> String |
|
type ReadParser t = LookaheadListParser [] t |
|
class AmbiguousReadable c a where |
|
|
class AmbiguousReadable c a => Readable c a where |
|
|
readParseAmbiguous :: (AmbiguousReadable c a, MonadPlus m) => [c] -> m a |
|
readParse :: (Readable c a, MonadOr m) => [c] -> m a |
|
|
|
readParseOrThrow :: (MonadSingleThrow (ParseException c) m, AmbiguousReadable c a) => [c] -> m a |
|
readParseOrFail :: (Show [c], Monad m, AmbiguousReadable c a) => [c] -> m a |
|
newtype ShowException = MkShowException String |
|
mapShowException :: (Monad m, Show ex) => ExceptionMonad m ex a -> ExceptionMonad m ShowException a |
|
type ShowExceptionMonad m = ExceptionMonad m ShowException |