Persimmon.Dried

Prop<'T>

Namespace: Persimmon.Dried

Constructors

ConstructorDescription
new(sample, prop)
Signature: (sample:'T * prop:Prop) -> Prop<'T>

CompiledName: .ctor

Instance members

Instance memberDescription
Map(f)
Signature: (f:('T -> 'a)) -> Prop<'a>
Sample
Signature: 'T

CompiledName: get_Sample
Snoc(v)
Signature: v:'a -> Prop<'T * 'a>
Fork me on GitHub