Data.Winery.Internal

Documentation

type Encoding = (Sum Int, Builder)

encodeMulti :: [Encoding] -> Encoding

encodeVarInt :: (Integral a, Bits a) => a -> Encoding

type Decoder = (->) ByteString

decodeAt :: Int -> Decoder a -> Decoder a

decodeVarInt :: (Num a, Bits a) => ContT r Decoder a

decodeOffsets :: Int -> ContT r Decoder [Int]

getWord8 :: ContT r Decoder Word8

getBytes :: Decoder ByteString

word16be :: ByteString -> Word16

word32be :: ByteString -> Word32

word64be :: ByteString -> Word64

unsafeIndex :: String -> [a] -> Int -> a

newtype Strategy a

Constructors

Strategy

Fields

• unStrategy :: [Decoder Dynamic] -> Either StrategyError a

Instances

Monad Strategy

Methods

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

(>>) :: Strategy a -> Strategy b -> Strategy b

return :: a -> Strategy a

fail :: String -> Strategy a

Functor Strategy

Methods

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

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

MonadFix Strategy

Methods

mfix :: (a -> Strategy a) -> Strategy a

Applicative Strategy

Methods

pure :: a -> Strategy a

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

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

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

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

Alternative Strategy

Methods

empty :: Strategy a

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

some :: Strategy a -> Strategy [a]

many :: Strategy a -> Strategy [a]

type StrategyError = Doc AnsiStyle

errorStrategy :: Doc AnsiStyle -> Strategy a