Data.Avro.Encoding.FromAvro

Documentation

class FromAvro a where

Descrives how to convert a given intermediate Value into a Haskell data type.

Methods

fromAvro :: Value -> Either String a

Instances

FromAvro Bool

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Bool

FromAvro Double

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Double

FromAvro Float

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Float

FromAvro Int

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Int

FromAvro Int32

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Int32

FromAvro Int64

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Int64

FromAvro ByteString

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String ByteString

FromAvro ByteString

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String ByteString

FromAvro Text

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Text

FromAvro UTCTime

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String UTCTime

FromAvro DiffTime

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String DiffTime

FromAvro Day

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Day

FromAvro UUID

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String UUID

FromAvro a => FromAvro [a]

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String [a]

FromAvro a => FromAvro (Maybe a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Maybe a)

FromAvro a => FromAvro (Identity a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Identity a)

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

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Vector a)

FromAvro a => FromAvro (Vector a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Vector a)

(FromAvro a, FromAvro b) => FromAvro (Either a b)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Either a b)

FromAvro a => FromAvro (HashMap Text a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (HashMap Text a)

FromAvro a => FromAvro (Map Text a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Map Text a)

(KnownNat p, KnownNat s) => FromAvro (Decimal p s)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (Decimal p s)

(FromAvro a, FromAvro b, FromAvro c) => FromAvro (Either3 a b c)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either3 a b c)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d) => FromAvro (Either4 a b c d)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either4 a b c d)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e) => FromAvro (Either5 a b c d e)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either5 a b c d e)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e, FromAvro f) => FromAvro (Either6 a b c d e f)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either6 a b c d e f)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e, FromAvro f, FromAvro g) => FromAvro (Either7 a b c d e f g)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either7 a b c d e f g)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e, FromAvro f, FromAvro g, FromAvro h) => FromAvro (Either8 a b c d e f g h)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either8 a b c d e f g h)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e, FromAvro f, FromAvro g, FromAvro h, FromAvro i) => FromAvro (Either9 a b c d e f g h i)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either9 a b c d e f g h i)

(FromAvro a, FromAvro b, FromAvro c, FromAvro d, FromAvro e, FromAvro f, FromAvro g, FromAvro h, FromAvro i, FromAvro j) => FromAvro (Either10 a b c d e f g h i j)

Defined in Data.Avro.EitherN

Methods

fromAvro :: Value -> Either String (Either10 a b c d e f g h i j)

For internal use

data Value

An intermediate data structute for decoding between Avro bytes and Haskell types.

Because reader and writer schemas, and therefore expected data types and layout can be different, deserialising bytes into Haskell types directly is not possible.

To overcome this issue this intermediate data structure is used: bytes are decoded into values of type Value (using reader's layout and rules) and then translated to target Haskell types using FromAvro type class machinery.

Constructors

Null

Boolean Bool

Int ReadSchema Int32

Long ReadSchema Int64

Float ReadSchema Float

Double ReadSchema Double

Bytes ReadSchema ByteString

String ReadSchema Text

Array (Vector Value)

Map (HashMap Text Value)

Record ReadSchema (Vector Value)

Union ReadSchema Int Value

Fixed ReadSchema ByteString

Enum ReadSchema Int Text

Instances

Eq Value

Defined in Data.Avro.Encoding.FromAvro

Methods

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

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

Show Value

Defined in Data.Avro.Encoding.FromAvro

Methods

showsPrec :: Int -> Value -> ShowS

show :: Value -> String

showList :: [Value] -> ShowS

Generic Value

Defined in Data.Avro.Encoding.FromAvro

Associated Types

type Rep Value :: Type -> Type

Methods

from :: Value -> Rep Value x

to :: Rep Value x -> Value

NFData Value

Defined in Data.Avro.Encoding.FromAvro

Methods

rnf :: Value -> ()

type Rep Value

Defined in Data.Avro.Encoding.FromAvro

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

getValue :: ReadSchema -> Get Value