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

Methods

toSchemalessTerm :: Value -> Term

ToSchemalessValue Value

Methods

toSchemalessValue :: Value -> FieldValue

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TMap ('TPrimitive String) v))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TMap ('TPrimitive Text) v))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TList t))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TOption t))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TSchematic t))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TPrimitive t))

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

Methods

fromAvro :: Value -> Either String (FieldValue sch 'TNull)

FromAvroUnion sch choices => FromAvro (FieldValue sch ('TUnion choices))

Methods

fromAvro :: Value -> Either String (FieldValue sch ('TUnion choices))

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

Methods

fromAvro :: Value -> Either String (Term sch ('DRecord name args))

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

Methods

fromAvro :: Value -> Either String (Term sch ('DSimple t))

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

Methods

fromAvro :: Value -> Either String (Term sch ('DEnum name choices))

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

Methods

toAvro :: Schema -> FieldValue sch ('TMap ('TPrimitive String) v) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch ('TMap ('TPrimitive Text) v) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch ('TList t) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch ('TOption t) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch ('TSchematic t) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch ('TPrimitive t) -> Builder

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

Methods

toAvro :: Schema -> FieldValue sch 'TNull -> Builder

ToAvroUnion sch choices => ToAvro (FieldValue sch ('TUnion choices))

Methods

toAvro :: Schema -> FieldValue sch ('TUnion choices) -> Builder

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

Methods

toAvro :: Schema -> Term sch ('DRecord name args) -> Builder

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

Methods

toAvro :: Schema -> Term sch ('DSimple t) -> Builder

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

Methods

toAvro :: Schema -> Term sch ('DEnum name choices) -> Builder

HasAvroSchema' (FieldValue sch t) => HasAvroSchema (FieldValue sch t)

Methods

schema :: Tagged (FieldValue sch t) Schema

(TypeError ('Text "you should never use HasAvroSchema directly on Term, use WithSchema") :: Constraint) => HasAvroSchema (Term sch t)

Methods

schema :: Tagged (Term sch t) Schema

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

Methods

fromAvro :: Value -> Either String (WithSchema sch sty t)

(ToSchema sch sty t, ToAvro (Term sch (sch :/: sty)), KnownNat (IxOf sch sty)) => ToAvro (WithSchema sch sty t)

Methods

toAvro :: Schema -> WithSchema sch sty t -> Builder

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

Methods

schema :: Tagged (WithSchema sch sty t) Schema