Data.Winery.Internal

Documentation

data Encoding

Constructors

Encoding

Fields

• encodingLength :: !Int
• encodingBuilder :: !Builder

Instances

Monoid Encoding

Methods

mempty :: Encoding

mappend :: Encoding -> Encoding -> Encoding

mconcat :: [Encoding] -> Encoding

encodeMulti :: [Encoding] -> Encoding

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

type Decoder = (->) ByteString

decodeAt :: (Int, Int) -> Decoder a -> Decoder a

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

type Offsets = Vector (Int, Int)

decodeOffsets :: Int -> ContT r Decoder Offsets

getWord8 :: ContT r Decoder Word8

word16be :: ByteString -> Word16

word32be :: ByteString -> Word32

word64be :: ByteString -> Word64

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

unsafeIndexV :: Unbox a => String -> Vector 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

data TransList f g a

Constructors

Done a

More (f x) (TransList f g (g x -> a))

Instances

Functor (TransList f g)

Methods

fmap :: (a -> b) -> TransList f g a -> TransList f g b

(<$) :: a -> TransList f g b -> TransList f g a

Applicative (TransList f g)

Methods

pure :: a -> TransList f g a

(<*>) :: TransList f g (a -> b) -> TransList f g a -> TransList f g b

liftA2 :: (a -> b -> c) -> TransList f g a -> TransList f g b -> TransList f g c

(*>) :: TransList f g a -> TransList f g b -> TransList f g b

(<*) :: TransList f g a -> TransList f g b -> TransList f g a

newtype TransFusion f g a

Constructors

TransFusion

Fields

• unTransFusion :: forall h. Applicative h => (forall x. f x -> h (g x)) -> h a

Instances

Functor (TransFusion f g)

Methods

fmap :: (a -> b) -> TransFusion f g a -> TransFusion f g b

(<$) :: a -> TransFusion f g b -> TransFusion f g a

Applicative (TransFusion f g)

Methods

pure :: a -> TransFusion f g a

(<*>) :: TransFusion f g (a -> b) -> TransFusion f g a -> TransFusion f g b

liftA2 :: (a -> b -> c) -> TransFusion f g a -> TransFusion f g b -> TransFusion f g c

(*>) :: TransFusion f g a -> TransFusion f g b -> TransFusion f g b

(<*) :: TransFusion f g a -> TransFusion f g b -> TransFusion f g a

runTransFusion :: TransFusion f g a -> TransList f g a