AERN2.Select

Generic multivalued select operation

Documentation

class IsBool (SelectType k) => CanSelect k where

Associated Types

type SelectType k

Must be Bool or similar

Methods

select

Arguments

:: k

-> k

-> SelectType k

True means that the first computation succeeded.

Execute two lazy computations "in parallel" until one of them succeeds.

Instances

CanSelect Kleenean

Defined in AERN2.Select

Associated Types

type SelectType Kleenean

Methods

select :: Kleenean -> Kleenean -> SelectType Kleenean

CanSelect (CN Kleenean)

Defined in AERN2.Select

Associated Types

type SelectType (CN Kleenean)

Methods

select :: CN Kleenean -> CN Kleenean -> SelectType (CN Kleenean)

type CanSelectBool k = (CanSelect k, SelectType k ~ Bool)

type CanSelectCNBool k = (CanSelect k, SelectType k ~ CN Bool)