Header menu logo FSharp.Data.Adaptive

List Module

Adaptive operators for lists.

Functions and values

Function or value Description

existsA predicate elements

Full Usage: existsA predicate elements

Parameters:
    predicate : 'T -> aval<bool>
    elements : 'T list

Returns: aval<bool>

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

predicate : 'T -> aval<bool>
elements : 'T list
Returns: aval<bool>

forallA predicate elements

Full Usage: forallA predicate elements

Parameters:
    predicate : 'T -> aval<bool>
    elements : 'T list

Returns: aval<bool>

Adaptively checks whether all entries make the given predicate true.

predicate : 'T -> aval<bool>
elements : 'T list
Returns: aval<bool>

Type something to start searching.