avro-0.4.4.3: Avro serialization support for Haskell

Safe HaskellNone
LanguageHaskell2010

Data.Avro.Types.Value

Documentation

data Value f Source #

Constructors

Null 
Boolean !Bool 
Int !Int32 
Long !Int64 
Float !Float 
Double !Double 
Bytes !ByteString 
String !Text 
Array (Vector (Value f))

Dynamically enforced monomorphic type.

Map (HashMap Text (Value f))

Dynamically enforced monomorphic type

Record f (HashMap Text (Value f)) 
Union (NonEmpty f) f (Value f)

Set of union options, schema for selected option, and the actual value.

Fixed f !ByteString 
Enum f !Int Text

An enum is a set of the possible symbols (the schema) and the selected symbol

Instances
Eq f => Eq (Value f) Source # 
Instance details

Defined in Data.Avro.Types.Value

Methods

(==) :: Value f -> Value f -> Bool #

(/=) :: Value f -> Value f -> Bool #

Show f => Show (Value f) Source # 
Instance details

Defined in Data.Avro.Types.Value

Methods

showsPrec :: Int -> Value f -> ShowS #

show :: Value f -> String #

showList :: [Value f] -> ShowS #

Generic (Value f) Source # 
Instance details

Defined in Data.Avro.Types.Value

Associated Types

type Rep (Value f) :: Type -> Type #

Methods

from :: Value f -> Rep (Value f) x #

to :: Rep (Value f) x -> Value f #

ToJSON (Value Type) Source # 
Instance details

Defined in Data.Avro.Schema

NFData f => NFData (Value f) Source # 
Instance details

Defined in Data.Avro.Types.Value

Methods

rnf :: Value f -> () #

EncodeAvro (Value Type) Source # 
Instance details

Defined in Data.Avro.Encode

Methods

avro :: Value Type -> AvroM Source #

type Rep (Value f) Source # 
Instance details

Defined in Data.Avro.Types.Value

type Rep (Value f) = D1 (MetaData "Value" "Data.Avro.Types.Value" "avro-0.4.4.3-JOdgVrx3xwa1lz3aiGCi2O" False) (((C1 (MetaCons "Null" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Boolean" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness SourceStrict DecidedStrict) (Rec0 Bool)) :+: C1 (MetaCons "Int" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int32)))) :+: ((C1 (MetaCons "Long" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int64)) :+: C1 (MetaCons "Float" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Float))) :+: (C1 (MetaCons "Double" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Double)) :+: C1 (MetaCons "Bytes" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 ByteString))))) :+: ((C1 (MetaCons "String" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "Array" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Vector (Value f)))) :+: C1 (MetaCons "Map" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (HashMap Text (Value f)))))) :+: ((C1 (MetaCons "Record" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (HashMap Text (Value f)))) :+: C1 (MetaCons "Union" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (NonEmpty f)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Value f))))) :+: (C1 (MetaCons "Fixed" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :*: S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 ByteString)) :+: C1 (MetaCons "Enum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 f) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) SourceUnpack SourceStrict DecidedStrict) (Rec0 Int) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))))))