Copyright	(c) Fontaine 2008 - 2011
License	BSD3
Maintainer	Fontaine@cs.uni-duesseldorf.de
Stability	experimental
Portability	GHC-only
Safe Haskell	None
Language	Haskell2010

CSPM.Interpreter.CoreInstances

Contents

Orphan instances

Description

This module defines some class instances that make the interpreter an implementation of the interface defined in package CSPM-CoreLanguage.

Orphan instances

BF INT Source #
Methods fieldEq :: INT -> Field INT -> Field INT -> Bool # member :: INT -> Field INT -> FieldSet INT -> Bool # intersection :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT # difference :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT # union :: INT -> FieldSet INT -> FieldSet INT -> FieldSet INT # null :: INT -> FieldSet INT -> Bool # singleton :: INT -> Field INT -> FieldSet INT # insert :: INT -> Field INT -> FieldSet INT -> FieldSet INT # delete :: INT -> Field INT -> FieldSet INT -> FieldSet INT # fieldSetToList :: INT -> FieldSet INT -> [Field INT] # fieldSetFromList :: INT -> [Field INT] -> FieldSet INT # joinFields :: INT -> [Field INT] -> Event INT # splitFields :: INT -> Event INT -> [Field INT] # channelLen :: INT -> Field INT -> Int # closureStateInit :: INT -> EventSet INT -> ClosureState INT # closureStateNext :: INT -> ClosureState INT -> Field INT -> ClosureState INT # closureRestore :: INT -> ClosureState INT -> EventSet INT # viewClosureState :: INT -> ClosureState INT -> ClosureView # viewClosureFields :: INT -> ClosureState INT -> FieldSet INT # seenPrefixInClosure :: INT -> ClosureState INT -> Bool # prefixStateInit :: INT -> Prefix INT -> PrefixState INT # prefixStateNext :: INT -> PrefixState INT -> Field INT -> Maybe (PrefixState INT) # prefixStateFinalize :: INT -> PrefixState INT -> Maybe (Prefix INT) # viewPrefixState :: INT -> PrefixState INT -> PrefixFieldView INT #
BL INT Source #
Methods prefixNext :: Prefix INT -> Event INT -> Maybe (Process INT) # switchOn :: ExtProcess INT -> Process INT #
BE INT Source #
Methods eventEq :: INT -> Event INT -> Event INT -> Bool # member :: INT -> Event INT -> EventSet INT -> Bool # intersection :: INT -> EventSet INT -> EventSet INT -> EventSet INT # difference :: INT -> EventSet INT -> EventSet INT -> EventSet INT # union :: INT -> EventSet INT -> EventSet INT -> EventSet INT # null :: INT -> EventSet INT -> Bool # singleton :: INT -> Event INT -> EventSet INT # insert :: INT -> Event INT -> EventSet INT -> EventSet INT # delete :: INT -> Event INT -> EventSet INT -> EventSet INT # eventSetToList :: INT -> EventSet INT -> [Event INT] # allEvents :: INT -> EventSet INT # isInRenaming :: INT -> RenamingRelation INT -> Event INT -> Event INT -> Bool # imageRenaming :: INT -> RenamingRelation INT -> Event INT -> [Event INT] # preImageRenaming :: INT -> RenamingRelation INT -> Event INT -> [Event INT] # isInRenamingDomain :: INT -> Event INT -> RenamingRelation INT -> Bool # isInRenamingRange :: INT -> Event INT -> RenamingRelation INT -> Bool # getRenamingDomain :: INT -> RenamingRelation INT -> [Event INT] # getRenamingRange :: INT -> RenamingRelation INT -> [Event INT] # renamingFromList :: INT -> [(Event INT, Event INT)] -> RenamingRelation INT # renamingToList :: INT -> RenamingRelation INT -> [(Event INT, Event INT)] # singleEventToClosureSet :: INT -> Event INT -> EventSet INT #
ShowEvent Event Source #
Methods showEvent :: Event -> String #
Show (TTE INT) Source #
Methods showsPrec :: Int -> TTE INT -> ShowS # show :: TTE INT -> String # showList :: [TTE INT] -> ShowS #
ShowTTE (TTE INT) Source #
Methods showTTE :: TTE INT -> String #