Persimmon.Dried

CoArb

Namespace: Persimmon.Dried

Functions and values

Function or valueDescription
apply(a c)
Signature: a:'c -> c:CoArbitrary<'c> -> Gen<'d> -> Gen<'d>
Type parameters: 'c, 'd
array(a)
Signature: a:CoArbitrary<'?8771> -> CoArbitrary<'?8771 []>
Type parameters: '?8771

CompiledName: Array
bool
Signature: CoArbitrary<bool>

CompiledName: Bool
byte
Signature: CoArbitrary<byte>

CompiledName: Byte
char
Signature: CoArbitrary<char>

CompiledName: Char
choice(l r)
Signature: l:CoArbitrary<'?8783> -> r:CoArbitrary<'?8784> -> CoArbitrary<Choice<'?8783,'?8784>>
Type parameters: '?8783, '?8784
contramap(f c)
Signature: f:('U -> 'T) -> c:CoArbitrary<'T> -> CoArbitrary<'U>
Type parameters: 'U, 'T
dict(a b)
Signature: a:CoArbitrary<'?8787> -> b:CoArbitrary<'?8788> -> CoArbitrary<Dictionary<'?8787,'?8788>>
Type parameters: '?8787, '?8788

CompiledName: Dictionary
float
Signature: CoArbitrary<float>

CompiledName: Double
float32
Signature: CoArbitrary<float32>

CompiledName: Single
int
Signature: CoArbitrary<int>

CompiledName: Int
int16
Signature: CoArbitrary<int16>

CompiledName: Int16
int64
Signature: CoArbitrary<int64>

CompiledName: Int64
list(l)
Signature: l:CoArbitrary<'?8769> -> CoArbitrary<'?8769 list>
Type parameters: '?8769
map(a b)
Signature: a:CoArbitrary<'?8780> -> b:CoArbitrary<'?8781> -> CoArbitrary<Map<'?8780,'?8781>>
Type parameters: '?8780, '?8781
option(c)
Signature: c:CoArbitrary<'?8750> -> CoArbitrary<'?8750 option>
Type parameters: '?8750
resizeArray(a)
Signature: a:CoArbitrary<'?8776> -> CoArbitrary<ResizeArray<'?8776>>
Type parameters: '?8776

CompiledName: List
sbyte
Signature: CoArbitrary<sbyte>

CompiledName: SByte
seq(a)
Signature: a:CoArbitrary<'?8773> -> CoArbitrary<'?8774>
Type parameters: '?8773, '?8774

CompiledName: IEnumerable
set(a)
Signature: a:CoArbitrary<'?8778> -> CoArbitrary<Set<'?8778>>
Type parameters: '?8778
string
Signature: CoArbitrary<string>

CompiledName: String
tuple2(xa yb)
Signature: xa:CoArbitrary<'?8762> -> yb:CoArbitrary<'?8763> -> CoArbitrary<'?8762 * '?8763>
Type parameters: '?8762, '?8763

CompiledName: Tuple
tuple3(xa yb zc)
Signature: xa:CoArbitrary<'?8765> -> yb:CoArbitrary<'?8766> -> zc:CoArbitrary<'?8767> -> CoArbitrary<'?8765 * '?8766 * '?8767>
Type parameters: '?8765, '?8766, '?8767

CompiledName: Tuple
uint16
Signature: CoArbitrary<uint16>

CompiledName: UInt16
uint32
Signature: CoArbitrary<uint32>

CompiledName: UInt32
uint64
Signature: CoArbitrary<uint64>

CompiledName: UInt64
unit
Signature: CoArbitrary<unit>
Fork me on GitHub