fair-predicates-0.1.1: Fair Predicates

Portabilityportable
Stabilityexperimental
MaintainerSebastian Fischer (sebf@informatik.uni-kiel.de)

Data.Answer

Description

This Haskell library provides an implementation of Boolean predicates with an interleaved evaluation of arguments.

Synopsis

Documentation

data Answer Source

Answers are like Bools but can be evaluated incrementally.

Instances

answer :: Bool -> AnswerSource

Creates an answer from a boolean.

fromAnswer :: Answer -> BoolSource

Evaluates an answer.

true :: AnswerSource

The positive answer.

false :: AnswerSource

The negative answer.

neg :: Answer -> AnswerSource

Negates an answer.

(/\) :: Answer -> Answer -> AnswerSource

Conjunction of answers.

(\/) :: Answer -> Answer -> AnswerSource

Disjunction of answers.