-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Fair Predicates
--   
--   This Haskell library provides an implementation of Boolean predicates
--   with an interleaved evaluation of arguments.
@package fair-predicates
@version 0.1


-- | This Haskell library provides an implementation of Boolean predicates
--   with an interleaved evaluation of arguments.
module Data.Answer

-- | <tt>Answer</tt>s are like <tt>Bool</tt>s but can be evaluated
--   incrementally.
data Answer

-- | Creates an answer from a boolean.
answer :: Bool -> Answer

-- | Evaluates an answer.
fromAnswer :: Answer -> Bool

-- | The positive answer.
true :: Answer

-- | The negative answer.
false :: Answer

-- | Negates an answer.
neg :: Answer -> Answer

-- | Conjunction of answers.
(/\) :: Answer -> Answer -> Answer

-- | Disjunction of answers.
(\/) :: Answer -> Answer -> Answer
instance Show Answer