Author

ryota0624

Version

0.1.2

License

Apache-2.0

Repository

github.com/ryota0624/moonbit_cloudevents

Last updated

10 months ago

Downloads

#ryota0624/moonbit_cloudevents

A Moonbit library for working with CloudEvents

#Features

Parsing and serializing CloudEvents in JSON format
Support for extended attributes

ToJsonObject

source

pub(open) trait ToJsonObject {
  to_json_object(Self) -> Map[String, Json]
}

Trait for converting extended fields to JSON objects

CloudEvents

source

pub struct CloudEvents[Data] {
  id : String
  source : String
  specversion : String
  type_ : String
  datacontenttype : String?
  dataschema : String?
  subject : String?
  time : String?
  data : Data
  data_base64 : String?
}

CloudEvents Specification JSON Schema Ref: https://github.com/cloudevents/spec/blob/v1.0.2/cloudevents/formats/cloudevents.json

impl Eq for CloudEvents[Data]

impl Show for CloudEvents[Data]

impl ToJson for CloudEvents[Data]

impl FromJson for CloudEvents[Data]

fn[Data : @moonbitlang/core/json.FromJson
FromJson] from_json(Json, @moonbitlang/core/json.JsonPath
JsonPath) -> CloudEvents[Data] raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

source

automatically derived

CloudEvents::new

source

fn[Data] CloudEvents::new(id~ : String, source~ : String, specversion~ : String, type_~ : String, datacontenttype? : String?, dataschema? : String?, subject? : String?, time? : String?, data~ : Data, data_base64? : String?) -> CloudEvents[Data]

ExtendedCloudEvents

source

pub struct ExtendedCloudEvents[Data, ExtendedFields] {
  id : String
  source : String
  specversion : String
  type_ : String
  datacontenttype : String?
  dataschema : String?
  subject : String?
  time : String?
  data : Data
  data_base64 : String?
  extended_field : ExtendedFields
}

CloudEvents Specification with Extension Fields

impl Eq for ExtendedCloudEvents[Data, ExtendedFields]

impl Show for ExtendedCloudEvents[Data, ExtendedFields]

impl FromJson for ExtendedCloudEvents[Data, E]

fn[Data : @moonbitlang/core/json.FromJson
FromJson, E : @moonbitlang/core/json.FromJson
FromJson] from_json(json : Json, json_path : @moonbitlang/core/json.JsonPath
JsonPath) -> ExtendedCloudEvents[Data, E] raise @moonbitlang/core/json.JsonDecodeError
JsonDecodeError

source

ExtendedCloudEvents::new

source

fn[Data, ExtendedFields] ExtendedCloudEvents::new(id~ : String, source~ : String, specversion~ : String, type_~ : String, datacontenttype? : String?, dataschema? : String?, subject? : String?, time? : String?, data~ : Data, data_base64? : String?, extended_field~ : ExtendedFields) -> ExtendedCloudEvents[Data, ExtendedFields]

impl constuctor of ExtendedCloudEvent

ExtendedCloudEvents::safe_to_json_enabled

source

fn[Data : ToJson, E : ToJsonObject] ExtendedCloudEvents::safe_to_json_enabled(self : ExtendedCloudEvents[Data, E]) -> &ToJson

ExtendedCloudEvents::unsafe_to_json_enabled

source

fn[Data : ToJson, E : ToJson] ExtendedCloudEvents::unsafe_to_json_enabled(self : ExtendedCloudEvents[Data, E]) -> &ToJson

Source Files

moonbit_cloudevents.mbt

Site source Report issue Packages Build queue Skills Statistics

moonbit_cloudevents

#ryota0624/moonbit_cloudevents

#Features

#ToJsonObject

#CloudEvents

#CloudEvents::new

#ExtendedCloudEvents

#ExtendedCloudEvents::new

#ExtendedCloudEvents::safe_to_json_enabled

#ExtendedCloudEvents::unsafe_to_json_enabled

Source Files

ToJsonObject

CloudEvents

CloudEvents::new

ExtendedCloudEvents

ExtendedCloudEvents::new

ExtendedCloudEvents::safe_to_json_enabled

ExtendedCloudEvents::unsafe_to_json_enabled