PropModuleExtensions
Namespace: Persimmon.Dried
Constructors
| Constructor | Description |
new()
Signature: unit -> PropModuleExtensions
|
CompiledName: |
Static members
| Static member | Description |
Collect(prop, f, t)
Signature: (prop:PropModule * f:Func<'?8998,'?8999> * t:bool) -> Prop
Type parameters: '?8998, '?8999 |
|
Collect(prop, f, t)
Signature: (prop:PropModule * f:Func<'?8995,'?8996> * t:Prop) -> Prop
Type parameters: '?8995, '?8996 |
|
ForAll(...)
Signature: (prop:PropModule * a1:IArbitrary<'?9067> * a2:IArbitrary<'?9068> * a3:IArbitrary<'?9069> * a4:IArbitrary<'?9070> * a5:IArbitrary<'?9071> * a6:IArbitrary<'?9072> * a7:IArbitrary<'?9073> * f:Func<'?9067,'?9068,'?9069,'?9070,'?9071,'?9072,'?9073,Prop>) -> Prop<'?9067>
Type parameters: '?9067, '?9068, '?9069, '?9070, '?9071, '?9072, '?9073 |
|
ForAll(prop, a1, a2, a3, a4, a5, a6, f)
Signature: (prop:PropModule * a1:IArbitrary<'?9060> * a2:IArbitrary<'?9061> * a3:IArbitrary<'?9062> * a4:IArbitrary<'?9063> * a5:IArbitrary<'?9064> * a6:IArbitrary<'?9065> * f:Func<'?9060,'?9061,'?9062,'?9063,'?9064,'?9065,Prop>) -> Prop<'?9060>
Type parameters: '?9060, '?9061, '?9062, '?9063, '?9064, '?9065 |
|
ForAll(prop, a1, a2, a3, a4, a5, f)
Signature: (prop:PropModule * a1:IArbitrary<'?9054> * a2:IArbitrary<'?9055> * a3:IArbitrary<'?9056> * a4:IArbitrary<'?9057> * a5:IArbitrary<'?9058> * f:Func<'?9054,'?9055,'?9056,'?9057,'?9058,Prop>) -> Prop<'?9054>
Type parameters: '?9054, '?9055, '?9056, '?9057, '?9058 |
|
ForAll(prop, a1, a2, a3, a4, f)
Signature: (prop:PropModule * a1:IArbitrary<'?9049> * a2:IArbitrary<'?9050> * a3:IArbitrary<'?9051> * a4:IArbitrary<'?9052> * f:Func<'?9049,'?9050,'?9051,'?9052,Prop>) -> Prop<'?9049>
Type parameters: '?9049, '?9050, '?9051, '?9052 |
|
ForAll(prop, a1, a2, a3, f)
Signature: (prop:PropModule * a1:IArbitrary<'?9045> * a2:IArbitrary<'?9046> * a3:IArbitrary<'?9047> * f:Func<'?9045,'?9046,'?9047,Prop>) -> Prop<'?9045>
Type parameters: '?9045, '?9046, '?9047 |
|
ForAll(prop, a1, a2, f)
Signature: (prop:PropModule * a1:IArbitrary<'?9042> * a2:IArbitrary<'?9043> * f:Func<'?9042,'?9043,Prop>) -> Prop<'?9042>
Type parameters: '?9042, '?9043 |
|
ForAll(prop, a, f)
Signature: (prop:PropModule * a:IArbitrary<'?9040> * f:Func<'?9040,Prop>) -> Prop<'?9040>
Type parameters: '?9040 |
|
ForAll(...)
Signature: (prop:PropModule * a1:IArbitrary<'?8987> * a2:IArbitrary<'?8988> * a3:IArbitrary<'?8989> * a4:IArbitrary<'?8990> * a5:IArbitrary<'?8991> * a6:IArbitrary<'?8992> * a7:IArbitrary<'?8993> * f:Func<'?8987,'?8988,'?8989,'?8990,'?8991,'?8992,'?8993,bool>) -> Prop<'?8987>
Type parameters: '?8987, '?8988, '?8989, '?8990, '?8991, '?8992, '?8993 |
|
ForAll(prop, a1, a2, a3, a4, a5, a6, f)
Signature: (prop:PropModule * a1:IArbitrary<'?8980> * a2:IArbitrary<'?8981> * a3:IArbitrary<'?8982> * a4:IArbitrary<'?8983> * a5:IArbitrary<'?8984> * a6:IArbitrary<'?8985> * f:Func<'?8980,'?8981,'?8982,'?8983,'?8984,'?8985,bool>) -> Prop<'?8980>
Type parameters: '?8980, '?8981, '?8982, '?8983, '?8984, '?8985 |
|
ForAll(prop, a1, a2, a3, a4, a5, f)
Signature: (prop:PropModule * a1:IArbitrary<'?8974> * a2:IArbitrary<'?8975> * a3:IArbitrary<'?8976> * a4:IArbitrary<'?8977> * a5:IArbitrary<'?8978> * f:Func<'?8974,'?8975,'?8976,'?8977,'?8978,bool>) -> Prop<'?8974>
Type parameters: '?8974, '?8975, '?8976, '?8977, '?8978 |
|
ForAll(prop, a1, a2, a3, a4, f)
Signature: (prop:PropModule * a1:IArbitrary<'?8969> * a2:IArbitrary<'?8970> * a3:IArbitrary<'?8971> * a4:IArbitrary<'?8972> * f:Func<'?8969,'?8970,'?8971,'?8972,bool>) -> Prop<'?8969>
Type parameters: '?8969, '?8970, '?8971, '?8972 |
|
ForAll(prop, a1, a2, a3, f)
Signature: (prop:PropModule * a1:IArbitrary<'?8965> * a2:IArbitrary<'?8966> * a3:IArbitrary<'?8967> * f:Func<'?8965,'?8966,'?8967,bool>) -> Prop<'?8965>
Type parameters: '?8965, '?8966, '?8967 |
|
ForAll(prop, a1, a2, f)
Signature: (prop:PropModule * a1:IArbitrary<'?8962> * a2:IArbitrary<'?8963> * f:Func<'?8962,'?8963,bool>) -> Prop<'?8962>
Type parameters: '?8962, '?8963 |
|
ForAll(prop, a, f)
Signature: (prop:PropModule * a:IArbitrary<'?8960> * f:Func<'?8960,bool>) -> Prop<'?8960>
Type parameters: '?8960 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9032> * g2:NonShrinkerArbitrary<'?9033> * g3:NonShrinkerArbitrary<'?9034> * g4:NonShrinkerArbitrary<'?9035> * g5:NonShrinkerArbitrary<'?9036> * g6:NonShrinkerArbitrary<'?9037> * g7:NonShrinkerArbitrary<'?9038> * f:Func<'?9032,'?9033,'?9034,'?9035,'?9036,'?9037,'?9038,Prop>) -> Prop<'?9032>
Type parameters: '?9032, '?9033, '?9034, '?9035, '?9036, '?9037, '?9038 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9025> * g2:NonShrinkerArbitrary<'?9026> * g3:NonShrinkerArbitrary<'?9027> * g4:NonShrinkerArbitrary<'?9028> * g5:NonShrinkerArbitrary<'?9029> * g6:NonShrinkerArbitrary<'?9030> * f:Func<'?9025,'?9026,'?9027,'?9028,'?9029,'?9030,Prop>) -> Prop<'?9025>
Type parameters: '?9025, '?9026, '?9027, '?9028, '?9029, '?9030 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9019> * g2:NonShrinkerArbitrary<'?9020> * g3:NonShrinkerArbitrary<'?9021> * g4:NonShrinkerArbitrary<'?9022> * g5:NonShrinkerArbitrary<'?9023> * f:Func<'?9019,'?9020,'?9021,'?9022,'?9023,Prop>) -> Prop<'?9019>
Type parameters: '?9019, '?9020, '?9021, '?9022, '?9023 |
|
ForAllNoShrink(prop, g1, g2, g3, g4, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9014> * g2:NonShrinkerArbitrary<'?9015> * g3:NonShrinkerArbitrary<'?9016> * g4:NonShrinkerArbitrary<'?9017> * f:Func<'?9014,'?9015,'?9016,'?9017,Prop>) -> Prop<'?9014>
Type parameters: '?9014, '?9015, '?9016, '?9017 |
|
ForAllNoShrink(prop, g1, g2, g3, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9010> * g2:NonShrinkerArbitrary<'?9011> * g3:NonShrinkerArbitrary<'?9012> * f:Func<'?9010,'?9011,'?9012,Prop>) -> Prop<'?9010>
Type parameters: '?9010, '?9011, '?9012 |
|
ForAllNoShrink(prop, g1, g2, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?9007> * g2:NonShrinkerArbitrary<'?9008> * f:Func<'?9007,'?9008,Prop>) -> Prop<'?9007>
Type parameters: '?9007, '?9008 |
|
ForAllNoShrink(prop, g, f)
Signature: (prop:PropModule * g:NonShrinkerArbitrary<'?9005> * f:Func<'?9005,Prop>) -> Prop<'?9005>
Type parameters: '?9005 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8952> * g2:NonShrinkerArbitrary<'?8953> * g3:NonShrinkerArbitrary<'?8954> * g4:NonShrinkerArbitrary<'?8955> * g5:NonShrinkerArbitrary<'?8956> * g6:NonShrinkerArbitrary<'?8957> * g7:NonShrinkerArbitrary<'?8958> * f:Func<'?8952,'?8953,'?8954,'?8955,'?8956,'?8957,'?8958,bool>) -> Prop<'?8952>
Type parameters: '?8952, '?8953, '?8954, '?8955, '?8956, '?8957, '?8958 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8945> * g2:NonShrinkerArbitrary<'?8946> * g3:NonShrinkerArbitrary<'?8947> * g4:NonShrinkerArbitrary<'?8948> * g5:NonShrinkerArbitrary<'?8949> * g6:NonShrinkerArbitrary<'?8950> * f:Func<'?8945,'?8946,'?8947,'?8948,'?8949,'?8950,bool>) -> Prop<'?8945>
Type parameters: '?8945, '?8946, '?8947, '?8948, '?8949, '?8950 |
|
ForAllNoShrink(...)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8939> * g2:NonShrinkerArbitrary<'?8940> * g3:NonShrinkerArbitrary<'?8941> * g4:NonShrinkerArbitrary<'?8942> * g5:NonShrinkerArbitrary<'?8943> * f:Func<'?8939,'?8940,'?8941,'?8942,'?8943,bool>) -> Prop<'?8939>
Type parameters: '?8939, '?8940, '?8941, '?8942, '?8943 |
|
ForAllNoShrink(prop, g1, g2, g3, g4, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8934> * g2:NonShrinkerArbitrary<'?8935> * g3:NonShrinkerArbitrary<'?8936> * g4:NonShrinkerArbitrary<'?8937> * f:Func<'?8934,'?8935,'?8936,'?8937,bool>) -> Prop<'?8934>
Type parameters: '?8934, '?8935, '?8936, '?8937 |
|
ForAllNoShrink(prop, g1, g2, g3, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8930> * g2:NonShrinkerArbitrary<'?8931> * g3:NonShrinkerArbitrary<'?8932> * f:Func<'?8930,'?8931,'?8932,bool>) -> Prop<'?8930>
Type parameters: '?8930, '?8931, '?8932 |
|
ForAllNoShrink(prop, g1, g2, f)
Signature: (prop:PropModule * g1:NonShrinkerArbitrary<'?8927> * g2:NonShrinkerArbitrary<'?8928> * f:Func<'?8927,'?8928,bool>) -> Prop<'?8927>
Type parameters: '?8927, '?8928 |
|
ForAllNoShrink(prop, g, f)
Signature: (prop:PropModule * g:NonShrinkerArbitrary<'?8925> * f:Func<'?8925,bool>) -> Prop<'?8925>
Type parameters: '?8925 |
|
Secure(prop, p)
Signature: (prop:PropModule * p:Func<'?9001>) -> Prop
Type parameters: '?9001 |
|
SizedProp(prop, f)
Signature: (prop:PropModule * f:Func<int,'?9003>) -> Prop
Type parameters: '?9003 |
|
