Copyright | (c) Michal Konecny |
---|---|
License | BSD3 |
Maintainer | mikkonecny@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
Language | Haskell2010 |
Lazy Kleenean, ie a sequence of Kleeneans, usually indexed by increasing precisions.
Documentation
type CanBeCKleenean t = ConvertibleExactly t CKleenean Source #
ckleenean :: CanBeCKleenean t => t -> CKleenean Source #
class IsBool (SelectType k) => CanSelect k where #
type SelectType k #
Must be Bool or similar
:: 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 type SelectType Kleenean # | |
CanSelect CKleenean Source # | |
Defined in AERN2.Real.CKleenean type SelectType CKleenean # | |
CanSelect (CN Kleenean) | |
Defined in AERN2.Select type SelectType (CN Kleenean) # |
Orphan instances
CanSelect CKleenean Source # | |
type SelectType CKleenean # | |
ConvertibleExactly t Kleenean => ConvertibleExactly t CKleenean Source # | |
safeConvertExactly :: t -> ConvertResult CKleenean # | |
CanUnionCNSameType t => HasIfThenElse CKleenean (CSequence t) Source # | |
type IfThenElseType CKleenean (CSequence t) # ifThenElse :: CKleenean -> CSequence t -> CSequence t -> IfThenElseType CKleenean (CSequence t) # | |
CanNeg t => CanNeg (CSequence t) Source # | |
CanAndOrAsymmetric t1 t2 => CanAndOrAsymmetric (CSequence t1) (CSequence t2) Source # | |