| Copyright | Copyright (c) 2017 David Sorokin <david.sorokin@gmail.com> |
|---|---|
| License | BSD3 |
| Maintainer | David Sorokin <david.sorokin@gmail.com> |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell98 |
Simulation.Aivika.Trans.GPSS.Block.Preempt
Description
Tested with: GHC 8.0.2
This module defines the GPSS block Preempt.
- preemptBlock :: MonadDES m => Facility m a -> PreemptBlockMode m a -> Block m (Transact m a) (Transact m a)
- data PreemptBlockMode m a = PreemptBlockMode {
- preemptBlockPriorityMode :: Bool
- preemptBlockTransfer :: Maybe (Maybe Double -> Block m (Transact m a) ())
- preemptBlockRemoveMode :: Bool
- defaultPreemptBlockMode :: MonadDES m => PreemptBlockMode m a
- toFacilityPreemptMode :: MonadDES m => PreemptBlockMode m a -> FacilityPreemptMode m a
- fromFacilityPreemptMode :: MonadDES m => FacilityPreemptMode m a -> PreemptBlockMode m a
Documentation
Arguments
| :: MonadDES m | |
| => Facility m a | the facility |
| -> PreemptBlockMode m a | the Preempt block mode |
| -> Block m (Transact m a) (Transact m a) |
This is the GPSS construct
PREEMPT A,B,C,D,E
data PreemptBlockMode m a Source #
Specifies the Preempt block mode.
Constructors
| PreemptBlockMode | |
Fields
| |
defaultPreemptBlockMode :: MonadDES m => PreemptBlockMode m a Source #
The default Preempt block mode.
toFacilityPreemptMode :: MonadDES m => PreemptBlockMode m a -> FacilityPreemptMode m a Source #
Convert PreemptBlockMode to FacilityPreemptMode.
fromFacilityPreemptMode :: MonadDES m => FacilityPreemptMode m a -> PreemptBlockMode m a Source #
Convert PreemptBlockMode from FacilityPreemptMode.