Safe Haskell	None
Language	Haskell2010

Google.Protobuf.Wrappers.Polymorphic

Description

Haskell types used to express standard protobuf wrapper message types.

Synopsis

newtype Wrapped a = Wrapped a

Documentation

newtype Wrapped a Source #

A Haskell type representing the standard protobuf wrapper message that is associated with the given Haskell type.

Note that if Google ever adds wrappers for "sint..." or "...fixed..." then this newtype could still be used, provided its type parameter involves the appropriate combination of Signed and/or Fixed. Because the latter two types are themselves newtypes, the corresponding coercions should work.

Constructors

Wrapped a

Instances

Instances details

Foldable Wrapped Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

fold :: Monoid m => Wrapped m -> m #

foldMap :: Monoid m => (a -> m) -> Wrapped a -> m #

foldMap' :: Monoid m => (a -> m) -> Wrapped a -> m #

foldr :: (a -> b -> b) -> b -> Wrapped a -> b #

foldr' :: (a -> b -> b) -> b -> Wrapped a -> b #

foldl :: (b -> a -> b) -> b -> Wrapped a -> b #

foldl' :: (b -> a -> b) -> b -> Wrapped a -> b #

foldr1 :: (a -> a -> a) -> Wrapped a -> a #

foldl1 :: (a -> a -> a) -> Wrapped a -> a #

toList :: Wrapped a -> [a] #

null :: Wrapped a -> Bool #

length :: Wrapped a -> Int #

elem :: Eq a => a -> Wrapped a -> Bool #

maximum :: Ord a => Wrapped a -> a #

minimum :: Ord a => Wrapped a -> a #

sum :: Num a => Wrapped a -> a #

product :: Num a => Wrapped a -> a #

Traversable Wrapped Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

traverse :: Applicative f => (a -> f b) -> Wrapped a -> f (Wrapped b) #

sequenceA :: Applicative f => Wrapped (f a) -> f (Wrapped a) #

mapM :: Monad m => (a -> m b) -> Wrapped a -> m (Wrapped b) #

sequence :: Monad m => Wrapped (m a) -> m (Wrapped a) #

Functor Wrapped Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

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

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

FromJSON a => FromJSON (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

parseJSON :: Value -> Parser (Wrapped a) #

parseJSONList :: Value -> Parser [Wrapped a] #

omittedField :: Maybe (Wrapped a) #

ToJSON a => ToJSON (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

toJSON :: Wrapped a -> Value #

toEncoding :: Wrapped a -> Encoding #

toJSONList :: [Wrapped a] -> Value #

toEncodingList :: [Wrapped a] -> Encoding #

omitField :: Wrapped a -> Bool #

Monoid a => Monoid (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

mempty :: Wrapped a #

mappend :: Wrapped a -> Wrapped a -> Wrapped a #

mconcat :: [Wrapped a] -> Wrapped a #

Semigroup a => Semigroup (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

(<>) :: Wrapped a -> Wrapped a -> Wrapped a #

sconcat :: NonEmpty (Wrapped a) -> Wrapped a #

stimes :: Integral b => b -> Wrapped a -> Wrapped a #

Bounded a => Bounded (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

minBound :: Wrapped a #

maxBound :: Wrapped a #

Enum a => Enum (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Methods

succ :: Wrapped a -> Wrapped a #

pred :: Wrapped a -> Wrapped a #

toEnum :: Int -> Wrapped a #

fromEnum :: Wrapped a -> Int #

enumFrom :: Wrapped a -> [Wrapped a] #

enumFromThen :: Wrapped a -> Wrapped a -> [Wrapped a] #

enumFromTo :: Wrapped a -> Wrapped a -> [Wrapped a] #

enumFromThenTo :: Wrapped a -> Wrapped a -> Wrapped a -> [Wrapped a] #

Generic (Wrapped a) Source #

Instance details

Defined in Google.Protobuf.Wrappers.Polymorphic

Associated Types

type Rep (Wrapped a)
Instance details Defined in Google.Protobuf.Wrappers.Polymorphic type Rep (Wrapped a) = D1 ('MetaData "Wrapped" "Google.Protobuf.Wrappers.Polymorphic" "proto3-suite-0.9.4-FcQVHEDGj0SLfEGMZSCAeG" 'True) (C1 ('MetaCons "Wrapped" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))