mirror of
https://github.com/Smaug123/WoofWare.Myriad
synced 2025-10-05 12:08:46 +00:00
37 lines
958 B
Forth
37 lines
958 B
Forth
namespace ConsumePlugin
|
|
|
|
open System
|
|
open System.Collections.Generic
|
|
open System.Text.Json.Serialization
|
|
|
|
[<WoofWare.Myriad.Plugins.JsonParse true>]
|
|
[<WoofWare.Myriad.Plugins.JsonSerialize true>]
|
|
type InnerTypeWithBoth =
|
|
{
|
|
[<JsonPropertyName("it's-a-me")>]
|
|
Thing : Guid
|
|
Map : Map<string, Uri>
|
|
ReadOnlyDict : IReadOnlyDictionary<string, char list>
|
|
Dict : IDictionary<Uri, bool>
|
|
ConcreteDict : Dictionary<string, InnerTypeWithBoth>
|
|
}
|
|
|
|
[<WoofWare.Myriad.Plugins.JsonParse true>]
|
|
[<WoofWare.Myriad.Plugins.JsonSerialize true>]
|
|
type JsonRecordTypeWithBoth =
|
|
{
|
|
A : int
|
|
B : string
|
|
C : int list
|
|
D : InnerTypeWithBoth
|
|
E : string array
|
|
F : int[]
|
|
}
|
|
|
|
[<WoofWare.Myriad.Plugins.JsonSerialize true>]
|
|
[<WoofWare.Myriad.Plugins.JsonParse true>]
|
|
type FirstDu =
|
|
| EmptyCase
|
|
| Case1 of data : string
|
|
| Case2 of record : JsonRecordTypeWithBoth * i : int
|