mirror of
https://github.com/Smaug123/WoofWare.Whippet
synced 2025-10-07 08:48:40 +00:00
da609db2ce
Some checks are pending
.NET / build (Debug) (push) Waiting to run
.NET / build (Release) (push) Waiting to run
.NET / analyzers (push) Waiting to run
.NET / check-dotnet-format (push) Waiting to run
.NET / check-nix-format (push) Waiting to run
.NET / Check links (push) Waiting to run
.NET / Check flake (push) Waiting to run
.NET / nuget-pack (push) Waiting to run
.NET / expected-pack (push) Blocked by required conditions
.NET / check-accurate-generations (push) Waiting to run
.NET / all-required-checks-complete (push) Blocked by required conditions
.NET / nuget-publish (push) Blocked by required conditions
.NET / nuget-publish-fantomas (push) Blocked by required conditions
.NET / nuget-publish-json-plugin (push) Blocked by required conditions
.NET / nuget-publish-json-attrs (push) Blocked by required conditions
.NET / nuget-publish-argparser-plugin (push) Blocked by required conditions
.NET / nuget-publish-argparser-attrs (push) Blocked by required conditions
95 lines
2.5 KiB
Forth
95 lines
2.5 KiB
Forth
namespace ConsumePlugin
|
|
|
|
open System
|
|
open System.Collections.Generic
|
|
open System.Text.Json.Serialization
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
[<WoofWare.Whippet.Plugin.Json.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.Whippet.Plugin.Json.JsonParse true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
type SomeEnum =
|
|
| Blah = 1
|
|
| Thing = 0
|
|
|
|
[<Measure>]
|
|
type measure
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
type JsonRecordTypeWithBoth =
|
|
{
|
|
A : int
|
|
B : string
|
|
C : int list
|
|
D : InnerTypeWithBoth
|
|
E : string array
|
|
Arr : int[]
|
|
Byte : byte<measure>
|
|
Sbyte : sbyte<measure>
|
|
I : int<measure>
|
|
I32 : int32<measure>
|
|
I64 : int64<measure>
|
|
U : uint<measure>
|
|
U32 : uint32<measure>
|
|
U64 : uint64<measure>
|
|
F : float<measure>
|
|
F32 : float32<measure>
|
|
Single : single<measure>
|
|
IntMeasureOption : int<measure> option
|
|
IntMeasureNullable : int<measure> Nullable
|
|
Enum : SomeEnum
|
|
Timestamp : DateTimeOffset
|
|
Unit : unit
|
|
}
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
type FirstDu =
|
|
| EmptyCase
|
|
| Case1 of data : string
|
|
| Case2 of record : JsonRecordTypeWithBoth * i : int
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
type HeaderAndValue =
|
|
{
|
|
Header : string
|
|
Value : string
|
|
}
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
type Foo =
|
|
{
|
|
Message : HeaderAndValue option
|
|
}
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
type CollectRemaining =
|
|
{
|
|
Message : HeaderAndValue option
|
|
[<JsonExtensionData>]
|
|
Rest : Dictionary<string, System.Text.Json.Nodes.JsonNode>
|
|
}
|
|
|
|
[<WoofWare.Whippet.Plugin.Json.JsonSerialize true>]
|
|
[<WoofWare.Whippet.Plugin.Json.JsonParse true>]
|
|
type OuterCollectRemaining =
|
|
{
|
|
[<JsonExtensionData>]
|
|
Others : Dictionary<string, int>
|
|
Remaining : CollectRemaining
|
|
}
|