Header menu logo FSharp.Data.Adaptive

IndexList Module

Adaptive operators for IndexList.

Functions and values

Function or value Description

existsA predicate elements

Full Usage: existsA predicate elements

Parameters:
Returns: aval<bool>

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

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

forallA predicate elements

Full Usage: forallA predicate elements

Parameters:
Returns: aval<bool>

Adaptively checks whether all entries make the given predicate true.

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

Type something to start searching.