CSPM-CoreLanguage 0.1.0.1 → 0.1.0.2
raw patch · 2 files changed
+3/−3 lines, 2 filesPVP: major bump suggested
API removals or changes: PVP suggests a major version bump
API changes (from Hackage documentation)
- CSPM.CoreLanguage.Event: allEvents :: (BE i) => i -> EventSet i
+ CSPM.CoreLanguage.Event: allEvents :: BE i => i -> EventSet i
- CSPM.CoreLanguage.Event: delete :: (BE i) => i -> Event i -> EventSet i -> EventSet i
+ CSPM.CoreLanguage.Event: delete :: BE i => i -> Event i -> EventSet i -> EventSet i
- CSPM.CoreLanguage.Event: difference :: (BE i) => i -> EventSet i -> EventSet i -> EventSet i
+ CSPM.CoreLanguage.Event: difference :: BE i => i -> EventSet i -> EventSet i -> EventSet i
- CSPM.CoreLanguage.Event: eventEq :: (BE i) => i -> Event i -> Event i -> Bool
+ CSPM.CoreLanguage.Event: eventEq :: BE i => i -> Event i -> Event i -> Bool
- CSPM.CoreLanguage.Event: eventSetToList :: (BE i) => i -> EventSet i -> [Event i]
+ CSPM.CoreLanguage.Event: eventSetToList :: BE i => i -> EventSet i -> [Event i]
- CSPM.CoreLanguage.Event: getRenamingDomain :: (BE i) => i -> RenamingRelation i -> [Event i]
+ CSPM.CoreLanguage.Event: getRenamingDomain :: BE i => i -> RenamingRelation i -> [Event i]
- CSPM.CoreLanguage.Event: getRenamingRange :: (BE i) => i -> RenamingRelation i -> [Event i]
+ CSPM.CoreLanguage.Event: getRenamingRange :: BE i => i -> RenamingRelation i -> [Event i]
- CSPM.CoreLanguage.Event: imageRenaming :: (BE i) => i -> RenamingRelation i -> Event i -> [Event i]
+ CSPM.CoreLanguage.Event: imageRenaming :: BE i => i -> RenamingRelation i -> Event i -> [Event i]
- CSPM.CoreLanguage.Event: insert :: (BE i) => i -> Event i -> EventSet i -> EventSet i
+ CSPM.CoreLanguage.Event: insert :: BE i => i -> Event i -> EventSet i -> EventSet i
- CSPM.CoreLanguage.Event: intersection :: (BE i) => i -> EventSet i -> EventSet i -> EventSet i
+ CSPM.CoreLanguage.Event: intersection :: BE i => i -> EventSet i -> EventSet i -> EventSet i
- CSPM.CoreLanguage.Event: isInRenaming :: (BE i) => i -> RenamingRelation i -> Event i -> Event i -> Bool
+ CSPM.CoreLanguage.Event: isInRenaming :: BE i => i -> RenamingRelation i -> Event i -> Event i -> Bool
- CSPM.CoreLanguage.Event: isInRenamingDomain :: (BE i) => i -> Event i -> RenamingRelation i -> Bool
+ CSPM.CoreLanguage.Event: isInRenamingDomain :: BE i => i -> Event i -> RenamingRelation i -> Bool
- CSPM.CoreLanguage.Event: isInRenamingRange :: (BE i) => i -> Event i -> RenamingRelation i -> Bool
+ CSPM.CoreLanguage.Event: isInRenamingRange :: BE i => i -> Event i -> RenamingRelation i -> Bool
- CSPM.CoreLanguage.Event: member :: (BE i) => i -> Event i -> EventSet i -> Bool
+ CSPM.CoreLanguage.Event: member :: BE i => i -> Event i -> EventSet i -> Bool
- CSPM.CoreLanguage.Event: null :: (BE i) => i -> EventSet i -> Bool
+ CSPM.CoreLanguage.Event: null :: BE i => i -> EventSet i -> Bool
- CSPM.CoreLanguage.Event: preImageRenaming :: (BE i) => i -> RenamingRelation i -> Event i -> [Event i]
+ CSPM.CoreLanguage.Event: preImageRenaming :: BE i => i -> RenamingRelation i -> Event i -> [Event i]
- CSPM.CoreLanguage.Event: renamingFromList :: (BE i) => i -> [(Event i, Event i)] -> RenamingRelation i
+ CSPM.CoreLanguage.Event: renamingFromList :: BE i => i -> [(Event i, Event i)] -> RenamingRelation i
- CSPM.CoreLanguage.Event: renamingToList :: (BE i) => i -> RenamingRelation i -> [(Event i, Event i)]
+ CSPM.CoreLanguage.Event: renamingToList :: BE i => i -> RenamingRelation i -> [(Event i, Event i)]
- CSPM.CoreLanguage.Event: showEvent :: (ShowEvent i) => i -> String
+ CSPM.CoreLanguage.Event: showEvent :: ShowEvent i => i -> String
- CSPM.CoreLanguage.Event: showTTE :: (ShowTTE i) => i -> String
+ CSPM.CoreLanguage.Event: showTTE :: ShowTTE i => i -> String
- CSPM.CoreLanguage.Event: singleEventToClosureSet :: (BE i) => i -> Event i -> EventSet i
+ CSPM.CoreLanguage.Event: singleEventToClosureSet :: BE i => i -> Event i -> EventSet i
- CSPM.CoreLanguage.Event: singleton :: (BE i) => i -> Event i -> EventSet i
+ CSPM.CoreLanguage.Event: singleton :: BE i => i -> Event i -> EventSet i
- CSPM.CoreLanguage.Event: union :: (BE i) => i -> EventSet i -> EventSet i -> EventSet i
+ CSPM.CoreLanguage.Event: union :: BE i => i -> EventSet i -> EventSet i -> EventSet i
- CSPM.CoreLanguage.Field: channelLen :: (BF i) => i -> Field i -> Int
+ CSPM.CoreLanguage.Field: channelLen :: BF i => i -> Field i -> Int
- CSPM.CoreLanguage.Field: class (BL i) => BF i
+ CSPM.CoreLanguage.Field: class BL i => BF i
- CSPM.CoreLanguage.Field: closureRestore :: (BF i) => i -> ClosureState i -> EventSet i
+ CSPM.CoreLanguage.Field: closureRestore :: BF i => i -> ClosureState i -> EventSet i
- CSPM.CoreLanguage.Field: closureStateInit :: (BF i) => i -> EventSet i -> ClosureState i
+ CSPM.CoreLanguage.Field: closureStateInit :: BF i => i -> EventSet i -> ClosureState i
- CSPM.CoreLanguage.Field: closureStateNext :: (BF i) => i -> ClosureState i -> Field i -> ClosureState i
+ CSPM.CoreLanguage.Field: closureStateNext :: BF i => i -> ClosureState i -> Field i -> ClosureState i
- CSPM.CoreLanguage.Field: delete :: (BF i) => i -> Field i -> FieldSet i -> FieldSet i
+ CSPM.CoreLanguage.Field: delete :: BF i => i -> Field i -> FieldSet i -> FieldSet i
- CSPM.CoreLanguage.Field: difference :: (BF i) => i -> FieldSet i -> FieldSet i -> FieldSet i
+ CSPM.CoreLanguage.Field: difference :: BF i => i -> FieldSet i -> FieldSet i -> FieldSet i
- CSPM.CoreLanguage.Field: fieldEq :: (BF i) => i -> Field i -> Field i -> Bool
+ CSPM.CoreLanguage.Field: fieldEq :: BF i => i -> Field i -> Field i -> Bool
- CSPM.CoreLanguage.Field: fieldSetFromList :: (BF i) => i -> [Field i] -> FieldSet i
+ CSPM.CoreLanguage.Field: fieldSetFromList :: BF i => i -> [Field i] -> FieldSet i
- CSPM.CoreLanguage.Field: fieldSetToList :: (BF i) => i -> FieldSet i -> [Field i]
+ CSPM.CoreLanguage.Field: fieldSetToList :: BF i => i -> FieldSet i -> [Field i]
- CSPM.CoreLanguage.Field: insert :: (BF i) => i -> Field i -> FieldSet i -> FieldSet i
+ CSPM.CoreLanguage.Field: insert :: BF i => i -> Field i -> FieldSet i -> FieldSet i
- CSPM.CoreLanguage.Field: intersection :: (BF i) => i -> FieldSet i -> FieldSet i -> FieldSet i
+ CSPM.CoreLanguage.Field: intersection :: BF i => i -> FieldSet i -> FieldSet i -> FieldSet i
- CSPM.CoreLanguage.Field: joinFields :: (BF i) => i -> [Field i] -> Event i
+ CSPM.CoreLanguage.Field: joinFields :: BF i => i -> [Field i] -> Event i
- CSPM.CoreLanguage.Field: member :: (BF i) => i -> Field i -> FieldSet i -> Bool
+ CSPM.CoreLanguage.Field: member :: BF i => i -> Field i -> FieldSet i -> Bool
- CSPM.CoreLanguage.Field: null :: (BF i) => i -> FieldSet i -> Bool
+ CSPM.CoreLanguage.Field: null :: BF i => i -> FieldSet i -> Bool
- CSPM.CoreLanguage.Field: prefixStateFinalize :: (BF i) => i -> PrefixState i -> Maybe (Prefix i)
+ CSPM.CoreLanguage.Field: prefixStateFinalize :: BF i => i -> PrefixState i -> Maybe (Prefix i)
- CSPM.CoreLanguage.Field: prefixStateInit :: (BF i) => i -> Prefix i -> PrefixState i
+ CSPM.CoreLanguage.Field: prefixStateInit :: BF i => i -> Prefix i -> PrefixState i
- CSPM.CoreLanguage.Field: prefixStateNext :: (BF i) => i -> PrefixState i -> Field i -> Maybe (PrefixState i)
+ CSPM.CoreLanguage.Field: prefixStateNext :: BF i => i -> PrefixState i -> Field i -> Maybe (PrefixState i)
- CSPM.CoreLanguage.Field: seenPrefixInClosure :: (BF i) => i -> ClosureState i -> Bool
+ CSPM.CoreLanguage.Field: seenPrefixInClosure :: BF i => i -> ClosureState i -> Bool
- CSPM.CoreLanguage.Field: singleton :: (BF i) => i -> Field i -> FieldSet i
+ CSPM.CoreLanguage.Field: singleton :: BF i => i -> Field i -> FieldSet i
- CSPM.CoreLanguage.Field: splitFields :: (BF i) => i -> Event i -> [Field i]
+ CSPM.CoreLanguage.Field: splitFields :: BF i => i -> Event i -> [Field i]
- CSPM.CoreLanguage.Field: union :: (BF i) => i -> FieldSet i -> FieldSet i -> FieldSet i
+ CSPM.CoreLanguage.Field: union :: BF i => i -> FieldSet i -> FieldSet i -> FieldSet i
- CSPM.CoreLanguage.Field: viewClosureFields :: (BF i) => i -> ClosureState i -> FieldSet i
+ CSPM.CoreLanguage.Field: viewClosureFields :: BF i => i -> ClosureState i -> FieldSet i
- CSPM.CoreLanguage.Field: viewClosureState :: (BF i) => i -> ClosureState i -> ClosureView
+ CSPM.CoreLanguage.Field: viewClosureState :: BF i => i -> ClosureState i -> ClosureView
- CSPM.CoreLanguage.Field: viewPrefixState :: (BF i) => i -> PrefixState i -> PrefixFieldView i
+ CSPM.CoreLanguage.Field: viewPrefixState :: BF i => i -> PrefixState i -> PrefixFieldView i
- CSPM.CoreLanguage.Process: class (BE i) => BL i
+ CSPM.CoreLanguage.Process: class BE i => BL i
- CSPM.CoreLanguage.Process: prefixNext :: (BL i) => Prefix i -> Event i -> Maybe (Process i)
+ CSPM.CoreLanguage.Process: prefixNext :: BL i => Prefix i -> Event i -> Maybe (Process i)
- CSPM.CoreLanguage.Process: switchOn :: (BL i) => ExtProcess i -> Process i
+ CSPM.CoreLanguage.Process: switchOn :: BL i => ExtProcess i -> Process i
Files
CSPM-CoreLanguage.cabal view
@@ -1,5 +1,5 @@ Name: CSPM-CoreLanguage-Version: 0.1.0.1+Version: 0.1.0.2 Synopsis: Definition of a FDR-compatible CSP core-language. Description: This package contains an interface for a CSP core-language.
src/CSPM/CoreLanguage/Process.hs view
@@ -24,7 +24,7 @@ -- | A prefix expression. type family Prefix i --- | A proccess that has not yet been switched on.+-- | A process that has not yet been switched on. type family ExtProcess i class (BE i) => BL i where@@ -35,7 +35,7 @@ {-| A data type for CSPM processes.- For efficency, replicated alphabetized parallel has an explicit constructor.+ For efficiency, replicated alphabetized parallel has an explicit constructor. Other replicated operations get translated on the fly. For constructing processes one should rather uses the wrappers from CSPM.CoreLanguage.ProcessWrappers.