Persimmon.Dried

Syntax

Namespace: Persimmon.Dried

Nested types and modules

ModuleDescription
UseTestNameByReflection

Functions and values

Function or valueDescription
( .&. ) p1 p2
Signature: p1:^a -> p2:Lazy<^b> -> Prop
Type parameters: ^a, ^b

CompiledName: op_DotAmpDot
( .|. ) p1 p2
Signature: p1:^?8338 -> p2:Lazy<^?8339> -> Prop
Type parameters: ^?8338, ^?8339

CompiledName: op_DotBarDot
( @| ) s p
Signature: s:string -> p:^?8350 -> Prop
Type parameters: ^?8350

CompiledName: op_AtBar
( |@ ) p s
Signature: p:^d -> s:string -> Prop
Type parameters: ^d

CompiledName: op_BarAt
( ++ ) p1 p2
Signature: p1:^?8341 -> p2:Lazy<^?8342> -> Prop
Type parameters: ^?8341, ^?8342

CompiledName: op_PlusPlus
( == ) p1 p
Signature: p1:^?8347 -> p:^?8348 -> Prop
Type parameters: ^?8347, ^?8348

CompiledName: op_EqualsEquals
( ==> ) p1 p2
Signature: p1:^a -> p2:Lazy<^b> -> Prop
Type parameters: ^a, ^b

CompiledName: op_EqualsEqualsGreater
arbitrary
Signature: ArbitraryBuilder
Prop
Signature: PropModule
property name
Signature: name:string -> PropertiesBuilder

Type extensions

Type extensionDescription
all(ps)
Signature: ps:seq<Prop> -> Prop

CompiledName: All
appendLabel(n p)
Signature: n:string -> p:Prop -> Prop

CompiledName: PropModule.appendLabel
apply(f)
Signature: (f:(GenParameters -> PropResult)) -> Prop

CompiledName: PropModule.apply
apply(r)
Signature: r:PropResult -> Prop

CompiledName: PropModule.apply
apply(b)
Signature: b:bool -> Prop

CompiledName: Apply
atLeastOne(ps)
Signature: ps:seq<Prop> -> Prop

CompiledName: AtLeastOne
bind(f g)
Signature: (f:(PropResult -> Prop)) -> g:Prop -> Prop

CompiledName: PropModule.bind
collect(f)
Signature: (f:('?8330 -> '?8331)) -> '?8330 -> Prop
Type parameters: '?8330, '?8331

CompiledName: PropModule.collect
combine(f g1 g2)
Signature: (f:(PropResult -> PropResult -> PropResult)) -> g1:Prop -> g2:Prop -> Prop

CompiledName: PropModule.combine
contramap(f g)
Signature: (f:(GenParameters -> GenParameters)) -> g:Prop -> Prop

CompiledName: PropModule.contramap
exn(e)
Signature: e:exn -> Prop

CompiledName: Exn
exnNull
Signature: Lazy<Prop>

CompiledName: PropModule.get_exnNull
exnNull
Signature: Lazy<Prop>

CompiledName: PropModule.get_exnNull
falsified
Signature: Lazy<Prop>

CompiledName: PropModule.get_falsified
falsified
Signature: Lazy<Prop>

CompiledName: PropModule.get_falsified
forAll(a1, a2)
Signature: (a1:IArbitrary<'?8287> * a2:IArbitrary<'?8288>) -> ('?8287 -> '?8288 -> ^?8289) -> Prop<'?8287 * '?8288>
Type parameters: '?8287, '?8288, ^?8289

CompiledName: PropModule.forAll
forAll(a1, a2, a3)
Signature: (a1:IArbitrary<'?8291> * a2:IArbitrary<'?8292> * a3:IArbitrary<'?8293>) -> ('?8291 -> '?8292 -> '?8293 -> ^?8294) -> Prop<'?8291 * '?8292 * '?8293>
Type parameters: '?8291, '?8292, '?8293, ^?8294

CompiledName: PropModule.forAll
forAll(a1, a2, a3, a4)
Signature: (a1:IArbitrary<'?8296> * a2:IArbitrary<'?8297> * a3:IArbitrary<'?8298> * a4:IArbitrary<'?8299>) -> ('?8296 -> '?8297 -> '?8298 -> '?8299 -> ^?8300) -> Prop<'?8296 * '?8297 * '?8298 * '?8299>
Type parameters: '?8296, '?8297, '?8298, '?8299, ^?8300

CompiledName: PropModule.forAll
forAll(a1, a2, a3, a4, a5)
Signature: (a1:IArbitrary<'?8302> * a2:IArbitrary<'?8303> * a3:IArbitrary<'?8304> * a4:IArbitrary<'?8305> * a5:IArbitrary<'?8306>) -> ('?8302 -> '?8303 -> '?8304 -> '?8305 -> '?8306 -> ^?8307) -> Prop<'?8302 * '?8303 * '?8304 * '?8305 * '?8306>
Type parameters: '?8302, '?8303, '?8304, '?8305, '?8306, ^?8307

CompiledName: PropModule.forAll
forAll(a1, a2, a3, a4, a5, a6)
Signature: (a1:IArbitrary<'?8309> * a2:IArbitrary<'?8310> * a3:IArbitrary<'?8311> * a4:IArbitrary<'?8312> * a5:IArbitrary<'?8313> * a6:IArbitrary<'?8314>) -> ('?8309 -> '?8310 -> '?8311 -> '?8312 -> '?8313 -> '?8314 -> ^?8315) -> Prop<'?8309 * '?8310 * '?8311 * '?8312 * '?8313 * '?8314>
Type parameters: '?8309, '?8310, '?8311, '?8312, '?8313, '?8314, ^?8315

CompiledName: PropModule.forAll
forAll(a1, a2, a3, a4, a5, a6, a7)
Signature: (a1:IArbitrary<'?8317> * a2:IArbitrary<'?8318> * a3:IArbitrary<'?8319> * a4:IArbitrary<'?8320> * a5:IArbitrary<'?8321> * a6:IArbitrary<'?8322> * a7:IArbitrary<'?8323>) -> ('?8317 -> '?8318 -> '?8319 -> '?8320 -> '?8321 -> '?8322 -> '?8323 -> ^?8324) -> Prop<'?8317 * '?8318 * '?8319 * '?8320 * '?8321 * '?8322 * '?8323>
Type parameters: '?8317, '?8318, '?8319, '?8320, '?8321, '?8322, '?8323, ^?8324

CompiledName: PropModule.forAll
forAllNoShrink(g1, g2)
Signature: (g1:NonShrinkerArbitrary<'?8248> * g2:NonShrinkerArbitrary<'?8249>) -> ('?8248 -> '?8249 -> ^?8250) -> Prop<'?8248 * '?8249>
Type parameters: '?8248, '?8249, ^?8250

CompiledName: PropModule.forAllNoShrink
forAllNoShrink(g1, g2, g3)
Signature: (g1:NonShrinkerArbitrary<'?8252> * g2:NonShrinkerArbitrary<'?8253> * g3:NonShrinkerArbitrary<'?8254>) -> ('?8252 -> '?8253 -> '?8254 -> ^?8255) -> Prop<'?8252 * '?8253 * '?8254>
Type parameters: '?8252, '?8253, '?8254, ^?8255

CompiledName: PropModule.forAllNoShrink
forAllNoShrink(g1, g2, g3, g4)
Signature: (g1:NonShrinkerArbitrary<'?8257> * g2:NonShrinkerArbitrary<'?8258> * g3:NonShrinkerArbitrary<'?8259> * g4:NonShrinkerArbitrary<'?8260>) -> ('?8257 -> '?8258 -> '?8259 -> '?8260 -> ^?8261) -> Prop<'?8257 * '?8258 * '?8259 * '?8260>
Type parameters: '?8257, '?8258, '?8259, '?8260, ^?8261

CompiledName: PropModule.forAllNoShrink
forAllNoShrink(g1, g2, g3, g4, g5)
Signature: (g1:NonShrinkerArbitrary<'?8263> * g2:NonShrinkerArbitrary<'?8264> * g3:NonShrinkerArbitrary<'?8265> * g4:NonShrinkerArbitrary<'?8266> * g5:NonShrinkerArbitrary<'?8267>) -> ('?8263 -> '?8264 -> '?8265 -> '?8266 -> '?8267 -> ^?8268) -> Prop<'?8263 * '?8264 * '?8265 * '?8266 * '?8267>
Type parameters: '?8263, '?8264, '?8265, '?8266, '?8267, ^?8268

CompiledName: PropModule.forAllNoShrink
forAllNoShrink(g1, g2, g3, g4, g5, g6)
Signature: (g1:NonShrinkerArbitrary<'?8270> * g2:NonShrinkerArbitrary<'?8271> * g3:NonShrinkerArbitrary<'?8272> * g4:NonShrinkerArbitrary<'?8273> * g5:NonShrinkerArbitrary<'?8274> * g6:NonShrinkerArbitrary<'?8275>) -> ('?8270 -> '?8271 -> '?8272 -> '?8273 -> '?8274 -> '?8275 -> ^?8276) -> Prop<'?8270 * '?8271 * '?8272 * '?8273 * '?8274 * '?8275>
Type parameters: '?8270, '?8271, '?8272, '?8273, '?8274, '?8275, ^?8276

CompiledName: PropModule.forAllNoShrink
forAllNoShrink(...)
Signature: (g1:NonShrinkerArbitrary<'?8278> * g2:NonShrinkerArbitrary<'?8279> * g3:NonShrinkerArbitrary<'?8280> * g4:NonShrinkerArbitrary<'?8281> * g5:NonShrinkerArbitrary<'?8282> * g6:NonShrinkerArbitrary<'?8283> * g7:NonShrinkerArbitrary<'?8284>) -> ('?8278 -> '?8279 -> '?8280 -> '?8281 -> '?8282 -> '?8283 -> '?8284 -> ^?8285) -> Prop<'?8278 * '?8279 * '?8280 * '?8281 * '?8282 * '?8283 * '?8284>
Type parameters: '?8278, '?8279, '?8280, '?8281, '?8282, '?8283, '?8284, ^?8285

CompiledName: PropModule.forAllNoShrink
generic(p)
Signature: p:Prop -> Prop<unit>

CompiledName: PropModule.generic
map(f g)
Signature: (f:(PropResult -> PropResult)) -> g:Prop -> Prop

CompiledName: PropModule.map
passed
Signature: Lazy<Prop>

CompiledName: PropModule.get_passed
passed
Signature: Lazy<Prop>

CompiledName: PropModule.get_passed
proved
Signature: Lazy<Prop>

CompiledName: PropModule.get_proved
proved
Signature: Lazy<Prop>

CompiledName: PropModule.get_proved
provedToTrue(r)
Signature: r:PropResult -> PropResult

CompiledName: PropModule.provedToTrue
raises(x)
Signature: x:Lazy<'U> -> bool
Type parameters: 'T, 'U

CompiledName: Throws
secure(p)
Signature: (p:(unit -> 'b)) -> Prop
Type parameters: 'b

CompiledName: PropModule.secure
sizedProp(f)
Signature: (f:(int -> '?8241)) -> Prop
Type parameters: '?8241

CompiledName: PropModule.sizedProp
skip(s)
Signature: s:string -> Prop

CompiledName: Skip
skipWithoutMessage
Signature: Lazy<Prop>

CompiledName: PropModule.get_skipWithoutMessage
skipWithoutMessage
Signature: Lazy<Prop>

CompiledName: PropModule.get_skipWithoutMessage
undecided
Signature: Lazy<Prop>

CompiledName: PropModule.get_undecided
undecided
Signature: Lazy<Prop>

CompiledName: PropModule.get_undecided
within(maximumMs wrappedProp)
Signature: maximumMs:int -> wrappedProp:Lazy<Prop> -> Prop

CompiledName: PropModule.within
Fork me on GitHub