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 ()

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String ()

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 UTCTime

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String UTCTime

FromAvro Text

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String Text

FromAvro LocalTime

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String LocalTime

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 (Map Text a)

Defined in Data.Avro.Encoding.FromAvro

Methods

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

FromAvro a => FromAvro (HashMap Text a)

Defined in Data.Avro.Encoding.FromAvro

Methods

fromAvro :: Value -> Either String (HashMap 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.6.1.0-9WMp5t0QC4JDZvUJwEXo6V" '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