Skip to content

Instantly share code, notes, and snippets.

@pocketberserker

pocketberserker/fcuntion_arb

Last active August 29, 2015 14:22
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save pocketberserker/dda47f5cabf1868050f9 to your computer and use it in GitHub Desktop.
Save pocketberserker/dda47f5cabf1868050f9 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
fcuntion_arb
PS> fsi .\function_arb.fsx
[|1947238346; 1876093363; -1146235286; -158522910; -1146235286|]
[|-158522910; 1947238346; -2113288697; 2088097146; -2113288697|]
[|2088097146; -158522910; -253957570; -1146235286; -253957570|]
[|-1146235286; 2088097146; 1156533104; -2113288697; 1156533104|]
Raw
function_arb.fsx
// 下のpathはいい感じに変える
#I "./"
#r "Persimmon.dll"
#r "Persimmon.Dried.dll"
open Persimmon.Dried
(Arb.array (Arb.func CoArbitrary.int Arb.int)).Gen
|> Gen.apply Gen.Parameters.Default
|> Array.map (fun f -> [|1 .. 5|] |> Array.map f)
|> Array.iter (printfn "%A")
@pocketberserker
Copy link
Author

https://gist.github.com/xuwei-k/45616dddc87131c22aa0

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment