Data.Recursive.Propagator.Class

This module provides the Propagator and HasPropagator classes.

Documentation

class Propagator p x | p -> x where

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

Methods

newProp :: IO p

The type of values inside the propagator

newConstProp :: x -> IO p

readProp :: p -> IO x

Instances

Propagator PBool Bool

Defined in Data.Recursive.Propagator.Class

Methods

newProp :: IO PBool

newConstProp :: Bool -> IO PBool

readProp :: PBool -> IO Bool

Propagator PDualBool (Dual Bool)

Defined in Data.Recursive.Propagator.Class

Methods

newProp :: IO PDualBool

newConstProp :: Dual Bool -> IO PDualBool

readProp :: PDualBool -> IO (Dual Bool)

Bottom x => Propagator (Prop x) x

Defined in Data.Recursive.Propagator.Class

Methods

newProp :: IO (Prop x)

newConstProp :: x -> IO (Prop x)

readProp :: Prop x -> IO x

class Propagator (Prop x) x => HasPropagator x

The HasPropagator class is used to pick a propagator implementation for a particular value type.

Associated Types

type Prop x

Instances

HasPropagator Bool

Defined in Data.Recursive.Propagator.Class

Associated Types

type Prop Bool

HasPropagator (Dual Bool)

Defined in Data.Recursive.Propagator.Class

Associated Types

type Prop (Dual Bool)

Eq a => HasPropagator (Set a)

Defined in Data.Recursive.Propagator.Class

Associated Types

type Prop (Set a)