| Portability | GHC-only |
|---|---|
| Stability | experimental |
| Maintainer | fontaine@cs.uni-duesseldorf.de |
CSPM.CoreLanguage.Field
Description
This modules defines the class BF for versions of CSP
that also support multi-field-events and event-closure sets.
Documentation
type family ClosureState i Source
type family PrefixState i Source
class BL i => BF i whereSource
Methods
fieldEq :: i -> Field i -> Field i -> BoolSource
member :: i -> Field i -> FieldSet i -> BoolSource
intersection :: i -> FieldSet i -> FieldSet i -> FieldSet iSource
difference :: i -> FieldSet i -> FieldSet i -> FieldSet iSource
union :: i -> FieldSet i -> FieldSet i -> FieldSet iSource
null :: i -> FieldSet i -> BoolSource
singleton :: i -> Field i -> FieldSet iSource
insert :: i -> Field i -> FieldSet i -> FieldSet iSource
delete :: i -> Field i -> FieldSet i -> FieldSet iSource
fieldSetToList :: i -> FieldSet i -> [Field i]Source
fieldSetFromList :: i -> [Field i] -> FieldSet iSource
joinFields :: i -> [Field i] -> Event iSource
splitFields :: i -> Event i -> [Field i]Source
channelLen :: i -> Field i -> IntSource
closureStateInit :: i -> EventSet i -> ClosureState iSource
closureStateNext :: i -> ClosureState i -> Field i -> ClosureState iSource
closureRestore :: i -> ClosureState i -> EventSet iSource
viewClosureState :: i -> ClosureState i -> ClosureViewSource
viewClosureFields :: i -> ClosureState i -> FieldSet iSource
seenPrefixInClosure :: i -> ClosureState i -> BoolSource
prefixStateInit :: i -> Prefix i -> PrefixState iSource
prefixStateNext :: i -> PrefixState i -> Field i -> Maybe (PrefixState i)Source
prefixStateFinalize :: i -> PrefixState i -> Maybe (Prefix i)Source
viewPrefixState :: i -> PrefixState i -> PrefixFieldView iSource
data PrefixFieldView i Source
Constructors
| FieldOut (Field i) | |
| FieldIn | |
| FieldGuard (FieldSet i) |