CSPM.CoreLanguage.Field

This module defines the class BF for versions of CSP that also support multi-field-events and event-closure sets.

Documentation

type family Field i

type family FieldSet i

type family ClosureState i

type family PrefixState i

class BL i => BF i where

Minimal complete definition

fieldEq, member, intersection, difference, union, null, singleton, insert, delete, fieldSetToList, fieldSetFromList, joinFields, splitFields, channelLen, closureStateInit, closureStateNext, closureRestore, viewClosureState, viewClosureFields, seenPrefixInClosure, prefixStateInit, prefixStateNext, prefixStateFinalize, viewPrefixState

Methods

fieldEq :: i -> Field i -> Field i -> Bool

member :: i -> Field i -> FieldSet i -> Bool

intersection :: i -> FieldSet i -> FieldSet i -> FieldSet i

difference :: i -> FieldSet i -> FieldSet i -> FieldSet i

union :: i -> FieldSet i -> FieldSet i -> FieldSet i

null :: i -> FieldSet i -> Bool

singleton :: i -> Field i -> FieldSet i

insert :: i -> Field i -> FieldSet i -> FieldSet i

delete :: i -> Field i -> FieldSet i -> FieldSet i

fieldSetToList :: i -> FieldSet i -> [Field i]

fieldSetFromList :: i -> [Field i] -> FieldSet i

joinFields :: i -> [Field i] -> Event i

splitFields :: i -> Event i -> [Field i]

channelLen :: i -> Field i -> Int

closureStateInit :: i -> EventSet i -> ClosureState i

closureStateNext :: i -> ClosureState i -> Field i -> ClosureState i

closureRestore :: i -> ClosureState i -> EventSet i

viewClosureState :: i -> ClosureState i -> ClosureView

viewClosureFields :: i -> ClosureState i -> FieldSet i

seenPrefixInClosure :: i -> ClosureState i -> Bool

prefixStateInit :: i -> Prefix i -> PrefixState i

prefixStateNext :: i -> PrefixState i -> Field i -> Maybe (PrefixState i)

prefixStateFinalize :: i -> PrefixState i -> Maybe (Prefix i)

viewPrefixState :: i -> PrefixState i -> PrefixFieldView i

data ClosureView

Constructors

InClosure

NotInClosure

MaybeInClosure

Instances

Eq ClosureView

Methods

(==) :: ClosureView -> ClosureView -> Bool

(/=) :: ClosureView -> ClosureView -> Bool

Ord ClosureView

Methods

compare :: ClosureView -> ClosureView -> Ordering

(<) :: ClosureView -> ClosureView -> Bool

(<=) :: ClosureView -> ClosureView -> Bool

(>) :: ClosureView -> ClosureView -> Bool

(>=) :: ClosureView -> ClosureView -> Bool

max :: ClosureView -> ClosureView -> ClosureView

min :: ClosureView -> ClosureView -> ClosureView

Show ClosureView

Methods

showsPrec :: Int -> ClosureView -> ShowS

show :: ClosureView -> String

showList :: [ClosureView] -> ShowS

data PrefixFieldView i

Constructors

FieldOut (Field i)

FieldIn

FieldGuard (FieldSet i)