Data.Winery.Internal

Documentation

data Encoding

Instances

Eq Encoding

Defined in Data.Winery.Internal.Builder

Methods

(==) :: Encoding -> Encoding -> Bool

(/=) :: Encoding -> Encoding -> Bool

Show Encoding

Defined in Data.Winery.Internal.Builder

Methods

showsPrec :: Int -> Encoding -> ShowS

show :: Encoding -> String

showList :: [Encoding] -> ShowS

IsString Encoding

Defined in Data.Winery.Internal.Builder

Methods

fromString :: String -> Encoding

Semigroup Encoding

Defined in Data.Winery.Internal.Builder

Methods

(<>) :: Encoding -> Encoding -> Encoding

sconcat :: NonEmpty Encoding -> Encoding

stimes :: Integral b => b -> Encoding -> Encoding

Monoid Encoding

Defined in Data.Winery.Internal.Builder

Methods

mempty :: Encoding

mappend :: Encoding -> Encoding -> Encoding

mconcat :: [Encoding] -> Encoding

Serialise Encoding

Defined in Data.Winery

Methods

schemaVia :: Proxy Encoding -> [TypeRep] -> Schema

toEncoding :: Encoding -> Encoding

deserialiser :: Deserialiser Encoding

constantSize :: Proxy Encoding -> Maybe Int

data EncodingMulti

encodeMulti :: (EncodingMulti -> EncodingMulti) -> Encoding

encodeItem :: Encoding -> EncodingMulti -> EncodingMulti

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

data DecodeException

Constructors

InsufficientInput

InvalidTag

Instances

Eq DecodeException

Defined in Data.Winery.Internal

Methods

(==) :: DecodeException -> DecodeException -> Bool

(/=) :: DecodeException -> DecodeException -> Bool

Read DecodeException

Defined in Data.Winery.Internal

Methods

readsPrec :: Int -> ReadS DecodeException

readList :: ReadS [DecodeException]

readPrec :: ReadPrec DecodeException

readListPrec :: ReadPrec [DecodeException]

Show DecodeException

Defined in Data.Winery.Internal

Methods

showsPrec :: Int -> DecodeException -> ShowS

show :: DecodeException -> String

showList :: [DecodeException] -> ShowS

Exception DecodeException

Defined in Data.Winery.Internal

Methods

toException :: DecodeException -> SomeException

fromException :: SomeException -> Maybe DecodeException

displayException :: DecodeException -> String

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

Defined in Data.Winery.Internal

Methods

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

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

return :: a -> Strategy a

fail :: String -> Strategy a

Functor Strategy

Defined in Data.Winery.Internal

Methods

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

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

MonadFix Strategy

Defined in Data.Winery.Internal

Methods

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

Applicative Strategy

Defined in Data.Winery.Internal

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

Defined in Data.Winery.Internal

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

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)

Defined in Data.Winery.Internal

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)

Defined in Data.Winery.Internal

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