Mu.Adapter.Avro

Just import the module and you can turn any value with a ToSchema and FromSchema from and to Avro values.

Orphan instances

ToSchemalessTerm (Value t) Identity

Methods

toSchemalessTerm :: Value t -> Term Identity

ToSchemalessValue (Value t) Identity

Methods

toSchemalessValue :: Value t -> FieldValue Identity

(KnownName name, HasAvroSchemaFields sch args, FromAvroFields f sch args) => FromAvro (Term f sch (DRecord name args))

Methods

fromAvro :: Value Type -> Result (Term f sch (DRecord name args))

FromAvro (FieldValue f sch t) => FromAvro (Term f sch (DSimple t :: TypeDefB Type typeName fieldName))

Methods

fromAvro :: Value Type0 -> Result (Term f sch (DSimple t))

(KnownName name, HasAvroSchemaEnum choices, FromAvroEnum choices) => FromAvro (Term f sch (DEnum name choices :: TypeDefB Type typeName fieldName))

Methods

fromAvro :: Value Type0 -> Result (Term f sch (DEnum name choices))

FromAvro (FieldValue f sch v) => FromAvro (FieldValue f sch (TMap (TPrimitive String :: FieldTypeB Type typeName) v))

Methods

fromAvro :: Value Type0 -> Result (FieldValue f sch (TMap (TPrimitive String) v))

FromAvro (FieldValue f sch v) => FromAvro (FieldValue f sch (TMap (TPrimitive Text :: FieldTypeB Type typeName) v))

Methods

fromAvro :: Value Type0 -> Result (FieldValue f sch (TMap (TPrimitive Text) v))

FromAvro (FieldValue f sch t) => FromAvro (FieldValue f sch (TList t))

Methods

fromAvro :: Value Type -> Result (FieldValue f sch (TList t))

FromAvro (FieldValue f sch t) => FromAvro (FieldValue f sch (TOption t))

Methods

fromAvro :: Value Type -> Result (FieldValue f sch (TOption t))

(KnownName t, FromAvro (Term f sch (sch :/: t))) => FromAvro (FieldValue f sch (TSchematic t :: FieldTypeB Type typeName))

Methods

fromAvro :: Value Type0 -> Result (FieldValue f sch (TSchematic t))

FromAvro t => FromAvro (FieldValue f sch (TPrimitive t :: FieldTypeB Type typeName))

Methods

fromAvro :: Value Type0 -> Result (FieldValue f sch (TPrimitive t))

FromAvro (FieldValue f sch (TNull :: FieldTypeB Type typeName))

Methods

fromAvro :: Value Type0 -> Result (FieldValue f sch TNull)

(HasAvroSchemaUnion (FieldValue f sch) choices, FromAvroUnion f sch choices) => FromAvro (FieldValue f sch (TUnion choices))

Methods

fromAvro :: Value Type -> Result (FieldValue f sch (TUnion choices))

(KnownName name, HasAvroSchemaFields sch args, ToAvroFields sch args) => ToAvro (Term Identity sch (DRecord name args))

Methods

toAvro :: Term Identity sch (DRecord name args) -> Value Type

ToAvro (FieldValue Identity sch t) => ToAvro (Term Identity sch (DSimple t :: TypeDefB Type typeName fieldName))

Methods

toAvro :: Term Identity sch (DSimple t) -> Value Type0

(KnownName name, HasAvroSchemaEnum choices, ToAvroEnum choices) => ToAvro (Term Identity sch (DEnum name choices :: TypeDefB Type typeName fieldName))

Methods

toAvro :: Term Identity sch (DEnum name choices) -> Value Type0

ToAvro (FieldValue Identity sch v) => ToAvro (FieldValue Identity sch (TMap (TPrimitive String :: FieldTypeB Type typeName) v))

Methods

toAvro :: FieldValue Identity sch (TMap (TPrimitive String) v) -> Value Type0

ToAvro (FieldValue Identity sch v) => ToAvro (FieldValue Identity sch (TMap (TPrimitive Text :: FieldTypeB Type typeName) v))

Methods

toAvro :: FieldValue Identity sch (TMap (TPrimitive Text) v) -> Value Type0

ToAvro (FieldValue Identity sch t) => ToAvro (FieldValue Identity sch (TList t))

Methods

toAvro :: FieldValue Identity sch (TList t) -> Value Type

ToAvro (FieldValue Identity sch t) => ToAvro (FieldValue Identity sch (TOption t))

Methods

toAvro :: FieldValue Identity sch (TOption t) -> Value Type

(KnownName t, ToAvro (Term Identity sch (sch :/: t))) => ToAvro (FieldValue Identity sch (TSchematic t :: FieldTypeB Type typeName))

Methods

toAvro :: FieldValue Identity sch (TSchematic t) -> Value Type0

ToAvro t => ToAvro (FieldValue Identity sch (TPrimitive t :: FieldTypeB Type typeName))

Methods

toAvro :: FieldValue Identity sch (TPrimitive t) -> Value Type0

ToAvro (FieldValue Identity sch (TNull :: FieldTypeB Type typeName))

Methods

toAvro :: FieldValue Identity sch TNull -> Value Type0

(HasAvroSchemaUnion (FieldValue Identity sch) choices, ToAvroUnion sch choices) => ToAvro (FieldValue Identity sch (TUnion choices))

Methods

toAvro :: FieldValue Identity sch (TUnion choices) -> Value Type

HasAvroSchema (FieldValue f sch t) => HasAvroSchema (Term f sch (DSimple t :: TypeDefB Type typeName fieldName))

Methods

schema :: Tagged (Term f sch (DSimple t)) Type0

(KnownName name, HasAvroSchemaFields sch args) => HasAvroSchema (Term f sch (DRecord name args))

Methods

schema :: Tagged (Term f sch (DRecord name args)) Type

(KnownName name, HasAvroSchemaEnum choices) => HasAvroSchema (Term f sch (DEnum name choices :: TypeDefB Type typeName fieldName))

Methods

schema :: Tagged (Term f sch (DEnum name choices)) Type0

HasAvroSchema (FieldValue f sch v) => HasAvroSchema (FieldValue f sch (TMap (TPrimitive String :: FieldTypeB Type typeName) v))

Methods

schema :: Tagged (FieldValue f sch (TMap (TPrimitive String) v)) Type0

HasAvroSchema (FieldValue f sch v) => HasAvroSchema (FieldValue f sch (TMap (TPrimitive Text :: FieldTypeB Type typeName) v))

Methods

schema :: Tagged (FieldValue f sch (TMap (TPrimitive Text) v)) Type0

HasAvroSchema (FieldValue f sch t) => HasAvroSchema (FieldValue f sch (TList t))

Methods

schema :: Tagged (FieldValue f sch (TList t)) Type

HasAvroSchema (FieldValue f sch t) => HasAvroSchema (FieldValue f sch (TOption t))

Methods

schema :: Tagged (FieldValue f sch (TOption t)) Type

KnownName t => HasAvroSchema (FieldValue f sch (TSchematic t :: FieldTypeB Type typeName))

Methods

schema :: Tagged (FieldValue f sch (TSchematic t)) Type0

HasAvroSchema t => HasAvroSchema (FieldValue f sch (TPrimitive t :: FieldTypeB Type typeName))

Methods

schema :: Tagged (FieldValue f sch (TPrimitive t)) Type0

HasAvroSchema (FieldValue f sch (TNull :: FieldTypeB Type typeName))

Methods

schema :: Tagged (FieldValue f sch TNull) Type0

HasAvroSchemaUnion (FieldValue f sch) choices => HasAvroSchema (FieldValue f sch (TUnion choices))

Methods

schema :: Tagged (FieldValue f sch (TUnion choices)) Type

(FromSchema f sch sty t, HasAvroSchemas sch sch, FromAvro (Term f sch (sch :/: sty))) => FromAvro (WithSchema f sch sty t)

Methods

fromAvro :: Value Type -> Result (WithSchema f sch sty t)

(ToSchema Identity sch sty t, HasAvroSchemas sch sch, ToAvro (Term Identity sch (sch :/: sty))) => ToAvro (WithSchema Identity sch sty t)

Methods

toAvro :: WithSchema Identity sch sty t -> Value Type

HasAvroSchemas sch sch => HasAvroSchema (WithSchema f sch sty t)

Methods

schema :: Tagged (WithSchema f sch sty t) Type