Header menu logo FSharp.Data.Adaptive

Map Module

Adaptive operators for Map.

Functions and values

Function or value Description

existsA predicate elements

Full Usage: existsA predicate elements

Parameters:
    predicate : 'K -> 'V -> aval<bool>
    elements : Map<'K, 'V>

Returns: aval<bool>

Adaptively checks whether one or more entries make the given predicate true.

predicate : 'K -> 'V -> aval<bool>
elements : Map<'K, 'V>
Returns: aval<bool>

forallA predicate elements

Full Usage: forallA predicate elements

Parameters:
    predicate : 'K -> 'V -> aval<bool>
    elements : Map<'K, 'V>

Returns: aval<bool>

Adaptively checks whether all entries make the given predicate true.

predicate : 'K -> 'V -> aval<bool>
elements : Map<'K, 'V>
Returns: aval<bool>

Type something to start searching.