| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Data.Propagator.Class
Description
This module provides the Propagator class
Synopsis
- class Propagator p x | p -> x where
- newProp :: IO p
- newConstProp :: x -> IO p
- freezeProp :: p -> IO ()
- readProp :: p -> IO x
- data WriteToFrozenPropagatorException = WriteToFrozenPropagatorException
Documentation
class Propagator p x | p -> x where Source #
The Propagator class defines some functions shared by different propagator implementations. This backs the generic Data.Propagator.Purify wrapper.
Instances
| Propagator P2 Bool Source # | |
| Bottom a => Propagator (Prop a) a Source # | |
data WriteToFrozenPropagatorException Source #
Exception thrown by a propagator when attempting to change the value of a frozen propagator
Constructors
| WriteToFrozenPropagatorException |