winery-0.3.1: Sustainable serialisation library

Safe HaskellNone
LanguageHaskell2010

Data.Winery.Internal

Documentation

data Encoding #

Instances
Eq Encoding # 
Instance details

Defined in Data.Winery.Internal.Builder

Methods

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

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

Show Encoding # 
Instance details

Defined in Data.Winery.Internal.Builder

Methods

showsPrec :: Int -> Encoding -> ShowS #

show :: Encoding -> String #

showList :: [Encoding] -> ShowS #

IsString Encoding # 
Instance details

Defined in Data.Winery.Internal.Builder

Methods

fromString :: String -> Encoding #

Semigroup Encoding # 
Instance details

Defined in Data.Winery.Internal.Builder

Methods

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

sconcat :: NonEmpty Encoding -> Encoding #

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

Monoid Encoding # 
Instance details

Defined in Data.Winery.Internal.Builder

Methods

mempty :: Encoding #

mappend :: Encoding -> Encoding -> Encoding #

mconcat :: [Encoding] -> Encoding #

Serialise Encoding # 
Instance details

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 # 
Instance details

Defined in Data.Winery.Internal

Methods

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

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

Read DecodeException # 
Instance details

Defined in Data.Winery.Internal

Methods

readsPrec :: Int -> ReadS DecodeException #

readList :: ReadS [DecodeException] #

readPrec :: ReadPrec DecodeException #

readListPrec :: ReadPrec [DecodeException] #

Show DecodeException # 
Instance details

Defined in Data.Winery.Internal

Methods

showsPrec :: Int -> DecodeException -> ShowS #

show :: DecodeException -> String #

showList :: [DecodeException] -> ShowS #

Exception DecodeException # 
Instance details

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

Instances
Monad Strategy # 
Instance details

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 # 
Instance details

Defined in Data.Winery.Internal

Methods

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

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

MonadFix Strategy # 
Instance details

Defined in Data.Winery.Internal

Methods

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

Applicative Strategy # 
Instance details

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 # 
Instance details

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

Instances
Functor (TransFusion f g) # 
Instance details

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) # 
Instance details

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 #