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

Orphan instances

CanSelect CKleenean

Associated Types

type SelectType CKleenean

Methods

select :: CKleenean -> CKleenean -> SelectType CKleenean

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, CanTestCertainly t1, HasBools 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)