Copyright	(c) Hideyuki Tanaka 2009-2015
License	BSD3
Maintainer	tanaka.hideyuki@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	Trustworthy
Language	Haskell2010

Data.MessagePack.Types.Class

Description

MessagePack object definition

Documentation

class MessagePack a where Source #

Minimal complete definition

Nothing

Methods

toObject :: a -> Object Source #

fromObject :: (Applicative m, Monad m) => Object -> m a Source #

toObject :: (Generic a, GMessagePack (Rep a)) => a -> Object Source #

fromObject :: (Applicative m, Monad m, Generic a, GMessagePack (Rep a)) => Object -> m a Source #

Instances

MessagePack Bool Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Bool -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Bool Source #
MessagePack Double Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Double -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Double Source #
MessagePack Float Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Float -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Float Source #
MessagePack Int Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Int -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Int Source #
MessagePack Int8 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Int8 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Int8 Source #
MessagePack Int16 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Int16 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Int16 Source #
MessagePack Int32 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Int32 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Int32 Source #
MessagePack Int64 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Int64 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Int64 Source #
MessagePack Word Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Word -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Word Source #
MessagePack Word8 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Word8 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Word8 Source #
MessagePack Word16 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Word16 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Word16 Source #
MessagePack Word32 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Word32 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Word32 Source #
MessagePack Word64 Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Word64 -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Word64 Source #
MessagePack () Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: () -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m () Source #
MessagePack String Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: String -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m String Source #
MessagePack Void Source #
Instance details Defined in Data.MessagePack.Types.Instances Methods toObject :: Void -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Void Source #
MessagePack ByteString Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: ByteString -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m ByteString Source #
MessagePack ByteString Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: ByteString -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m ByteString Source #
MessagePack Text Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Text -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Text Source #
MessagePack Text Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Text -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Text Source #
MessagePack Object Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Object -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m Object Source #
MessagePack a => MessagePack [a] Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: [a] -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m [a] Source #
MessagePack a => MessagePack (Maybe a) Source #
Instance details Defined in Data.MessagePack.Types.Instances Methods toObject :: Maybe a -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Maybe a) Source #
MessagePack v => MessagePack (IntMap v) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: IntMap v -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (IntMap v) Source #
(MessagePack a, Unbox a) => MessagePack (Vector a) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Vector a -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Vector a) Source #
(MessagePack a, Storable a) => MessagePack (Vector a) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Vector a -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Vector a) Source #
MessagePack a => MessagePack (Vector a) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Vector a -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Vector a) Source #
(MessagePack a, MessagePack b) => MessagePack (Assoc [(a, b)]) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Assoc [(a, b)] -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Assoc [(a, b)]) Source #
MessagePack a => MessagePack (Option a) Source #
Instance details Defined in Data.MessagePack.Types.Option Methods toObject :: Option a -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Option a) Source #
(MessagePack a, MessagePack b) => MessagePack (Either a b) Source #
Instance details Defined in Data.MessagePack.Types.Instances Methods toObject :: Either a b -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Either a b) Source #
(MessagePack a1, MessagePack a2) => MessagePack (a1, a2) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2) Source #
(MessagePack k, MessagePack v, Ord k) => MessagePack (Map k v) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: Map k v -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (Map k v) Source #
(MessagePack k, MessagePack v, Hashable k, Eq k) => MessagePack (HashMap k v) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: HashMap k v -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (HashMap k v) Source #
(MessagePack a1, MessagePack a2, MessagePack a3) => MessagePack (a1, a2, a3) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3) Source #
(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4) => MessagePack (a1, a2, a3, a4) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4) Source #
(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5) => MessagePack (a1, a2, a3, a4, a5) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4, a5) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4, a5) Source #
(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6) => MessagePack (a1, a2, a3, a4, a5, a6) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4, a5, a6) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4, a5, a6) Source #
(MessagePack a1, MessagePack a2, MessagePack a3, MessagePack a4, MessagePack a5, MessagePack a6, MessagePack a7) => MessagePack (a1, a2, a3, a4, a5, a6, a7) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4, a5, a6, a7) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4, a5, a6, a7) Source #
(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) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4, a5, a6, a7, a8) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4, a5, a6, a7, a8) Source #
(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) Source #
Instance details Defined in Data.MessagePack.Types.Class Methods toObject :: (a1, a2, a3, a4, a5, a6, a7, a8, a9) -> Object Source # fromObject :: (Applicative m, Monad m) => Object -> m (a1, a2, a3, a4, a5, a6, a7, a8, a9) Source #

class GMessagePack f where Source #

Methods

gToObject :: f a -> Object Source #

gFromObject :: (Applicative m, Monad m) => Object -> m (f a) Source #

Instances

GMessagePack (V1 :: Type -> Type) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: V1 a -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m (V1 a) Source #
GMessagePack (U1 :: Type -> Type) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: U1 a -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m (U1 a) Source #
MessagePack a => GMessagePack (K1 i a :: Type -> Type) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: K1 i a a0 -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m (K1 i a a0) Source #
(GSumPack a, GSumPack b, SumSize a, SumSize b) => GMessagePack (a :+: b) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: (a :+: b) a0 -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m ((a :+: b) a0) Source #
(GMessagePack a, GProdPack b) => GMessagePack (a :*: b) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: (a :: b) a0 -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m ((a :: b) a0) Source #
GMessagePack a => GMessagePack (M1 t c a) Source #
Instance details Defined in Data.MessagePack.Types.Generic Methods gToObject :: M1 t c a a0 -> Object Source # gFromObject :: (Applicative m, Monad m) => Object -> m (M1 t c a a0) Source #