aern2-real-0.2.10.0: Real numbers as convergent sequences of intervals
Copyright(c) Michal Konecny
LicenseBSD3
Maintainermikkonecny@gmail.com
Stabilityexperimental
Portabilityportable
Safe HaskellNone
LanguageHaskell2010

AERN2.Real.CKleenean

Description

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

Documentation

Orphan instances

CanSelect CKleenean Source # 
Instance details

Associated Types

type SelectType CKleenean #

ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean Source # 
Instance details

CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t) Source # 
Instance details

Associated Types

type IfThenElseType CKleenean (CSequence t) #

CanNeg t => CanNeg (CSequence t) Source # 
Instance details

Associated Types

type NegType (CSequence t) #

Methods

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

CanAndOrAsymmetric t1 t2 => CanAndOrAsymmetric (CSequence t1) (CSequence t2) Source # 
Instance details

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