Modulelazy-search-0.1.3.0Haskell2010

Data.Coolean

Proper documentation is TBD

datadata Cool

Concurrent booleans. Writing properties with the Cool data type often yields faster searches compared to Bool.

Atom Bool
Not Cool
And Cool Cool
Seq Cool Cool
Sequential conjunction, the second operator is not evaluated unless the first is true.

Instances2Show, Coolean

Overloaded parallel operators

7 declarations

classclass Coolean b where

Provides better interoperability between Bool and Cool by overloading operators.

Instances2Coolean

valuetrue :: Cool

valuefalse :: Cool

valuenott :: Coolean a => a -> Cool

Negation

value(&&&) :: (Coolean a, Coolean b) => a -> b -> Cool

Commutative conjunction

value(|||) :: (Coolean a, Coolean b) => a -> b -> Cool

Commutative disjunction

value(==>) :: (Coolean a, Coolean b) => a -> b -> Cool

Parallel implication

3 declarations

value(!&&) :: (Coolean a, Coolean b) => a -> b -> Cool

Sequential conjunction. Does not evaluate second operand unless first is True.

value(!||) :: (Coolean a, Coolean b) => a -> b -> Cool

Sequential disjunction. Does not evaluate second operand unless first is True.

value(!=>) :: (Coolean a, Coolean b) => a -> b -> Cool

Sequential implication. Does not evaluate second operand unless first is True.

6 declarations

datadata Sched

Instances2Eq, Show

valuesched0 :: Sched

valuerun :: Sched -> Cool -> Bool

valuelookahead :: Sched -> Cool -> (Sched, Bool)

valuepar :: Sched -> Cool -> (Sched, Bool)

valuesubsetsc :: IO Int -> Sched -> Cool -> IO (Sched, Bool)