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 CanAndOrCountable t where

Methods

or_countable :: (Integer -> t) -> t

and_countable :: (Integer -> t) -> t

Instances

CanAndOrCountable CKleenean

Defined in AERN2.Real.CKleenean

Methods

or_countable :: (Integer -> CKleenean) -> CKleenean

and_countable :: (Integer -> CKleenean) -> CKleenean

Orphan instances

CanSelect CKleenean

Associated Types

type SelectType CKleenean

Methods

select :: CKleenean -> CKleenean -> SelectType CKleenean

CanSelectCountable CKleenean

Associated Types

type SelectCountableType CKleenean

Methods

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

ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean

Methods

safeConvertExactly :: t -> ConvertResult CKleenean

CanAndOrAsymmetric Kleenean t2 => CanAndOrAsymmetric Kleenean (CSequence t2)

Associated Types

type AndOrType Kleenean (CSequence t2)

Methods

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

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

CanAndOrAsymmetric Bool t2 => CanAndOrAsymmetric Bool (CSequence t2)

Associated Types

type AndOrType Bool (CSequence t2)

Methods

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

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

CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t)

Associated Types

type IfThenElseType CKleenean (CSequence t)

Methods

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

HasIfThenElse CKleenean t => HasIfThenElse CKleenean (Maybe t)

Associated Types

type IfThenElseType CKleenean (Maybe t)

Methods

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

HasIfThenElse CKleenean t => HasIfThenElse CKleenean [t]

Associated Types

type IfThenElseType CKleenean [t]

Methods

ifThenElse :: CKleenean -> [t] -> [t] -> IfThenElseType CKleenean [t]

(HasIfThenElse CKleenean t1, HasIfThenElse CKleenean t2) => HasIfThenElse CKleenean (t1, t2)

Associated Types

type IfThenElseType CKleenean (t1, t2)

Methods

ifThenElse :: CKleenean -> (t1, t2) -> (t1, t2) -> IfThenElseType CKleenean (t1, t2)

HasIfThenElse CKleenean v => HasIfThenElse CKleenean (k -> v)

Associated Types

type IfThenElseType CKleenean (k -> v)

Methods

ifThenElse :: CKleenean -> (k -> v) -> (k -> v) -> IfThenElseType CKleenean (k -> v)

CanNeg t => CanNeg (CSequence t)

Associated Types

type NegType (CSequence t)

Methods

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

CanAndOrAsymmetric t1 Kleenean => CanAndOrAsymmetric (CSequence t1) Kleenean

Associated Types

type AndOrType (CSequence t1) Kleenean

Methods

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

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

CanAndOrAsymmetric t1 Bool => CanAndOrAsymmetric (CSequence t1) Bool

Associated Types

type AndOrType (CSequence t1) Bool

Methods

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

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

(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)