Shrink
Namespace: Persimmon.Dried
Functions and values
| Function or value | Description |
apply s
Signature: s:('a -> seq<'a>) -> Shrink<'a>
Type parameters: 'a |
|
shrink s x
Signature: s:Shrink<'a> -> x:'a -> seq<'a>
Type parameters: 'a |
|
shrinkAny
Signature: Shrink<'T>
Type parameters: 'T |
CompiledName: |
shrinkArray s
Signature: s:Shrink<'b> -> Shrink<'b []>
Type parameters: 'b |
CompiledName: |
shrinkByte
Signature: Shrink<byte>
|
CompiledName: |
shrinkChoice s1 s2
Signature: s1:Shrink<'c> -> s2:Shrink<'d> -> Shrink<Choice<'c,'d>>
Type parameters: 'c, 'd |
|
shrinkInt
Signature: Shrink<int>
|
CompiledName: |
shrinkInt16
Signature: Shrink<int16>
|
CompiledName: |
shrinkInt64
Signature: Shrink<int64>
|
CompiledName: |
shrinkList s
Signature: s:Shrink<'b> -> Shrink<'b list>
Type parameters: 'b |
|
shrinkOption s
Signature: s:Shrink<'b> -> Shrink<'b option>
Type parameters: 'b |
|
shrinkSbyte
Signature: Shrink<sbyte>
|
CompiledName: |
shrinkSeq s
Signature: s:Shrink<'b> -> Shrink<seq<'b>>
Type parameters: 'b |
CompiledName: |
shrinkString
Signature: Shrink<string>
|
CompiledName: |
shrinkTuple2 s1 s2
Signature: s1:Shrink<'?8857> -> s2:Shrink<'?8858> -> Shrink<'?8857 * '?8858>
Type parameters: '?8857, '?8858 |
|
shrinkTuple3 s1 s2 s3
Signature: s1:Shrink<'?8860> -> s2:Shrink<'?8861> -> s3:Shrink<'?8862> -> Shrink<'?8860 * '?8861 * '?8862>
Type parameters: '?8860, '?8861, '?8862 |
|
shrinkUInt16
Signature: Shrink<uint16>
|
CompiledName: |
shrinkUInt32
Signature: Shrink<uint32>
|
CompiledName: |
shrinkUInt64
Signature: Shrink<uint64>
|
CompiledName: |
xmap st from to'
Signature: st:Shrink<'?8864> -> from:('?8864 -> '?8865) -> to':('?8865 -> '?8864) -> Shrink<'?8865>
Type parameters: '?8864, '?8865 |
|
