ersatz-0.4.9: A monad for expressing SAT or QSAT problems using observable sharing.
Copyright© Edward Kmett 2010-2014 Johan Kiviniemi 2013
LicenseBSD3
MaintainerEdward Kmett <ekmett@gmail.com>
Stabilityexperimental
Portabilitynon-portable
Safe HaskellSafe-Inferred
LanguageHaskell2010

Ersatz.Solution

Description

 
Synopsis

Documentation

data Result Source #

Instances

Instances details
Bounded Result Source # 
Instance details

Defined in Ersatz.Solution

Enum Result Source # 
Instance details

Defined in Ersatz.Solution

Eq Result Source # 
Instance details

Defined in Ersatz.Solution

Methods

(==) :: Result -> Result -> Bool #

(/=) :: Result -> Result -> Bool #

Ord Result Source # 
Instance details

Defined in Ersatz.Solution

Read Result Source # 
Instance details

Defined in Ersatz.Solution

Show Result Source # 
Instance details

Defined in Ersatz.Solution

Ix Result Source # 
Instance details

Defined in Ersatz.Solution

type Solver s m = s -> m (Result, IntMap Bool) Source #

A Solver s m is responsible for invoking a solver and returning a Result and a map of determined results.