Control.Concurrent.CHPSpec.Enroll

A module with support for things that are enrollable.

Enrollment is currently pretty much ignored during model generation, but these operations are provided so that you don't have to change your program.

Documentation

data Enrolled b a

Instances

Eq (b a) => Eq (Enrolled b a)

Typeable (b a) => Typeable (Enrolled b a)

class Enrollable b z where

Methods

enroll :: b z -> (Enrolled b z -> CHP a) -> CHP a

resign :: Enrolled b z -> CHP a -> CHP a

Instances

Enrollable PhasedBarrier phase

furtherEnroll :: Enrollable b z => Enrolled b z -> (Enrolled b z -> CHP a) -> CHP a

enrollPair :: (Enrollable b p, Enrollable b' p') => (b p, b' p') -> ((Enrolled b p, Enrolled b' p') -> CHP a) -> CHP a

enrollList :: Enrollable b p => [b p] -> ([Enrolled b p] -> CHP a) -> CHP a

enrollAll :: Enrollable b p => CHP (b p) -> [Enrolled b p -> CHP a] -> CHP [a]

enrollAll_ :: Enrollable b p => CHP (b p) -> [Enrolled b p -> CHP a] -> CHP ()

enrollAllT :: Enrollable b p => ([a] -> CHP c) -> CHP (b p) -> [Enrolled b p -> a] -> CHP c

enrollOneMany :: Enrollable b p => ([Enrolled b p] -> CHP a) -> [(CHP (b p), Enrolled b p -> CHP c)] -> CHP (a, [c])