Ответ 1

Gen

Здесь один из способов удовлетворения требований:

open FsCheck

let streamGen = gen {
    let! uniqueStrings = Arb.Default.Set<string>().Generator
    let initEvents = uniqueStrings |> Seq.map InitEvent

    let! sortValues =
        Arb.Default.Int32()
        |> Arb.toGen
        |> Gen.listOfLength uniqueStrings.Count
    let refEvents =
        Seq.zip uniqueStrings sortValues
        |> Seq.sortBy snd
        |> Seq.map fst
        |> Seq.map RefEvent

    return Seq.append initEvents refEvents }

Полуофициальный ответ о том, как создавать уникальные строки, должен генерировать Set<string>. Поскольку Set<'a> также реализует 'a seq, вы можете использовать на нем все обычные функции Seq.

Генерация значений InitEvent, то это простая операция map над уникальными строками.

Поскольку каждый RefEvent должен иметь соответствующий InitEvent, вы можете повторно использовать одни и те же уникальные строки, но вы можете захотеть указать значение RefEvent для параметра в другом порядке. Для этого вы можете сгенерировать sortValues, который представляет собой список случайных значений int. Этот список имеет ту же длину, что и набор строк.

В этот момент у вас есть список уникальных строк и список случайных целых чисел. Вот некоторые поддельные значения, которые иллюстрируют концепцию:

> let uniqueStrings = ["foo"; "bar"; "baz"];;
val uniqueStrings : string list = ["foo"; "bar"; "baz"]

> let sortValues = [42; 1337; 42];;    
val sortValues : int list = [42; 1337; 42]

Теперь вы можете zip их:

> List.zip uniqueStrings sortValues;;
val it : (string * int) list = [("foo", 42); ("bar", 1337); ("baz", 42)]

Сортировка такой последовательности на ее втором элементе даст вам случайный перетасованный список, а затем вы можете map только первый элемент:

> List.zip uniqueStrings sortValues |> List.sortBy snd |> List.map fst;;
val it : string list = ["foo"; "baz"; "bar"]

Поскольку все значения InitEvent должны появиться перед значениями RefEvent, вы можете добавить refEvents в initEvents и вернуть этот объединенный список.

Проверка

Вы можете проверить, что streamGen работает по назначению:

open FsCheck.Xunit
open Swensen.Unquote

let isInitEvent = function InitEvent _ -> true | _ -> false
let isRefEvent =  function RefEvent  _ -> true | _ -> false

[<Property(MaxTest = 100000)>]
let ``All InitEvents must come before all RefEvents`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        test <@ s |> Seq.skipWhile isInitEvent |> Seq.forall isRefEvent @>

[<Property(MaxTest = 100000)>]
let ``All InitEvents strings must be unique`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        let initEventStrings =
            s |> Seq.choose (function InitEvent s -> Some s | _ -> None)
        let distinctStrings = initEventStrings |> Seq.distinct

        distinctStrings |> Seq.length =! (initEventStrings |> Seq.length)

[<Property(MaxTest = 100000)>]
let ``All RefEvent names must have an earlier corresponding InitEvent`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        let initEventStrings =
            s
            |> Seq.choose (function InitEvent s -> Some s | _ -> None)
            |> Seq.sort
            |> Seq.toList
        let refEventStrings =
            s
            |> Seq.choose (function RefEvent s -> Some s | _ -> None)
            |> Seq.sort
            |> Seq.toList

        initEventStrings =! refEventStrings

Эти три свойства передаются на мою машину.

Требования к Looser

В соответствии с более слабыми требованиями, изложенными в комментариях к этому ответу, здесь обновляется генератор, который извлекает значения из строк initEvents:

open FsCheck

let streamGen = gen {
    let! uniqueStrings = Arb.Default.NonEmptySet<string>().Generator
    let initEvents = uniqueStrings.Get |> Seq.map InitEvent

    let! refEvents =
        uniqueStrings.Get |> Seq.map RefEvent |> Gen.elements |> Gen.listOf

    return Seq.append initEvents refEvents }

На этот раз uniqueStrings является непустым набором строк.

Вы можете использовать Seq.map RefEvent для генерации последовательности всех допустимых значений RefEvent на основе uniqueStrings, а затем Gen.elements для определения генератора допустимых значений RefEvent, которые извлекаются из этой последовательности действительных значений. Наконец, Gen.listOf создает списки значений, сгенерированных этим генератором.

Испытания

Эти тесты показывают, что streamGen генерирует значения в соответствии с правилами:

open FsCheck.Xunit
open Swensen.Unquote

let isInitEvent = function InitEvent _ -> true | _ -> false
let isRefEvent =  function RefEvent  _ -> true | _ -> false

[<Property(MaxTest = 100000)>]
let ``All InitEvents must come before all RefEvents`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        test <@ s |> Seq.skipWhile isInitEvent |> Seq.forall isRefEvent @>

[<Property(MaxTest = 100000)>]
let ``All InitEvents strings must be unique`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        let initEventStrings =
            s |> Seq.choose (function InitEvent s -> Some s | _ -> None)
        let distinctStrings = initEventStrings |> Seq.distinct

        distinctStrings |> Seq.length =! (initEventStrings |> Seq.length)

[<Property(MaxTest = 100000)>]
let ``All RefEvent names must have an earlier corresponding InitEvent`` () =
    Prop.forAll (streamGen |> Arb.fromGen) <| fun s ->
        let initEventStrings =
            s
            |> Seq.choose (function InitEvent s -> Some s | _ -> None)
            |> Seq.sort
            |> Set.ofSeq

        test <@ s
                |> Seq.choose (function RefEvent s -> Some s | _ -> None)
                |> Seq.forall initEventStrings.Contains @>

Эти три свойства передаются на мою машину.