Data.Propagator.Class

This module provides the Propagator class

Documentation

class Propagator p x | p -> x where

The Propagator class defines some functions shared by different propagator implementations. This backs the generic Data.Propagator.Purify wrapper.

Methods

newProp :: IO p

newConstProp :: x -> IO p

freezeProp :: p -> IO ()

readProp :: p -> IO x

Instances

Propagator P2 Bool

Defined in Data.Propagator.P2

Methods

newProp :: IO P2

newConstProp :: Bool -> IO P2

freezeProp :: P2 -> IO ()

readProp :: P2 -> IO Bool

Bottom a => Propagator (Prop a) a

Defined in Data.Propagator.Naive

Methods

newProp :: IO (Prop a)

newConstProp :: a -> IO (Prop a)

freezeProp :: Prop a -> IO ()

readProp :: Prop a -> IO a

data WriteToFrozenPropagatorException

Exception thrown by a propagator when attempting to change the value of a frozen propagator

Constructors

WriteToFrozenPropagatorException

Instances

Exception WriteToFrozenPropagatorException

Defined in Data.Propagator.Class

Methods

toException :: WriteToFrozenPropagatorException -> SomeException

fromException :: SomeException -> Maybe WriteToFrozenPropagatorException

displayException :: WriteToFrozenPropagatorException -> String

Show WriteToFrozenPropagatorException

Defined in Data.Propagator.Class

Methods

showsPrec :: Int -> WriteToFrozenPropagatorException -> ShowS

show :: WriteToFrozenPropagatorException -> String

showList :: [WriteToFrozenPropagatorException] -> ShowS