AERN2.Real.CKleenean

Lazy Kleenean, ie a sequence of Kleeneans, usually indexed by increasing precisions.

Documentation

type CKleenean = CSequence Kleenean

type CanBeCKleenean t = ConvertibleExactly t CKleenean

ckleenean :: CanBeCKleenean t => t -> CKleenean

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.Real.CKleenean

Associated Types

type SelectType Kleenean

Methods

select :: Kleenean -> Kleenean -> SelectType Kleenean

CanSelect CKleenean

Defined in AERN2.Real.CKleenean

Associated Types

type SelectType CKleenean

Methods

select :: CKleenean -> CKleenean -> SelectType CKleenean

CanSelect (CN Kleenean)

Defined in AERN2.Real.CKleenean

Associated Types

type SelectType (CN Kleenean)

Methods

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

Orphan instances

ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean

Methods

safeConvertExactly :: t -> ConvertResult CKleenean

CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t)

Associated Types

type IfThenElseType CKleenean (CSequence t)

Methods

ifThenElse :: CKleenean -> CSequence t -> CSequence t -> IfThenElseType CKleenean (CSequence t)

CanNeg t => CanNeg (CSequence t)

Associated Types

type NegType (CSequence t)

Methods

negate :: CSequence t -> NegType (CSequence t)

CanAndOrAsymmetric t1 t2 => CanAndOrAsymmetric (CSequence t1) (CSequence t2)

Associated Types

type AndOrType (CSequence t1) (CSequence t2)

Methods

and2 :: CSequence t1 -> CSequence t2 -> AndOrType (CSequence t1) (CSequence t2)

or2 :: CSequence t1 -> CSequence t2 -> AndOrType (CSequence t1) (CSequence t2)