Data.MessagePack.Types

Documentation

newtype Assoc a

Constructors

Assoc

Fields

• unAssoc :: a

Instances

Eq a => Eq (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

(==) :: Assoc a -> Assoc a -> Bool

(/=) :: Assoc a -> Assoc a -> Bool

Ord a => Ord (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

compare :: Assoc a -> Assoc a -> Ordering

(<) :: Assoc a -> Assoc a -> Bool

(<=) :: Assoc a -> Assoc a -> Bool

(>) :: Assoc a -> Assoc a -> Bool

(>=) :: Assoc a -> Assoc a -> Bool

max :: Assoc a -> Assoc a -> Assoc a

min :: Assoc a -> Assoc a -> Assoc a

Read a => Read (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

readsPrec :: Int -> ReadS (Assoc a)

readList :: ReadS [Assoc a]

readPrec :: ReadPrec (Assoc a)

readListPrec :: ReadPrec [Assoc a]

Show a => Show (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

showsPrec :: Int -> Assoc a -> ShowS

show :: Assoc a -> String

showList :: [Assoc a] -> ShowS

Arbitrary a => Arbitrary (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

arbitrary :: Gen (Assoc a)

shrink :: Assoc a -> [Assoc a]

NFData a => NFData (Assoc a)

Defined in Data.MessagePack.Types.Assoc

Methods

rnf :: Assoc a -> ()

(MessagePack a, MessagePack b) => MessagePack (Assoc [(a, b)])

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Assoc [(a, b)] -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Assoc [(a, b)])

data Object

Object Representation of MessagePack data.

Constructors

ObjectNil

represents nil

ObjectBool Bool

represents true or false

ObjectInt Int64

represents a negative integer

ObjectWord Word64

represents a positive integer

ObjectFloat Float

represents a floating point number

ObjectDouble Double

represents a floating point number

ObjectStr Text

extending Raw type represents a UTF-8 string

ObjectBin ByteString

extending Raw type represents a byte array

ObjectArray (Vector Object)

represents a sequence of objects

ObjectMap (Vector (Object, Object))

represents key-value pairs of objects

ObjectExt Word8 ByteString

represents a tuple of an integer and a byte array where the integer represents type information and the byte array represents data.

Instances

Eq Object

Defined in Data.MessagePack.Types.Object

Methods

(==) :: Object -> Object -> Bool

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

Ord Object

Defined in Data.MessagePack.Types.Object

Methods

compare :: Object -> Object -> Ordering

(<) :: Object -> Object -> Bool

(<=) :: Object -> Object -> Bool

(>) :: Object -> Object -> Bool

(>=) :: Object -> Object -> Bool

max :: Object -> Object -> Object

min :: Object -> Object -> Object

Read Object

Defined in Data.MessagePack.Types.Object

Methods

readsPrec :: Int -> ReadS Object

readList :: ReadS [Object]

readPrec :: ReadPrec Object

readListPrec :: ReadPrec [Object]

Show Object

Defined in Data.MessagePack.Types.Object

Methods

showsPrec :: Int -> Object -> ShowS

show :: Object -> String

showList :: [Object] -> ShowS

Generic Object

Defined in Data.MessagePack.Types.Object

Associated Types

type Rep Object :: Type -> Type

Methods

from :: Object -> Rep Object x

to :: Rep Object x -> Object

NFData Object

Defined in Data.MessagePack.Types.Object

Methods

rnf :: Object -> ()

MessagePack Object

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Object -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Object

type Rep Object

Defined in Data.MessagePack.Types.Object

type Rep Object = D1 ('MetaData "Object" "Data.MessagePack.Types.Object" "msgpack-types-0.3.1-inplace" 'False) (((C1 ('MetaCons "ObjectNil" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ObjectBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Bool))) :+: (C1 ('MetaCons "ObjectInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Int64)) :+: (C1 ('MetaCons "ObjectWord" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Word64)) :+: C1 ('MetaCons "ObjectFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Float))))) :+: ((C1 ('MetaCons "ObjectDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Double)) :+: (C1 ('MetaCons "ObjectStr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "ObjectBin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString)))) :+: (C1 ('MetaCons "ObjectArray" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector Object))) :+: (C1 ('MetaCons "ObjectMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 (Vector (Object, Object)))) :+: C1 ('MetaCons "ObjectExt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'NoSourceStrictness 'DecidedStrict) (Rec0 Word8) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedStrict) (Rec0 ByteString))))))

class MessagePack a where

Minimal complete definition

Nothing

Methods

toObject :: Config -> a -> Object

default toObject :: (Generic a, GMessagePack (Rep a)) => Config -> a -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m a

default fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m, Generic a, GMessagePack (Rep a)) => Config -> Object -> m a

Instances

MessagePack Bool

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Bool -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Bool

MessagePack Double

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Double -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Double

MessagePack Float

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Float -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Float

MessagePack Int

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Int -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Int

MessagePack Int8

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Int8 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Int8

MessagePack Int16

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Int16 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Int16

MessagePack Int32

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Int32 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Int32

MessagePack Int64

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Int64 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Int64

MessagePack Word

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Word -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Word

MessagePack Word8

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Word8 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Word8

MessagePack Word16

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Word16 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Word16

MessagePack Word32

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Word32 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Word32

MessagePack Word64

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Word64 -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Word64

MessagePack ()

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> () -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m ()

MessagePack String

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> String -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m String

MessagePack ByteString

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> ByteString -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m ByteString

MessagePack ByteString

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> ByteString -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m ByteString

MessagePack Text

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Text -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Text

MessagePack Text

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Text -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Text

MessagePack Object

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Object -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m Object

MessagePack a => MessagePack [a]

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> [a] -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m [a]

MessagePack v => MessagePack (IntMap v)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> IntMap v -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (IntMap v)

(MessagePack a, Unbox a) => MessagePack (Vector a)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Vector a -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Vector a)

(MessagePack a, Storable a) => MessagePack (Vector a)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Vector a -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Vector a)

MessagePack a => MessagePack (Vector a)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Vector a -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Vector a)

(MessagePack a, MessagePack b) => MessagePack (Assoc [(a, b)])

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Assoc [(a, b)] -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Assoc [(a, b)])

(MessagePack a1, MessagePack a2) => MessagePack (a1, a2)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2)

(MessagePack k, MessagePack v, Ord k) => MessagePack (Map k v)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> Map k v -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (Map k v)

(MessagePack k, MessagePack v, Hashable k, Eq k) => MessagePack (HashMap k v)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> HashMap k v -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (HashMap k v)

(MessagePack a1, MessagePack a2, MessagePack a3) => MessagePack (a1, a2, a3)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4) => MessagePack (a1, a2, a3, a4)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5) => MessagePack (a1, a2, a3, a4, a5)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4, a5) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4, a5)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6) => MessagePack (a1, a2, a3, a4, a5, a6)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4, a5, a6) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4, a5, a6)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6, MessagePack a7) => MessagePack (a1, a2, a3, a4, a5, a6, a7)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4, a5, a6, a7) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4, a5, a6, a7)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6, MessagePack a7, MessagePack a8) => MessagePack (a1, a2, a3, a4, a5, a6, a7, a8)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4, a5, a6, a7, a8) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4, a5, a6, a7, a8)

(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6, MessagePack a7, MessagePack a8, MessagePack a9) => MessagePack (a1, a2, a3, a4, a5, a6, a7, a8, a9)

Defined in Data.MessagePack.Types.Class

Methods

toObject :: Config -> (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Object

fromObjectWith :: (Applicative m, Monad m, MonadValidate DecodeError m) => Config -> Object -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9)

data Config

defaultConfig :: Config

data DecodeError

Instances

Show DecodeError

Defined in Data.MessagePack.Types.DecodeError

Methods

showsPrec :: Int -> DecodeError -> ShowS

show :: DecodeError -> String

showList :: [DecodeError] -> ShowS

IsString DecodeError

Defined in Data.MessagePack.Types.DecodeError

Methods

fromString :: String -> DecodeError

Semigroup DecodeError

Defined in Data.MessagePack.Types.DecodeError

Methods

(<>) :: DecodeError -> DecodeError -> DecodeError

sconcat :: NonEmpty DecodeError -> DecodeError

stimes :: Integral b => b -> DecodeError -> DecodeError

MonadValidate DecodeError ReadPrec

Defined in Data.MessagePack.Types.DecodeError

Methods

refute :: DecodeError -> ReadPrec a

dispute :: DecodeError -> ReadPrec ()

tolerate :: ReadPrec a -> ReadPrec (Maybe a)

decodeError :: String -> DecodeError

errorMessages :: DecodeError -> [String]

fromObject :: (MonadFail m, MessagePack a) => Object -> m a

Similar to fromObjectWith defaultConfig but returns the result in a MonadFail.

Useful when running in another MonadFail like Maybe.