C# ToPropertyWith

Author: AlexeyRaga

src/Hedgehog.Stateful/Hedgehog.Stateful.fsproj

@@ -3,7 +3,7 @@
     <PropertyGroup>
         <TargetFramework>net8.0</TargetFramework>
         <GenerateDocumentationFile>true</GenerateDocumentationFile>
-        <Version>0.7.0-beta2</Version>
+        <Version>0.7.0-beta3</Version>
         <Description>Stateful testing for Hedgehog</Description>
         <Authors>Alexey Raga</Authors>
         <Copyright>Copyright © 2025</Copyright>
@@ -38,6 +38,7 @@
       <Compile Include="SequentialSpecification.fs" />
       <Compile Include="ParallelSpecification.fs" />
       <Compile Include="Linq\VarExtensions.fs" />
+      <Compile Include="Linq\SpecificationExtensions.fs" />
       <Compile Include="Linq\NoValue.fs" />
     </ItemGroup>
 

src/Hedgehog.Stateful/Linq/SpecificationExtensions.fs

@@ -0,0 +1,37 @@
+namespace Hedgehog.Stateful.Linq
+
+open System
+open System.Runtime.CompilerServices
+open Hedgehog
+open Hedgehog.Stateful
+
+
+/// <summary>
+/// Extension methods for working with specifications in C#.
+/// </summary>
+[<AbstractClass; Sealed>]
+type SpecificationExtensions private () =
+
+    /// <summary>
+    /// Convert a sequential specification to a property using a SUT factory.
+    /// The factory is called once per property test run to create a fresh SUT.
+    /// This is the recommended approach to ensure test isolation.
+    /// </summary>
+    /// <param name="spec">The sequential specification.</param>
+    /// <param name="createSut">A Func delegate that creates a new SUT instance for each test run.</param>
+    /// <returns>A property representing the sequential specification test.</returns>
+    [<Extension>]
+    static member ToPropertyWith(spec: SequentialSpecification<'TSystem, 'TState>, createSut: Func<'TSystem>) : Property<unit> =
+        spec.ToPropertyWith(fun () -> createSut.Invoke())
+
+    /// <summary>
+    /// Convert a parallel specification to a property using a SUT factory.
+    /// The factory is called once per property test run to create a fresh SUT.
+    /// This is the recommended approach to ensure test isolation.
+    /// </summary>
+    /// <param name="spec">The parallel specification.</param>
+    /// <param name="createSut">A Func delegate that creates a new SUT instance for each test run.</param>
+    /// <returns>A property representing the parallel specification test.</returns>
+    [<Extension>]
+    static member ToPropertyWith(spec: ParallelSpecification<'TSystem, 'TState>, createSut: Func<'TSystem>) : Property<unit> =
+        spec.ToPropertyWith(fun () -> createSut.Invoke())