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)

class CanSelectCountable k where

Associated Types

type SelectCountableType k

Must be Integer or similar

Methods

selectCountable :: (Integer -> k) -> SelectCountableType k

Execute a sequence of lazy computations "in parallel" until one of them succeeds and return the index of a succeeding computation.

Instances

CanSelectCountable Kleenean

Defined in AERN2.Select

Associated Types

type SelectCountableType Kleenean

Methods

selectCountable :: (Integer -> Kleenean) -> SelectCountableType Kleenean

CanSelectCountable (CN Kleenean)

Defined in AERN2.Select

Associated Types

type SelectCountableType (CN Kleenean)

Methods

selectCountable :: (Integer -> CN Kleenean) -> SelectCountableType (CN Kleenean)

type CanSelectCountableInteger k = (CanSelectCountable k, SelectCountableType k ~ Integer)

type CanSelectCountableCNInteger k = (CanSelectCountable k, SelectCountableType k ~ CN Integer)