mirror of
https://github.com/Smaug123/WoofWare.Myriad
synced 2025-12-15 05:15:40 +00:00
Compare commits
8 Commits
WoofWare.M
...
WoofWare.M
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
8225df5673 | ||
|
|
1982b69a56 | ||
|
|
6b886bff09 | ||
|
|
a73466f0ff | ||
|
|
95f5ceab03 | ||
|
|
2a7b5822b8 | ||
|
|
d344d9a7e9 | ||
|
|
fab8c0854a |
@@ -15,10 +15,10 @@
|
||||
]
|
||||
},
|
||||
"woofware.nunittestrunner": {
|
||||
"version": "0.3.9",
|
||||
"version": "0.3.10",
|
||||
"commands": [
|
||||
"woofware.nunittestrunner"
|
||||
]
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
22
.github/workflows/dotnet.yaml
vendored
22
.github/workflows/dotnet.yaml
vendored
@@ -25,7 +25,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
with:
|
||||
fetch-depth: 0 # so that NerdBank.GitVersioning has access to history
|
||||
- name: Install Nix
|
||||
@@ -46,7 +46,7 @@ jobs:
|
||||
security-events: write
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
with:
|
||||
fetch-depth: 0 # so that NerdBank.GitVersioning has access to history
|
||||
- name: Install Nix
|
||||
@@ -65,7 +65,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v31
|
||||
with:
|
||||
@@ -80,7 +80,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v31
|
||||
with:
|
||||
@@ -93,7 +93,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
with:
|
||||
fetch-depth: 0 # so that NerdBank.GitVersioning has access to history
|
||||
- name: Install Nix
|
||||
@@ -114,7 +114,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v31
|
||||
with:
|
||||
@@ -152,7 +152,7 @@ jobs:
|
||||
nuget-pack:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
with:
|
||||
fetch-depth: 0 # so that NerdBank.GitVersioning has access to history
|
||||
- name: Install Nix
|
||||
@@ -207,7 +207,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
needs: [nuget-pack]
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
- name: Download NuGet artifact
|
||||
uses: actions/download-artifact@v6
|
||||
with:
|
||||
@@ -287,7 +287,7 @@ jobs:
|
||||
attestations: write
|
||||
contents: read
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v31
|
||||
with:
|
||||
@@ -325,7 +325,7 @@ jobs:
|
||||
attestations: write
|
||||
contents: read
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
- name: Install Nix
|
||||
uses: cachix/install-nix-action@v31
|
||||
with:
|
||||
@@ -366,7 +366,7 @@ jobs:
|
||||
permissions:
|
||||
contents: write
|
||||
steps:
|
||||
- uses: actions/checkout@v5
|
||||
- uses: actions/checkout@v6
|
||||
- name: Download NuGet artifact
|
||||
uses: actions/download-artifact@v6
|
||||
with:
|
||||
|
||||
2
.github/workflows/flake_update.yaml
vendored
2
.github/workflows/flake_update.yaml
vendored
@@ -11,7 +11,7 @@ jobs:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Check out repository
|
||||
uses: actions/checkout@v5
|
||||
uses: actions/checkout@v6
|
||||
|
||||
- name: Install Nix
|
||||
uses: DeterminateSystems/nix-installer-action@main
|
||||
|
||||
19
ConsumePlugin/CatamorphismNoAttribute.fs
Normal file
19
ConsumePlugin/CatamorphismNoAttribute.fs
Normal file
@@ -0,0 +1,19 @@
|
||||
namespace ConsumePluginNoAttr
|
||||
|
||||
type ConstNoAttr<'a> =
|
||||
| Verbatim of 'a
|
||||
| String of string
|
||||
|
||||
type PairOpKindNoAttr =
|
||||
| NormalSeq
|
||||
| ThenDoSeq
|
||||
|
||||
type TreeNoAttr<'a, 'b> =
|
||||
| Const of ConstNoAttr<'a> * 'b
|
||||
| Pair of TreeNoAttr<'a, 'b> * TreeNoAttr<'a, 'b> * PairOpKindNoAttr
|
||||
| Sequential of TreeNoAttr<'a, 'b> list
|
||||
| Builder of TreeNoAttr<'a, 'b> * TreeBuilderNoAttr<'b, 'a>
|
||||
|
||||
and TreeBuilderNoAttr<'b, 'a> =
|
||||
| Child of TreeBuilderNoAttr<'b, 'a>
|
||||
| Parent of TreeNoAttr<'a, 'b>
|
||||
@@ -77,6 +77,13 @@
|
||||
<Compile Include="GeneratedCatamorphism.fs">
|
||||
<MyriadFile>Catamorphism.fs</MyriadFile>
|
||||
</Compile>
|
||||
<Compile Include="CatamorphismNoAttribute.fs" />
|
||||
<Compile Include="GeneratedCatamorphismNoAttribute.fs">
|
||||
<MyriadFile>CatamorphismNoAttribute.fs</MyriadFile>
|
||||
<MyriadParams>
|
||||
<TreeNoAttr>CreateCatamorphism(TreeNoAttrCata)</TreeNoAttr>
|
||||
</MyriadParams>
|
||||
</Compile>
|
||||
<Compile Include="FSharpForFunAndProfitCata.fs" />
|
||||
<Compile Include="GeneratedFileSystem.fs">
|
||||
<MyriadFile>FSharpForFunAndProfitCata.fs</MyriadFile>
|
||||
|
||||
144
ConsumePlugin/GeneratedCatamorphismNoAttribute.fs
Normal file
144
ConsumePlugin/GeneratedCatamorphismNoAttribute.fs
Normal file
@@ -0,0 +1,144 @@
|
||||
//------------------------------------------------------------------------------
|
||||
// This code was generated by myriad.
|
||||
// Changes to this file will be lost when the code is regenerated.
|
||||
//------------------------------------------------------------------------------
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
|
||||
namespace ConsumePluginNoAttr
|
||||
|
||||
/// Description of how to combine cases during a fold
|
||||
type TreeBuilderNoAttrCataCase<'b, 'a, 'TreeBuilderNoAttr, 'TreeNoAttr> =
|
||||
/// How to operate on the Child case
|
||||
abstract Child : 'TreeBuilderNoAttr -> 'TreeBuilderNoAttr
|
||||
/// How to operate on the Parent case
|
||||
abstract Parent : 'TreeNoAttr -> 'TreeBuilderNoAttr
|
||||
|
||||
/// Description of how to combine cases during a fold
|
||||
type TreeNoAttrCataCase<'a, 'b, 'TreeBuilderNoAttr, 'TreeNoAttr> =
|
||||
/// How to operate on the Const case
|
||||
abstract Const : ConstNoAttr<'a> -> 'b -> 'TreeNoAttr
|
||||
/// How to operate on the Pair case
|
||||
abstract Pair : 'TreeNoAttr -> 'TreeNoAttr -> PairOpKindNoAttr -> 'TreeNoAttr
|
||||
/// How to operate on the Sequential case
|
||||
abstract Sequential : 'TreeNoAttr list -> 'TreeNoAttr
|
||||
/// How to operate on the Builder case
|
||||
abstract Builder : 'TreeNoAttr -> 'TreeBuilderNoAttr -> 'TreeNoAttr
|
||||
|
||||
/// Specifies how to perform a fold (catamorphism) over the type TreeNoAttr and its friends.
|
||||
type TreeNoAttrCata<'b, 'a, 'TreeBuilderNoAttr, 'TreeNoAttr> =
|
||||
{
|
||||
/// How to perform a fold (catamorphism) over the type TreeBuilderNoAttr
|
||||
TreeBuilderNoAttr : TreeBuilderNoAttrCataCase<'b, 'a, 'TreeBuilderNoAttr, 'TreeNoAttr>
|
||||
/// How to perform a fold (catamorphism) over the type TreeNoAttr
|
||||
TreeNoAttr : TreeNoAttrCataCase<'a, 'b, 'TreeBuilderNoAttr, 'TreeNoAttr>
|
||||
}
|
||||
|
||||
/// Methods to perform a catamorphism over the type TreeNoAttr
|
||||
[<RequireQualifiedAccess>]
|
||||
module TreeNoAttrCata =
|
||||
[<RequireQualifiedAccess>]
|
||||
type private Instruction<'b, 'a> =
|
||||
| Process__TreeBuilderNoAttr of TreeBuilderNoAttr<'b, 'a>
|
||||
| Process__TreeNoAttr of TreeNoAttr<'a, 'b>
|
||||
| TreeBuilderNoAttr_Child
|
||||
| TreeBuilderNoAttr_Parent
|
||||
| TreeNoAttr_Pair of PairOpKindNoAttr
|
||||
| TreeNoAttr_Sequential of int
|
||||
| TreeNoAttr_Builder
|
||||
|
||||
let private loop
|
||||
(cata : TreeNoAttrCata<'b, 'a, 'TreeBuilderNoAttr, 'TreeNoAttr>)
|
||||
(instructions : ResizeArray<Instruction<'b, 'a>>)
|
||||
=
|
||||
let treeNoAttrStack = ResizeArray<'TreeNoAttr> ()
|
||||
let treeBuilderNoAttrStack = ResizeArray<'TreeBuilderNoAttr> ()
|
||||
|
||||
while instructions.Count > 0 do
|
||||
let currentInstruction = instructions.[instructions.Count - 1]
|
||||
instructions.RemoveAt (instructions.Count - 1)
|
||||
|
||||
match currentInstruction with
|
||||
| Instruction.Process__TreeBuilderNoAttr x ->
|
||||
match x with
|
||||
| TreeBuilderNoAttr.Child (arg0_0) ->
|
||||
instructions.Add Instruction.TreeBuilderNoAttr_Child
|
||||
instructions.Add (Instruction.Process__TreeBuilderNoAttr arg0_0)
|
||||
| TreeBuilderNoAttr.Parent (arg0_0) ->
|
||||
instructions.Add Instruction.TreeBuilderNoAttr_Parent
|
||||
instructions.Add (Instruction.Process__TreeNoAttr arg0_0)
|
||||
| Instruction.Process__TreeNoAttr x ->
|
||||
match x with
|
||||
| TreeNoAttr.Const (arg0_0, arg1_0) -> cata.TreeNoAttr.Const arg0_0 arg1_0 |> treeNoAttrStack.Add
|
||||
| TreeNoAttr.Pair (arg0_0, arg1_0, arg2_0) ->
|
||||
instructions.Add (Instruction.TreeNoAttr_Pair (arg2_0))
|
||||
instructions.Add (Instruction.Process__TreeNoAttr arg0_0)
|
||||
instructions.Add (Instruction.Process__TreeNoAttr arg1_0)
|
||||
| TreeNoAttr.Sequential (arg0_0) ->
|
||||
instructions.Add (Instruction.TreeNoAttr_Sequential ((List.length arg0_0)))
|
||||
|
||||
for elt in arg0_0 do
|
||||
instructions.Add (Instruction.Process__TreeNoAttr elt)
|
||||
| TreeNoAttr.Builder (arg0_0, arg1_0) ->
|
||||
instructions.Add Instruction.TreeNoAttr_Builder
|
||||
instructions.Add (Instruction.Process__TreeNoAttr arg0_0)
|
||||
instructions.Add (Instruction.Process__TreeBuilderNoAttr arg1_0)
|
||||
| Instruction.TreeBuilderNoAttr_Child ->
|
||||
let arg0_0 = treeBuilderNoAttrStack.[treeBuilderNoAttrStack.Count - 1]
|
||||
treeBuilderNoAttrStack.RemoveAt (treeBuilderNoAttrStack.Count - 1)
|
||||
cata.TreeBuilderNoAttr.Child arg0_0 |> treeBuilderNoAttrStack.Add
|
||||
| Instruction.TreeBuilderNoAttr_Parent ->
|
||||
let arg0_0 = treeNoAttrStack.[treeNoAttrStack.Count - 1]
|
||||
treeNoAttrStack.RemoveAt (treeNoAttrStack.Count - 1)
|
||||
cata.TreeBuilderNoAttr.Parent arg0_0 |> treeBuilderNoAttrStack.Add
|
||||
| Instruction.TreeNoAttr_Pair arg2_0 ->
|
||||
let arg0_0 = treeNoAttrStack.[treeNoAttrStack.Count - 1]
|
||||
treeNoAttrStack.RemoveAt (treeNoAttrStack.Count - 1)
|
||||
let arg1_0 = treeNoAttrStack.[treeNoAttrStack.Count - 1]
|
||||
treeNoAttrStack.RemoveAt (treeNoAttrStack.Count - 1)
|
||||
cata.TreeNoAttr.Pair arg0_0 arg1_0 arg2_0 |> treeNoAttrStack.Add
|
||||
| Instruction.TreeNoAttr_Sequential arg0_0 ->
|
||||
let arg0_0_len = arg0_0
|
||||
|
||||
let arg0_0 =
|
||||
seq {
|
||||
for i = treeNoAttrStack.Count - 1 downto treeNoAttrStack.Count - arg0_0 do
|
||||
yield treeNoAttrStack.[i]
|
||||
}
|
||||
|> Seq.toList
|
||||
|
||||
treeNoAttrStack.RemoveRange (treeNoAttrStack.Count - arg0_0_len, arg0_0_len)
|
||||
cata.TreeNoAttr.Sequential arg0_0 |> treeNoAttrStack.Add
|
||||
| Instruction.TreeNoAttr_Builder ->
|
||||
let arg0_0 = treeNoAttrStack.[treeNoAttrStack.Count - 1]
|
||||
treeNoAttrStack.RemoveAt (treeNoAttrStack.Count - 1)
|
||||
let arg1_0 = treeBuilderNoAttrStack.[treeBuilderNoAttrStack.Count - 1]
|
||||
treeBuilderNoAttrStack.RemoveAt (treeBuilderNoAttrStack.Count - 1)
|
||||
cata.TreeNoAttr.Builder arg0_0 arg1_0 |> treeNoAttrStack.Add
|
||||
|
||||
treeBuilderNoAttrStack, treeNoAttrStack
|
||||
|
||||
/// Execute the catamorphism.
|
||||
let runTreeBuilderNoAttr
|
||||
(cata : TreeNoAttrCata<'b, 'a, 'TreeBuilderNoAttrRet, 'TreeNoAttrRet>)
|
||||
(x : TreeBuilderNoAttr<'b, 'a>)
|
||||
: 'TreeBuilderNoAttrRet
|
||||
=
|
||||
let instructions = ResizeArray ()
|
||||
instructions.Add (Instruction.Process__TreeBuilderNoAttr x)
|
||||
let treeBuilderNoAttrRetStack, treeNoAttrRetStack = loop cata instructions
|
||||
Seq.exactlyOne treeBuilderNoAttrRetStack
|
||||
|
||||
/// Execute the catamorphism.
|
||||
let runTreeNoAttr
|
||||
(cata : TreeNoAttrCata<'b, 'a, 'TreeBuilderNoAttrRet, 'TreeNoAttrRet>)
|
||||
(x : TreeNoAttr<'a, 'b>)
|
||||
: 'TreeNoAttrRet
|
||||
=
|
||||
let instructions = ResizeArray ()
|
||||
instructions.Add (Instruction.Process__TreeNoAttr x)
|
||||
let treeBuilderNoAttrRetStack, treeNoAttrRetStack = loop cata instructions
|
||||
Seq.exactlyOne treeNoAttrRetStack
|
||||
@@ -1,4 +1,4 @@
|
||||
<Project Sdk="Microsoft.NET.Sdk">
|
||||
<Project Sdk="Microsoft.NET.Sdk">
|
||||
|
||||
<PropertyGroup>
|
||||
<TargetFramework>netstandard2.0</TargetFramework>
|
||||
|
||||
@@ -0,0 +1,51 @@
|
||||
namespace WoofWare.Myriad.Plugins.Test
|
||||
|
||||
open System.Threading
|
||||
open NUnit.Framework
|
||||
open FsUnitTyped
|
||||
open ConsumePluginNoAttr
|
||||
open FsCheck
|
||||
|
||||
[<TestFixture>]
|
||||
module TestCataGeneratorNoAttr =
|
||||
let idCata<'a, 'b> : TreeNoAttrCata<'a, 'b, _, _> =
|
||||
{
|
||||
TreeNoAttr =
|
||||
{ new TreeNoAttrCataCase<_, _, _, _> with
|
||||
member _.Const x y = Const (x, y)
|
||||
member _.Pair x y z = Pair (x, y, z)
|
||||
member _.Sequential xs = Sequential xs
|
||||
member _.Builder x b = Builder (x, b)
|
||||
}
|
||||
TreeBuilderNoAttr =
|
||||
{ new TreeBuilderNoAttrCataCase<_, _, _, _> with
|
||||
member _.Child x = Child x
|
||||
member _.Parent x = Parent x
|
||||
}
|
||||
}
|
||||
|
||||
[<Test>]
|
||||
let ``Example`` () =
|
||||
let x =
|
||||
TreeNoAttr.Pair (
|
||||
TreeNoAttr.Const (ConstNoAttr.Verbatim 0, "hi"),
|
||||
TreeNoAttr.Const (ConstNoAttr.String "", "bye"),
|
||||
PairOpKindNoAttr.ThenDoSeq
|
||||
)
|
||||
|
||||
TreeNoAttrCata.runTreeNoAttr idCata x |> shouldEqual x
|
||||
|
||||
|
||||
[<Test>]
|
||||
let ``Cata works`` () =
|
||||
let builderCases = ref 0
|
||||
|
||||
let property (x : TreeNoAttr<int, string>) =
|
||||
match x with
|
||||
| TreeNoAttr.Builder _ -> Interlocked.Increment builderCases |> ignore
|
||||
| _ -> ()
|
||||
|
||||
TreeNoAttrCata.runTreeNoAttr idCata x = x
|
||||
|
||||
Check.QuickThrowOnFailure property
|
||||
builderCases.Value |> shouldBeGreaterThan 10
|
||||
@@ -32,6 +32,7 @@
|
||||
<Compile Include="TestCapturingMockGenerator\TestCapturingMockGeneratorNoAttr.fs" />
|
||||
<Compile Include="TestJsonSerialize\TestJsonSerde.fs" />
|
||||
<Compile Include="TestCataGenerator\TestCataGenerator.fs" />
|
||||
<Compile Include="TestCataGenerator\TestCataGeneratorNoAttr.fs" />
|
||||
<Compile Include="TestCataGenerator\TestDirectory.fs" />
|
||||
<Compile Include="TestCataGenerator\TestGift.fs" />
|
||||
<Compile Include="TestCataGenerator\TestMyList.fs" />
|
||||
@@ -61,7 +62,7 @@
|
||||
<PackageReference Include="Microsoft.NET.Test.Sdk" Version="18.0.1" />
|
||||
<PackageReference Include="NUnit" Version="4.3.2" />
|
||||
<PackageReference Include="NUnit3TestAdapter" Version="5.2.0" />
|
||||
<PackageReference Include="WoofWare.Expect" Version="0.8.4" />
|
||||
<PackageReference Include="WoofWare.Expect" Version="0.8.5" />
|
||||
</ItemGroup>
|
||||
|
||||
<ItemGroup>
|
||||
|
||||
@@ -1209,6 +1209,10 @@ type CreateCatamorphismGenerator () =
|
||||
member _.ValidInputExtensions = [ ".fs" ]
|
||||
|
||||
member _.Generate (context : GeneratorContext) =
|
||||
let targetedTypes =
|
||||
MyriadParamParser.render context.AdditionalParameters
|
||||
|> Map.map (fun _ v -> v.Split '!' |> Array.toList |> List.map DesiredGenerator.Parse)
|
||||
|
||||
let ast, _ =
|
||||
Ast.fromFilename context.InputFilename |> Async.RunSynchronously |> Array.head
|
||||
|
||||
@@ -1218,17 +1222,26 @@ type CreateCatamorphismGenerator () =
|
||||
|
||||
let namespaceAndTypes =
|
||||
types
|
||||
|> List.choose (fun (ns, types) ->
|
||||
let typeWithAttr =
|
||||
types
|
||||
|> List.tryPick (fun ty ->
|
||||
match SynTypeDefn.getAttribute typeof<CreateCatamorphismAttribute>.Name ty with
|
||||
| None -> None
|
||||
| Some attr -> Some (attr.ArgExpr, ty)
|
||||
)
|
||||
|> List.collect (fun (ns, types) ->
|
||||
types
|
||||
|> List.choose (fun typeDef ->
|
||||
match SynTypeDefn.getAttribute typeof<CreateCatamorphismAttribute>.Name typeDef with
|
||||
| None ->
|
||||
let name = SynTypeDefn.getName typeDef |> List.map _.idText |> String.concat "."
|
||||
|
||||
match typeWithAttr with
|
||||
| Some taggedType ->
|
||||
match Map.tryFind name targetedTypes with
|
||||
| Some desired ->
|
||||
desired
|
||||
|> List.tryPick (fun generator ->
|
||||
match generator with
|
||||
| DesiredGenerator.CreateCatamorphism cataOutputName ->
|
||||
Some (SynExpr.CreateConst cataOutputName, typeDef)
|
||||
| _ -> None
|
||||
)
|
||||
| None -> None
|
||||
| Some attr -> Some (attr.ArgExpr, typeDef)
|
||||
)
|
||||
|> List.map (fun (typeName, taggedType) ->
|
||||
let unions, records, others =
|
||||
(([], [], []), types)
|
||||
||> List.fold (fun
|
||||
@@ -1246,8 +1259,8 @@ type CreateCatamorphismGenerator () =
|
||||
failwith
|
||||
$"Error: all types recursively defined together with a CreateCatamorphism type must be discriminated unions or records. %+A{others}"
|
||||
|
||||
Some (ns, taggedType, unions, records)
|
||||
| _ -> None
|
||||
(ns, (typeName, taggedType), unions, records)
|
||||
)
|
||||
)
|
||||
|
||||
let modules =
|
||||
|
||||
@@ -1,11 +1,14 @@
|
||||
namespace WoofWare.Myriad.Plugins
|
||||
|
||||
open System
|
||||
|
||||
type internal DesiredGenerator =
|
||||
| InterfaceMock of isInternal : bool option
|
||||
| CapturingInterfaceMock of isInternal : bool option
|
||||
| JsonParse of extensionMethod : bool option
|
||||
| JsonSerialize of extensionMethod : bool option
|
||||
| HttpClient of extensionMethod : bool option
|
||||
| CreateCatamorphism of typeName : string
|
||||
|
||||
static member Parse (s : string) =
|
||||
match s with
|
||||
@@ -24,4 +27,10 @@ type internal DesiredGenerator =
|
||||
| "HttpClient" -> DesiredGenerator.HttpClient None
|
||||
| "HttpClient(true)" -> DesiredGenerator.HttpClient (Some true)
|
||||
| "HttpClient(false)" -> DesiredGenerator.HttpClient (Some false)
|
||||
| _ -> failwith $"Failed to parse as a generator specification: %s{s}"
|
||||
| _ ->
|
||||
let prefix = "CreateCatamorphism("
|
||||
|
||||
if s.StartsWith (prefix, StringComparison.Ordinal) && s.EndsWith ')' then
|
||||
DesiredGenerator.CreateCatamorphism (s.Substring (prefix.Length, s.Length - prefix.Length - 1))
|
||||
else
|
||||
failwith $"Failed to parse as a generator specification: %s{s}"
|
||||
|
||||
@@ -22,7 +22,7 @@
|
||||
<ItemGroup>
|
||||
<PackageReference Include="Myriad.Core" Version="0.8.3" />
|
||||
<PackageReference Include="TypeEquality" Version="0.4.2" />
|
||||
<PackageReference Include="WoofWare.Whippet.Fantomas" Version="0.6.4" />
|
||||
<PackageReference Include="WoofWare.Whippet.Fantomas" Version="0.7.1" />
|
||||
<!-- the lowest version allowed by Myriad.Core -->
|
||||
<PackageReference Update="FSharp.Core" Version="6.0.1" PrivateAssets="all"/>
|
||||
</ItemGroup>
|
||||
|
||||
@@ -1,40 +0,0 @@
|
||||
|
||||
Microsoft Visual Studio Solution File, Format Version 12.00
|
||||
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "ConsumePlugin", "ConsumePlugin\ConsumePlugin.fsproj", "{0D174482-9CB2-448A-8BA8-846FAEC65579}"
|
||||
EndProject
|
||||
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WoofWare.Myriad.Plugins", "WoofWare.Myriad.Plugins\WoofWare.Myriad.Plugins.fsproj", "{DB86C53B-4090-4791-884B-024C5759855F}"
|
||||
EndProject
|
||||
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WoofWare.Myriad.Plugins.Test", "WoofWare.Myriad.Plugins.Test\WoofWare.Myriad.Plugins.Test.fsproj", "{EBFFA5D3-7F74-4824-8795-B6194E6FE0CB}"
|
||||
EndProject
|
||||
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WoofWare.Myriad.Plugins.Attributes", "WoofWare.Myriad.Plugins.Attributes\WoofWare.Myriad.Plugins.Attributes.fsproj", "{17548737-9BAB-4B1E-B680-76D47C343AAC}"
|
||||
EndProject
|
||||
Project("{F2A71F9B-5D33-465A-A702-920D77279786}") = "WoofWare.Myriad.Plugins.Attributes.Test", "WoofWare.Myriad.Plugins.Attributes\Test\WoofWare.Myriad.Plugins.Attributes.Test.fsproj", "{26DC0C94-85F2-45B4-8FA1-1B27201F7AFB}"
|
||||
EndProject
|
||||
Global
|
||||
GlobalSection(SolutionConfigurationPlatforms) = preSolution
|
||||
Debug|Any CPU = Debug|Any CPU
|
||||
Release|Any CPU = Release|Any CPU
|
||||
EndGlobalSection
|
||||
GlobalSection(ProjectConfigurationPlatforms) = postSolution
|
||||
{0D174482-9CB2-448A-8BA8-846FAEC65579}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
|
||||
{0D174482-9CB2-448A-8BA8-846FAEC65579}.Debug|Any CPU.Build.0 = Debug|Any CPU
|
||||
{0D174482-9CB2-448A-8BA8-846FAEC65579}.Release|Any CPU.ActiveCfg = Release|Any CPU
|
||||
{0D174482-9CB2-448A-8BA8-846FAEC65579}.Release|Any CPU.Build.0 = Release|Any CPU
|
||||
{DB86C53B-4090-4791-884B-024C5759855F}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
|
||||
{DB86C53B-4090-4791-884B-024C5759855F}.Debug|Any CPU.Build.0 = Debug|Any CPU
|
||||
{DB86C53B-4090-4791-884B-024C5759855F}.Release|Any CPU.ActiveCfg = Release|Any CPU
|
||||
{DB86C53B-4090-4791-884B-024C5759855F}.Release|Any CPU.Build.0 = Release|Any CPU
|
||||
{EBFFA5D3-7F74-4824-8795-B6194E6FE0CB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
|
||||
{EBFFA5D3-7F74-4824-8795-B6194E6FE0CB}.Debug|Any CPU.Build.0 = Debug|Any CPU
|
||||
{EBFFA5D3-7F74-4824-8795-B6194E6FE0CB}.Release|Any CPU.ActiveCfg = Release|Any CPU
|
||||
{EBFFA5D3-7F74-4824-8795-B6194E6FE0CB}.Release|Any CPU.Build.0 = Release|Any CPU
|
||||
{17548737-9BAB-4B1E-B680-76D47C343AAC}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
|
||||
{17548737-9BAB-4B1E-B680-76D47C343AAC}.Debug|Any CPU.Build.0 = Debug|Any CPU
|
||||
{17548737-9BAB-4B1E-B680-76D47C343AAC}.Release|Any CPU.ActiveCfg = Release|Any CPU
|
||||
{17548737-9BAB-4B1E-B680-76D47C343AAC}.Release|Any CPU.Build.0 = Release|Any CPU
|
||||
{26DC0C94-85F2-45B4-8FA1-1B27201F7AFB}.Debug|Any CPU.ActiveCfg = Debug|Any CPU
|
||||
{26DC0C94-85F2-45B4-8FA1-1B27201F7AFB}.Debug|Any CPU.Build.0 = Debug|Any CPU
|
||||
{26DC0C94-85F2-45B4-8FA1-1B27201F7AFB}.Release|Any CPU.ActiveCfg = Release|Any CPU
|
||||
{26DC0C94-85F2-45B4-8FA1-1B27201F7AFB}.Release|Any CPU.Build.0 = Release|Any CPU
|
||||
EndGlobalSection
|
||||
EndGlobal
|
||||
7
WoofWare.Myriad.slnx
Normal file
7
WoofWare.Myriad.slnx
Normal file
@@ -0,0 +1,7 @@
|
||||
<Solution>
|
||||
<Project Path="ConsumePlugin/ConsumePlugin.fsproj" />
|
||||
<Project Path="WoofWare.Myriad.Plugins.Attributes/Test/WoofWare.Myriad.Plugins.Attributes.Test.fsproj" />
|
||||
<Project Path="WoofWare.Myriad.Plugins.Attributes/WoofWare.Myriad.Plugins.Attributes.fsproj" />
|
||||
<Project Path="WoofWare.Myriad.Plugins.Test/WoofWare.Myriad.Plugins.Test.fsproj" />
|
||||
<Project Path="WoofWare.Myriad.Plugins/WoofWare.Myriad.Plugins.fsproj" />
|
||||
</Solution>
|
||||
6
flake.lock
generated
6
flake.lock
generated
@@ -20,11 +20,11 @@
|
||||
},
|
||||
"nixpkgs": {
|
||||
"locked": {
|
||||
"lastModified": 1763191728,
|
||||
"narHash": "sha256-esRhOS0APE6k40Hs/jjReXg+rx+J5LkWw7cuWFKlwYA=",
|
||||
"lastModified": 1764947035,
|
||||
"narHash": "sha256-EYHSjVM4Ox4lvCXUMiKKs2vETUSL5mx+J2FfutM7T9w=",
|
||||
"owner": "NixOS",
|
||||
"repo": "nixpkgs",
|
||||
"rev": "1d4c88323ac36805d09657d13a5273aea1b34f0c",
|
||||
"rev": "a672be65651c80d3f592a89b3945466584a22069",
|
||||
"type": "github"
|
||||
},
|
||||
"original": {
|
||||
|
||||
@@ -386,17 +386,17 @@
|
||||
},
|
||||
{
|
||||
"pname": "WoofWare.Expect",
|
||||
"version": "0.8.4",
|
||||
"hash": "sha256-UI7f2nt4g4Gg1Ke/IChrA4fpVOYAChXpvR6zkKfkmzE="
|
||||
"version": "0.8.5",
|
||||
"hash": "sha256-rMlkk1osadQYwxmb0KAHqsB51hinTf7NzI0zyovpx04="
|
||||
},
|
||||
{
|
||||
"pname": "WoofWare.NUnitTestRunner",
|
||||
"version": "0.3.9",
|
||||
"hash": "sha256-+QVx5NYdY1JZoMcWfJRwFgvEj2dBxWlJU0mu1Hmnlhs="
|
||||
"version": "0.3.10",
|
||||
"hash": "sha256-SvLLK9nZq/yMEcUoLx08Zw+0Z/lj02zebrBa6ATb2ug="
|
||||
},
|
||||
{
|
||||
"pname": "WoofWare.Whippet.Fantomas",
|
||||
"version": "0.6.4",
|
||||
"hash": "sha256-ScZ7EEcxLvXyam2ZVqDK58QlK3RcePWghzRvtLLLdZI="
|
||||
"version": "0.7.1",
|
||||
"hash": "sha256-Y9H42NjZx238Y73FaoPraJ9JqCOf5+2MAFetjPNlNXY="
|
||||
}
|
||||
]
|
||||
|
||||
Reference in New Issue
Block a user