CSPM-Interpreter 0.7.0.0 → 0.7.1.0

raw patch · 3 files changed

+23/−13 lines, 3 filesdep ~CSPM-Frontenddep ~mtldep ~sybPVP: major bump suggested

API removals or changes: PVP suggests a major version bump

Dependency ranges changed: CSPM-Frontend, mtl, syb

API changes (from Hackage documentation)

- CSPM.Interpreter.CoreInstances: instance BE INT

- CSPM.Interpreter.CoreInstances: instance BF INT

- CSPM.Interpreter.CoreInstances: instance BL INT

- CSPM.Interpreter.CoreInstances: instance Show (TTE INT)

- CSPM.Interpreter.CoreInstances: instance ShowEvent Event

- CSPM.Interpreter.CoreInstances: instance ShowTTE (TTE INT)

- CSPM.Interpreter.Hash: instance Hash ClosureSet

- CSPM.Interpreter.Hash: instance Hash Constructor

- CSPM.Interpreter.Hash: instance Hash FunClosure

- CSPM.Interpreter.Hash: instance Hash LExp

- CSPM.Interpreter.Hash: instance Hash PrefixState

- CSPM.Interpreter.Hash: instance Hash PrefixTrie

- CSPM.Interpreter.Hash: instance Hash Process

- CSPM.Interpreter.Hash: instance Hash RenamingRelation

- CSPM.Interpreter.Hash: instance Hash SwitchedOffProc

- CSPM.Interpreter.Hash: instance Hash Value

- CSPM.Interpreter.Pretty: instance Pretty Value

- CSPM.Interpreter.Types: argBindings :: Env -> Bindings

- CSPM.Interpreter.Types: chanFields :: Channel -> [FieldSet]

- CSPM.Interpreter.Types: chanId :: Channel -> Int

- CSPM.Interpreter.Types: chanLen :: Channel -> Int

- CSPM.Interpreter.Types: chanName :: Channel -> String

- CSPM.Interpreter.Types: closureSetDigest :: ClosureSet -> Digest

- CSPM.Interpreter.Types: closureSetTrie :: ClosureSet -> PrefixTrie

- CSPM.Interpreter.Types: constrFields :: Constructor -> [FieldSet]

- CSPM.Interpreter.Types: constrId :: Constructor -> Int

- CSPM.Interpreter.Types: constrName :: Constructor -> String

- CSPM.Interpreter.Types: currentPrefixTrie :: ClosureState -> PrefixTrie

- CSPM.Interpreter.Types: errLoc :: InterpreterError -> Maybe SrcLoc

- CSPM.Interpreter.Types: errMsg :: InterpreterError -> String

- CSPM.Interpreter.Types: errVal :: InterpreterError -> Maybe Value

- CSPM.Interpreter.Types: getFunArgNum :: FunClosure -> Int

- CSPM.Interpreter.Types: getFunCases :: FunClosure -> [FunCase]

- CSPM.Interpreter.Types: getFunEnv :: FunClosure -> Env

- CSPM.Interpreter.Types: getFunId :: FunClosure -> Digest

- CSPM.Interpreter.Types: instance Applicative EM

- CSPM.Interpreter.Types: instance Eq (Process INT)

- CSPM.Interpreter.Types: instance Eq Channel

- CSPM.Interpreter.Types: instance Eq ClosureSet

- CSPM.Interpreter.Types: instance Eq ClosureState

- CSPM.Interpreter.Types: instance Eq Constructor

- CSPM.Interpreter.Types: instance Eq FunClosure

- CSPM.Interpreter.Types: instance Eq GenericBufferPrefix

- CSPM.Interpreter.Types: instance Eq PrefixState

- CSPM.Interpreter.Types: instance Eq PrefixTrie

- CSPM.Interpreter.Types: instance Eq RenamingRelation

- CSPM.Interpreter.Types: instance Eq SwitchedOffProc

- CSPM.Interpreter.Types: instance Eq Value

- CSPM.Interpreter.Types: instance Exception InterpreterError

- CSPM.Interpreter.Types: instance Functor EM

- CSPM.Interpreter.Types: instance Monad EM

- CSPM.Interpreter.Types: instance MonadReader Env EM

- CSPM.Interpreter.Types: instance Ord (Process INT)

- CSPM.Interpreter.Types: instance Ord Channel

- CSPM.Interpreter.Types: instance Ord ClosureSet

- CSPM.Interpreter.Types: instance Ord ClosureState

- CSPM.Interpreter.Types: instance Ord Constructor

- CSPM.Interpreter.Types: instance Ord FunClosure

- CSPM.Interpreter.Types: instance Ord GenericBufferPrefix

- CSPM.Interpreter.Types: instance Ord PrefixState

- CSPM.Interpreter.Types: instance Ord PrefixTrie

- CSPM.Interpreter.Types: instance Ord RenamingRelation

- CSPM.Interpreter.Types: instance Ord SwitchedOffProc

- CSPM.Interpreter.Types: instance Ord Value

- CSPM.Interpreter.Types: instance Show (Process INT)

- CSPM.Interpreter.Types: instance Show Channel

- CSPM.Interpreter.Types: instance Show ClosureSet

- CSPM.Interpreter.Types: instance Show ClosureState

- CSPM.Interpreter.Types: instance Show Constructor

- CSPM.Interpreter.Types: instance Show FunClosure

- CSPM.Interpreter.Types: instance Show GenericBufferPrefix

- CSPM.Interpreter.Types: instance Show InterpreterError

- CSPM.Interpreter.Types: instance Show PrefixState

- CSPM.Interpreter.Types: instance Show PrefixTrie

- CSPM.Interpreter.Types: instance Show RenamingRelation

- CSPM.Interpreter.Types: instance Show SwitchedOffProc

- CSPM.Interpreter.Types: instance Show Value

- CSPM.Interpreter.Types: instance Typeable ClosureSet

- CSPM.Interpreter.Types: instance Typeable Env

- CSPM.Interpreter.Types: instance Typeable INT

- CSPM.Interpreter.Types: instance Typeable InterpreterError

- CSPM.Interpreter.Types: instance Typeable Value

- CSPM.Interpreter.Types: letBindings :: Env -> Bindings

- CSPM.Interpreter.Types: letDigests :: Env -> IntMap Digest

- CSPM.Interpreter.Types: origClosureSet :: ClosureState -> ClosureSet

- CSPM.Interpreter.Types: prefixBody :: PrefixState -> LExp

- CSPM.Interpreter.Types: prefixDigest :: PrefixState -> Digest

- CSPM.Interpreter.Types: prefixEnv :: PrefixState -> Env

- CSPM.Interpreter.Types: prefixFields :: PrefixState -> [LCommField]

- CSPM.Interpreter.Types: prefixPatternFailed :: PrefixState -> Bool

- CSPM.Interpreter.Types: prefixRHS :: PrefixState -> Process

- CSPM.Interpreter.Types: renamingDigest :: RenamingRelation -> Digest

- CSPM.Interpreter.Types: renamingDomain :: RenamingRelation -> Set Event

- CSPM.Interpreter.Types: renamingPairs :: RenamingRelation -> Set (Event, Event)

- CSPM.Interpreter.Types: renamingRange :: RenamingRelation -> Set Event

- CSPM.Interpreter.Types: switchedOffDigest :: SwitchedOffProc -> Digest

- CSPM.Interpreter.Types: switchedOffExpr :: SwitchedOffProc -> LExp

- CSPM.Interpreter.Types: switchedOffProcess :: SwitchedOffProc -> Process

- CSPM.Interpreter.Types: unEM :: EM x -> Reader Env x

+ CSPM.Interpreter.CoreInstances: instance CSPM.CoreLanguage.Event.BE CSPM.Interpreter.Types.INT

+ CSPM.Interpreter.CoreInstances: instance CSPM.CoreLanguage.Event.ShowEvent CSPM.Interpreter.Types.Event

+ CSPM.Interpreter.CoreInstances: instance CSPM.CoreLanguage.Event.ShowTTE (CSPM.CoreLanguage.Event.TTE CSPM.Interpreter.Types.INT)

+ CSPM.Interpreter.CoreInstances: instance CSPM.CoreLanguage.Field.BF CSPM.Interpreter.Types.INT

+ CSPM.Interpreter.CoreInstances: instance CSPM.CoreLanguage.Process.BL CSPM.Interpreter.Types.INT

+ CSPM.Interpreter.CoreInstances: instance GHC.Show.Show (CSPM.CoreLanguage.Event.TTE CSPM.Interpreter.Types.INT)

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.ClosureSet

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.Constructor

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.FunClosure

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.PrefixState

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.PrefixTrie

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.Process

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.RenamingRelation

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.SwitchedOffProc

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash CSPM.Interpreter.Types.Value

+ CSPM.Interpreter.Hash: instance Data.Digest.Pure.HashMD5.Hash Language.CSPM.AST.LExp

+ CSPM.Interpreter.Pretty: instance Text.PrettyPrint.HughesPJClass.Pretty CSPM.Interpreter.Types.Value

+ CSPM.Interpreter.Types: [argBindings] :: Env -> Bindings

+ CSPM.Interpreter.Types: [chanFields] :: Channel -> [FieldSet]

+ CSPM.Interpreter.Types: [chanId] :: Channel -> Int

+ CSPM.Interpreter.Types: [chanLen] :: Channel -> Int

+ CSPM.Interpreter.Types: [chanName] :: Channel -> String

+ CSPM.Interpreter.Types: [closureSetDigest] :: ClosureSet -> Digest

+ CSPM.Interpreter.Types: [closureSetTrie] :: ClosureSet -> PrefixTrie

+ CSPM.Interpreter.Types: [constrFields] :: Constructor -> [FieldSet]

+ CSPM.Interpreter.Types: [constrId] :: Constructor -> Int

+ CSPM.Interpreter.Types: [constrName] :: Constructor -> String

+ CSPM.Interpreter.Types: [currentPrefixTrie] :: ClosureState -> PrefixTrie

+ CSPM.Interpreter.Types: [errLoc] :: InterpreterError -> Maybe SrcLoc

+ CSPM.Interpreter.Types: [errMsg] :: InterpreterError -> String

+ CSPM.Interpreter.Types: [errVal] :: InterpreterError -> Maybe Value

+ CSPM.Interpreter.Types: [getFunArgNum] :: FunClosure -> Int

+ CSPM.Interpreter.Types: [getFunCases] :: FunClosure -> [FunCase]

+ CSPM.Interpreter.Types: [getFunEnv] :: FunClosure -> Env

+ CSPM.Interpreter.Types: [getFunId] :: FunClosure -> Digest

+ CSPM.Interpreter.Types: [letBindings] :: Env -> Bindings

+ CSPM.Interpreter.Types: [letDigests] :: Env -> IntMap Digest

+ CSPM.Interpreter.Types: [origClosureSet] :: ClosureState -> ClosureSet

+ CSPM.Interpreter.Types: [prefixBody] :: PrefixState -> LExp

+ CSPM.Interpreter.Types: [prefixDigest] :: PrefixState -> Digest

+ CSPM.Interpreter.Types: [prefixEnv] :: PrefixState -> Env

+ CSPM.Interpreter.Types: [prefixFields] :: PrefixState -> [LCommField]

+ CSPM.Interpreter.Types: [prefixPatternFailed] :: PrefixState -> Bool

+ CSPM.Interpreter.Types: [prefixRHS] :: PrefixState -> Process

+ CSPM.Interpreter.Types: [renamingDigest] :: RenamingRelation -> Digest

+ CSPM.Interpreter.Types: [renamingDomain] :: RenamingRelation -> Set Event

+ CSPM.Interpreter.Types: [renamingPairs] :: RenamingRelation -> Set (Event, Event)

+ CSPM.Interpreter.Types: [renamingRange] :: RenamingRelation -> Set Event

+ CSPM.Interpreter.Types: [switchedOffDigest] :: SwitchedOffProc -> Digest

+ CSPM.Interpreter.Types: [switchedOffExpr] :: SwitchedOffProc -> LExp

+ CSPM.Interpreter.Types: [switchedOffProcess] :: SwitchedOffProc -> Process

+ CSPM.Interpreter.Types: [unEM] :: EM x -> Reader Env x

+ CSPM.Interpreter.Types: instance Control.Monad.Reader.Class.MonadReader CSPM.Interpreter.Types.Env CSPM.Interpreter.Types.EM

+ CSPM.Interpreter.Types: instance GHC.Base.Applicative CSPM.Interpreter.Types.EM

+ CSPM.Interpreter.Types: instance GHC.Base.Functor CSPM.Interpreter.Types.EM

+ CSPM.Interpreter.Types: instance GHC.Base.Monad CSPM.Interpreter.Types.EM

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq (CSPM.CoreLanguage.Process.Process CSPM.Interpreter.Types.INT)

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.Channel

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.ClosureSet

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.ClosureState

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.Constructor

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.FunClosure

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.GenericBufferPrefix

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.PrefixState

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.PrefixTrie

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.RenamingRelation

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.SwitchedOffProc

+ CSPM.Interpreter.Types: instance GHC.Classes.Eq CSPM.Interpreter.Types.Value

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord (CSPM.CoreLanguage.Process.Process CSPM.Interpreter.Types.INT)

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.Channel

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.ClosureSet

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.ClosureState

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.Constructor

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.FunClosure

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.GenericBufferPrefix

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.PrefixState

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.PrefixTrie

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.RenamingRelation

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.SwitchedOffProc

+ CSPM.Interpreter.Types: instance GHC.Classes.Ord CSPM.Interpreter.Types.Value

+ CSPM.Interpreter.Types: instance GHC.Exception.Exception CSPM.Interpreter.Types.InterpreterError

+ CSPM.Interpreter.Types: instance GHC.Show.Show (CSPM.CoreLanguage.Process.Process CSPM.Interpreter.Types.INT)

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.Channel

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.ClosureSet

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.ClosureState

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.Constructor

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.FunClosure

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.GenericBufferPrefix

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.InterpreterError

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.PrefixState

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.PrefixTrie

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.RenamingRelation

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.SwitchedOffProc

+ CSPM.Interpreter.Types: instance GHC.Show.Show CSPM.Interpreter.Types.Value

Files

CSPM-Interpreter.cabal +14/−12
LICENSE +1/−1
README.md +8/−0

CSPM-Interpreter.cabal view

@@ -1,36 +1,38 @@ Name:                CSPM-Interpreter-Version:             0.7.0.0+Version:             0.7.1.0  Synopsis:            An interpreter for CSPM Description:   This package contains an interpreter for CSPM   and instance declarations that implement the interface defined in   the package CSPM-CoreLanguage.-  All type family instances that belong to this implementation-  are indexed with the phantom-type 'INT' ('INT' == interpreter).   The operational semantics of core-CSP is defined in the CSPM-FiringRules package.  License:             BSD3 category:            Language,Formal Methods,Concurrency License-File:        LICENSE-Author:              2010 - 2014 Marc Fontaine-Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>+Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>+Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de> Stability:           experimental-Tested-With:         GHC == 7.8.2+Tested-With:         GHC == 8.2.1+Cabal-Version:       >= 1.24+Build-type: Simple+Extra-Source-Files:  README.md -cabal-Version:       >= 1.20-build-type: Simple-Extra-source-files:+Source-Repository head+  type:     git+  location: git://github.com/MarcFontaine/cspm+ Library   Build-Depends:-    CSPM-Frontend >= 0.10 && < 0.11+    CSPM-Frontend >= 0.12 && < 0.13     ,CSPM-CoreLanguage >= 0.3 && < 0.4     ,prettyclass >= 1.0 && < 1.1     ,base >= 4.0 && < 5.0     ,containers >= 0.5 && < 0.6-    ,mtl+    ,mtl >= 2.2 && < 2.3     ,array >= 0.5 && <0.6-    ,syb >= 0.4 && < 0.5+    ,syb >= 0.4 && < 0.8     Default-Language: Haskell2010

LICENSE view

@@ -1,4 +1,4 @@-Copyright (c) Marc Fontaine 2007-2011+Copyright (c) Marc Fontaine 2007-2017  All rights reserved.

+ README.md view

@@ -0,0 +1,8 @@+# CSPM-Interpreter++This package contains an interpreter for CSPM+and instance declarations that implement the interface defined in+the package CSPM-CoreLanguage.+The operational semantics of core-CSP is defined in the CSPM-FiringRules package.++## [Haddock documentation](http://hackage.haskell.org/package/CSPM-Interpreter)