Data.Winery.Internal

Maintainer : Fumiaki Kinoshita [e-mail]

Internal functions and datatypes

Documentation

unsignedVarInt :: (Bits a, Integral a) => a -> Builder

varInt :: (Bits a, Integral a) => a -> Builder

type Decoder = State ByteString

evalDecoder :: Decoder a -> ByteString -> a

newtype State s a

A state monad. The reason being not State from transformers is to allow coercion for newtype deriving and DerivingVia.

Constructors

State

Fields

• runState :: s -> (a, s)

Instances

Monad (State s)

Defined in Data.Winery.Internal

Methods

(>>=) :: State s a -> (a -> State s b) -> State s b

(>>) :: State s a -> State s b -> State s b

return :: a -> State s a

fail :: String -> State s a

Functor (State s)

Defined in Data.Winery.Internal

Methods

fmap :: (a -> b) -> State s a -> State s b

(<$) :: a -> State s b -> State s a

MonadFix (State s)

Defined in Data.Winery.Internal

Methods

mfix :: (a -> State s a) -> State s a

Applicative (State s)

Defined in Data.Winery.Internal

Methods

pure :: a -> State s a

(<*>) :: State s (a -> b) -> State s a -> State s b

liftA2 :: (a -> b -> c) -> State s a -> State s b -> State s c

(*>) :: State s a -> State s b -> State s b

(<*) :: State s a -> State s b -> State s a

evalState :: State s a -> s -> a

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

decodeVarIntFinite :: forall a. (Num a, FiniteBits a) => Decoder a

getWord8 :: Decoder Word8

getWord16 :: Decoder Word16

getWord32 :: Decoder Word32

getWord64 :: Decoder Word64

data DecodeException

Constructors

InsufficientInput

IntegerOverflow

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

indexDefault :: a -> [a] -> Int -> a

unsafeIndexV :: Unbox a => String -> Vector a -> Int -> a

lookupWithIndexV :: Eq k => k -> Vector (k, v) -> Maybe (Int, v)

newtype Strategy e r a

A monad with Reader [r] and Either WineryException combined, used internally to build an extractor. r is used to share environment such as extractors for fixpoints.

Constructors

Strategy

Fields

• unStrategy :: r -> Either e a

Instances

Monad (Strategy e r)

Defined in Data.Winery.Internal

Methods

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

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

return :: a -> Strategy e r a

fail :: String -> Strategy e r a

Functor (Strategy e r)

Defined in Data.Winery.Internal

Methods

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

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

MonadFix (Strategy e r)

Defined in Data.Winery.Internal

Methods

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

Applicative (Strategy e r)

Defined in Data.Winery.Internal

Methods

pure :: a -> Strategy e r a

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

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

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

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

IsString e => Alternative (Strategy e r)

Defined in Data.Winery.Internal

Methods

empty :: Strategy e r a

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

some :: Strategy e r a -> Strategy e r [a]

many :: Strategy e r a -> Strategy e r [a]

throwStrategy :: e -> Strategy e r a

newtype TransFusion f g a

A Bazaar (chain of indexed store comonad)-like structure which instead works for natural transformations.

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