| 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 |