Argo.Decoder

Documentation

newtype Decoder a

Constructors

Decoder

Fields

• run :: ByteString -> Result (ByteString, a)

Instances

Monad Decoder

Defined in Argo.Decoder

Methods

(>>=) :: Decoder a -> (a -> Decoder b) -> Decoder b

(>>) :: Decoder a -> Decoder b -> Decoder b

return :: a -> Decoder a

Functor Decoder

Defined in Argo.Decoder

Methods

fmap :: (a -> b) -> Decoder a -> Decoder b

(<$) :: a -> Decoder b -> Decoder a

MonadFail Decoder

Defined in Argo.Decoder

Methods

fail :: String -> Decoder a

Applicative Decoder

Defined in Argo.Decoder

Methods

pure :: a -> Decoder a

(<*>) :: Decoder (a -> b) -> Decoder a -> Decoder b

liftA2 :: (a -> b -> c) -> Decoder a -> Decoder b -> Decoder c

(*>) :: Decoder a -> Decoder b -> Decoder b

(<*) :: Decoder a -> Decoder b -> Decoder a

Alternative Decoder

Defined in Argo.Decoder

Methods

empty :: Decoder a

(<|>) :: Decoder a -> Decoder a -> Decoder a

some :: Decoder a -> Decoder [a]

many :: Decoder a -> Decoder [a]

list :: Decoder a -> Decoder [a]

listWith :: Decoder a -> [a] -> Decoder [a]

byteString :: ByteString -> Decoder ()

dropWhile :: (Word8 -> Bool) -> Decoder ()

eof :: Decoder ()

get :: Decoder ByteString

isDigit :: Word8 -> Bool

isSpace :: Word8 -> Bool

put :: ByteString -> Decoder ()

satisfy :: (Word8 -> Bool) -> Decoder Word8

spaces :: Decoder ()

takeWhile :: (Word8 -> Bool) -> Decoder ByteString

takeWhile1 :: (Word8 -> Bool) -> Decoder ByteString

word8 :: Word8 -> Decoder ()