Copyright	(c) Markus Roggenbach and Till Mossakowski and Uni Bremen 2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	a.m.gimblett@swan.ac.uk
Stability	provisional
Portability	portable
Safe Haskell	Safe

CspCASL.AS_CspCASL_Process

Description

Abstract syntax of CSP-CASL processes.

Synopsis

type CHANNEL_NAME = Id
type CommAlpha = Set CommType
data CommType
- = CommTypeSort SORT
- | CommTypeChan TypedChanName
data EVENT
- = TermEvent (TERM ()) Range
- | ExternalPrefixChoice VAR SORT Range
- | InternalPrefixChoice VAR SORT Range
- | ChanSend CHANNEL_NAME (TERM ()) Range
- | ChanNonDetSend CHANNEL_NAME VAR SORT Range
- | ChanRecv CHANNEL_NAME VAR SORT Range
- | FQTermEvent (TERM ()) Range
- | FQExternalPrefixChoice (TERM ()) Range
- | FQInternalPrefixChoice (TERM ()) Range
- | FQChanSend (CHANNEL_NAME, SORT) (TERM ()) Range
- | FQChanNonDetSend (CHANNEL_NAME, SORT) (TERM ()) Range
- | FQChanRecv (CHANNEL_NAME, SORT) (TERM ()) Range
data EVENT_SET = EventSet [CommType] Range
data FQ_PROCESS_NAME
- = PROCESS_NAME PROCESS_NAME
- | FQ_PROCESS_NAME PROCESS_NAME ProcProfile
data PROCESS
- = Skip Range
- | Stop Range
- | Div Range
- | Run EVENT_SET Range
- | Chaos EVENT_SET Range
- | PrefixProcess EVENT PROCESS Range
- | Sequential PROCESS PROCESS Range
- | ExternalChoice PROCESS PROCESS Range
- | InternalChoice PROCESS PROCESS Range
- | Interleaving PROCESS PROCESS Range
- | SynchronousParallel PROCESS PROCESS Range
- | GeneralisedParallel PROCESS EVENT_SET PROCESS Range
- | AlphabetisedParallel PROCESS EVENT_SET EVENT_SET PROCESS Range
- | Hiding PROCESS EVENT_SET Range
- | RenamingProcess PROCESS RENAMING Range
- | ConditionalProcess (FORMULA ()) PROCESS PROCESS Range
- | NamedProcess FQ_PROCESS_NAME [TERM ()] Range
- | FQProcess PROCESS CommAlpha Range
type PROCESS_NAME = Id
type PROC_ARGS = [SORT]
data PROC_ALPHABET = ProcAlphabet [CommType]
procNameToSimpProcName :: FQ_PROCESS_NAME -> PROCESS_NAME
data ProcProfile = ProcProfile PROC_ARGS CommAlpha
data RenameKind
- = TotOp
- | PartOp
- | BinPred
data Rename = Rename Id (Maybe (RenameKind, Maybe (SORT, SORT)))
data RENAMING = Renaming [Rename]
splitCASLVar :: TERM () -> (VAR, SORT)
data TypedChanName = TypedChanName CHANNEL_NAME SORT

Documentation

type CHANNEL_NAME = Id Source #

type CommAlpha = Set CommType Source #

Type of communication alphabet

data CommType Source #

Constructors

CommTypeSort SORT
CommTypeChan TypedChanName

Instances

Instances details

Eq CommType Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: CommType -> CommType -> Bool (/=) :: CommType -> CommType -> Bool
Data CommType Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CommType -> c CommType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CommType toConstr :: CommType -> Constr dataTypeOf :: CommType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CommType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CommType) gmapT :: (forall b. Data b => b -> b) -> CommType -> CommType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CommType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CommType -> r gmapQ :: (forall d. Data d => d -> u) -> CommType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CommType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CommType -> m CommType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CommType -> m CommType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CommType -> m CommType
Ord CommType Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: CommType -> CommType -> Ordering (<) :: CommType -> CommType -> Bool (<=) :: CommType -> CommType -> Bool (>) :: CommType -> CommType -> Bool (>=) :: CommType -> CommType -> Bool max :: CommType -> CommType -> CommType min :: CommType -> CommType -> CommType
Show CommType Source #	Type of communication types, either a sort communication or a typed channel communications.
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> CommType -> ShowS show :: CommType -> String showList :: [CommType] -> ShowS
Generic CommType
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep CommType :: Type -> Type Methods from :: CommType -> Rep CommType x to :: Rep CommType x -> CommType
GetRange CommType Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: CommType -> Range Source # rangeSpan :: CommType -> [Pos] Source #
FromJSON CommType
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser CommType parseJSONList :: Value -> Parser [CommType]
ToJSON CommType
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: CommType -> Value toEncoding :: CommType -> Encoding toJSONList :: [CommType] -> Value toEncodingList :: [CommType] -> Encoding
ShATermConvertible CommType
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> CommType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CommType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CommType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CommType])
Pretty CommType Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: CommType -> Doc Source # pretties :: [CommType] -> Doc Source #
type Rep CommType
Instance details Defined in CspCASL.ATC_CspCASL type Rep CommType = D1 ('MetaData "CommType" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "CommTypeSort" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT)) :+: C1 ('MetaCons "CommTypeChan" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypedChanName)))

data EVENT Source #

Constructors

TermEvent (TERM ()) Range	`t -> p` - Term prefix
ExternalPrefixChoice VAR SORT Range	`[] var :: s -> p` - External nondeterministic prefix choice
InternalPrefixChoice VAR SORT Range	`\|~\| var :: s -> p` - Internal nondeterministic prefix choice
ChanSend CHANNEL_NAME (TERM ()) Range	`c ! t -> p` - Channel send
ChanNonDetSend CHANNEL_NAME VAR SORT Range	`c ! var :: s -> p` - Channel nondeterministic send
ChanRecv CHANNEL_NAME VAR SORT Range	`c ? var :: s -> p` - Channel recieve
FQTermEvent (TERM ()) Range	`t -> p` - Fully Qualified Term prefix
FQExternalPrefixChoice (TERM ()) Range	`[] var :: s -> p` - Fully Qualified External nondeterministic prefix choice. The term here holds the fully qualified variable (name and sort).
FQInternalPrefixChoice (TERM ()) Range	`\|~\| var :: s -> p` - Fully Qualified Internal nondeterministic prefix choice. The term here holds the fully qualified variable (name and sort).
FQChanSend (CHANNEL_NAME, SORT) (TERM ()) Range	`c ! t -> p` - Fully Qualified Channel send. The term holds the fully term to send.
FQChanNonDetSend (CHANNEL_NAME, SORT) (TERM ()) Range	`c ! var :: s -> p` - Fully Qualified Channel nondeterministic send. The term here holds the fully qualified variable (name and sort).
FQChanRecv (CHANNEL_NAME, SORT) (TERM ()) Range	`c ? var :: s -> p` - Fully Qualified Channel recieve. The term here holds the fully qualified variable (name and sort).

Instances

Instances details

Eq EVENT Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: EVENT -> EVENT -> Bool (/=) :: EVENT -> EVENT -> Bool
Data EVENT Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EVENT -> c EVENT gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EVENT toConstr :: EVENT -> Constr dataTypeOf :: EVENT -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EVENT) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EVENT) gmapT :: (forall b. Data b => b -> b) -> EVENT -> EVENT gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EVENT -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EVENT -> r gmapQ :: (forall d. Data d => d -> u) -> EVENT -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> EVENT -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> EVENT -> m EVENT gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EVENT -> m EVENT gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EVENT -> m EVENT
Ord EVENT Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: EVENT -> EVENT -> Ordering (<) :: EVENT -> EVENT -> Bool (<=) :: EVENT -> EVENT -> Bool (>) :: EVENT -> EVENT -> Bool (>=) :: EVENT -> EVENT -> Bool max :: EVENT -> EVENT -> EVENT min :: EVENT -> EVENT -> EVENT
Show EVENT Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> EVENT -> ShowS show :: EVENT -> String showList :: [EVENT] -> ShowS
Generic EVENT
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep EVENT :: Type -> Type Methods from :: EVENT -> Rep EVENT x to :: Rep EVENT x -> EVENT
GetRange EVENT Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: EVENT -> Range Source # rangeSpan :: EVENT -> [Pos] Source #
FromJSON EVENT
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser EVENT parseJSONList :: Value -> Parser [EVENT]
ToJSON EVENT
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: EVENT -> Value toEncoding :: EVENT -> Encoding toJSONList :: [EVENT] -> Value toEncodingList :: [EVENT] -> Encoding
ShATermConvertible EVENT
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> EVENT -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EVENT] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EVENT) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EVENT])
Pretty EVENT Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: EVENT -> Doc Source # pretties :: [EVENT] -> Doc Source #
type Rep EVENT
Instance details Defined in CspCASL.ATC_CspCASL type Rep EVENT = D1 ('MetaData "EVENT" "CspCASL.AS_CspCASL_Process" "main" 'False) (((C1 ('MetaCons "TermEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: (C1 ('MetaCons "ExternalPrefixChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VAR) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "InternalPrefixChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VAR) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))) :+: (C1 ('MetaCons "ChanSend" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CHANNEL_NAME) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: (C1 ('MetaCons "ChanNonDetSend" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CHANNEL_NAME) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VAR)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "ChanRecv" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CHANNEL_NAME) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VAR)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))))) :+: ((C1 ('MetaCons "FQTermEvent" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: (C1 ('MetaCons "FQExternalPrefixChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "FQInternalPrefixChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))) :+: (C1 ('MetaCons "FQChanSend" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CHANNEL_NAME, SORT)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: (C1 ('MetaCons "FQChanNonDetSend" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CHANNEL_NAME, SORT)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "FQChanRecv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (CHANNEL_NAME, SORT)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (TERM ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))))))

data EVENT_SET Source #

Event sets are sets of communication types.

Constructors

EventSet [CommType] Range

Instances

Instances details

Eq EVENT_SET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: EVENT_SET -> EVENT_SET -> Bool (/=) :: EVENT_SET -> EVENT_SET -> Bool
Data EVENT_SET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> EVENT_SET -> c EVENT_SET gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c EVENT_SET toConstr :: EVENT_SET -> Constr dataTypeOf :: EVENT_SET -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c EVENT_SET) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c EVENT_SET) gmapT :: (forall b. Data b => b -> b) -> EVENT_SET -> EVENT_SET gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> EVENT_SET -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> EVENT_SET -> r gmapQ :: (forall d. Data d => d -> u) -> EVENT_SET -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> EVENT_SET -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> EVENT_SET -> m EVENT_SET gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> EVENT_SET -> m EVENT_SET gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> EVENT_SET -> m EVENT_SET
Ord EVENT_SET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: EVENT_SET -> EVENT_SET -> Ordering (<) :: EVENT_SET -> EVENT_SET -> Bool (<=) :: EVENT_SET -> EVENT_SET -> Bool (>) :: EVENT_SET -> EVENT_SET -> Bool (>=) :: EVENT_SET -> EVENT_SET -> Bool max :: EVENT_SET -> EVENT_SET -> EVENT_SET min :: EVENT_SET -> EVENT_SET -> EVENT_SET
Show EVENT_SET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> EVENT_SET -> ShowS show :: EVENT_SET -> String showList :: [EVENT_SET] -> ShowS
Generic EVENT_SET
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep EVENT_SET :: Type -> Type Methods from :: EVENT_SET -> Rep EVENT_SET x to :: Rep EVENT_SET x -> EVENT_SET
GetRange EVENT_SET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: EVENT_SET -> Range Source # rangeSpan :: EVENT_SET -> [Pos] Source #
FromJSON EVENT_SET
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser EVENT_SET parseJSONList :: Value -> Parser [EVENT_SET]
ToJSON EVENT_SET
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: EVENT_SET -> Value toEncoding :: EVENT_SET -> Encoding toJSONList :: [EVENT_SET] -> Value toEncodingList :: [EVENT_SET] -> Encoding
ShATermConvertible EVENT_SET
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> EVENT_SET -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EVENT_SET] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EVENT_SET) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EVENT_SET])
Pretty EVENT_SET Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: EVENT_SET -> Doc Source # pretties :: [EVENT_SET] -> Doc Source #
type Rep EVENT_SET
Instance details Defined in CspCASL.ATC_CspCASL type Rep EVENT_SET = D1 ('MetaData "EVENT_SET" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "EventSet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CommType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

data FQ_PROCESS_NAME Source #

A process name is either a fully qualified process name or a plain process name.

Constructors

PROCESS_NAME PROCESS_NAME	A non-fully qualified process name
FQ_PROCESS_NAME PROCESS_NAME ProcProfile	A name with parameter sorts and communication ids from the parser. This is where the user has tried to specify a fully qualified process name

Instances

Instances details

Eq FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool (/=) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool
Data FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FQ_PROCESS_NAME -> c FQ_PROCESS_NAME gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FQ_PROCESS_NAME toConstr :: FQ_PROCESS_NAME -> Constr dataTypeOf :: FQ_PROCESS_NAME -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FQ_PROCESS_NAME) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FQ_PROCESS_NAME) gmapT :: (forall b. Data b => b -> b) -> FQ_PROCESS_NAME -> FQ_PROCESS_NAME gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FQ_PROCESS_NAME -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FQ_PROCESS_NAME -> r gmapQ :: (forall d. Data d => d -> u) -> FQ_PROCESS_NAME -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FQ_PROCESS_NAME -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FQ_PROCESS_NAME -> m FQ_PROCESS_NAME gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FQ_PROCESS_NAME -> m FQ_PROCESS_NAME gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FQ_PROCESS_NAME -> m FQ_PROCESS_NAME
Ord FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Ordering (<) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool (<=) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool (>) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool (>=) :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> Bool max :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> FQ_PROCESS_NAME min :: FQ_PROCESS_NAME -> FQ_PROCESS_NAME -> FQ_PROCESS_NAME
Show FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> FQ_PROCESS_NAME -> ShowS show :: FQ_PROCESS_NAME -> String showList :: [FQ_PROCESS_NAME] -> ShowS
Generic FQ_PROCESS_NAME
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep FQ_PROCESS_NAME :: Type -> Type Methods from :: FQ_PROCESS_NAME -> Rep FQ_PROCESS_NAME x to :: Rep FQ_PROCESS_NAME x -> FQ_PROCESS_NAME
GetRange FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: FQ_PROCESS_NAME -> Range Source # rangeSpan :: FQ_PROCESS_NAME -> [Pos] Source #
FromJSON FQ_PROCESS_NAME
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser FQ_PROCESS_NAME parseJSONList :: Value -> Parser [FQ_PROCESS_NAME]
ToJSON FQ_PROCESS_NAME
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: FQ_PROCESS_NAME -> Value toEncoding :: FQ_PROCESS_NAME -> Encoding toJSONList :: [FQ_PROCESS_NAME] -> Value toEncodingList :: [FQ_PROCESS_NAME] -> Encoding
ShATermConvertible FQ_PROCESS_NAME
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> FQ_PROCESS_NAME -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FQ_PROCESS_NAME] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FQ_PROCESS_NAME) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FQ_PROCESS_NAME])
Pretty FQ_PROCESS_NAME Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: FQ_PROCESS_NAME -> Doc Source # pretties :: [FQ_PROCESS_NAME] -> Doc Source #
type Rep FQ_PROCESS_NAME
Instance details Defined in CspCASL.ATC_CspCASL type Rep FQ_PROCESS_NAME = D1 ('MetaData "FQ_PROCESS_NAME" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "PROCESS_NAME" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS_NAME)) :+: C1 ('MetaCons "FQ_PROCESS_NAME" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS_NAME) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ProcProfile)))

data PROCESS Source #

CSP-CASL process expressions.

Constructors

Skip Range	`Skip` - Terminate immediately
Stop Range	`Stop` - Do nothing
Div Range	`div` - Divergence
Run EVENT_SET Range	`Run es` - Accept any event in es, forever
Chaos EVENT_SET Range	`Chaos es` - Accept/refuse any event in es, forever
PrefixProcess EVENT PROCESS Range	`event -> p` - Prefix process
Sequential PROCESS PROCESS Range	`p ; q` - Sequential process
ExternalChoice PROCESS PROCESS Range	`p [] q` - External choice
InternalChoice PROCESS PROCESS Range	`p \|~\| q` - Internal choice
Interleaving PROCESS PROCESS Range	`p \|\|\| q` - Interleaving
SynchronousParallel PROCESS PROCESS Range	`p \|\| q` - Synchronous parallel
GeneralisedParallel PROCESS EVENT_SET PROCESS Range	`p [\| a \|] q` - Generalised parallel
AlphabetisedParallel PROCESS EVENT_SET EVENT_SET PROCESS Range	`p [ a \|\| b ] q` - Alphabetised parallel
Hiding PROCESS EVENT_SET Range	`p \ es` - Hiding
RenamingProcess PROCESS RENAMING Range	`p [[r]]` - Renaming
ConditionalProcess (FORMULA ()) PROCESS PROCESS Range	`if f then p else q` - Conditional
NamedProcess FQ_PROCESS_NAME [TERM ()] Range	Named process
FQProcess PROCESS CommAlpha Range	Fully qualified process. The range here shall be the same as in the process.

Instances

Instances details

Eq PROCESS Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: PROCESS -> PROCESS -> Bool (/=) :: PROCESS -> PROCESS -> Bool
Data PROCESS Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PROCESS -> c PROCESS gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PROCESS toConstr :: PROCESS -> Constr dataTypeOf :: PROCESS -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PROCESS) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PROCESS) gmapT :: (forall b. Data b => b -> b) -> PROCESS -> PROCESS gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PROCESS -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PROCESS -> r gmapQ :: (forall d. Data d => d -> u) -> PROCESS -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PROCESS -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PROCESS -> m PROCESS gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PROCESS -> m PROCESS gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PROCESS -> m PROCESS
Ord PROCESS Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: PROCESS -> PROCESS -> Ordering (<) :: PROCESS -> PROCESS -> Bool (<=) :: PROCESS -> PROCESS -> Bool (>) :: PROCESS -> PROCESS -> Bool (>=) :: PROCESS -> PROCESS -> Bool max :: PROCESS -> PROCESS -> PROCESS min :: PROCESS -> PROCESS -> PROCESS
Show PROCESS Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> PROCESS -> ShowS show :: PROCESS -> String showList :: [PROCESS] -> ShowS
Generic PROCESS
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep PROCESS :: Type -> Type Methods from :: PROCESS -> Rep PROCESS x to :: Rep PROCESS x -> PROCESS
GetRange PROCESS Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: PROCESS -> Range Source # rangeSpan :: PROCESS -> [Pos] Source #
FromJSON PROCESS
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser PROCESS parseJSONList :: Value -> Parser [PROCESS]
ToJSON PROCESS
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: PROCESS -> Value toEncoding :: PROCESS -> Encoding toJSONList :: [PROCESS] -> Value toEncodingList :: [PROCESS] -> Encoding
ShATermConvertible PROCESS
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> PROCESS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROCESS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROCESS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROCESS])
Pretty PROCESS Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: PROCESS -> Doc Source # pretties :: [PROCESS] -> Doc Source #
type Rep PROCESS
Instance details Defined in CspCASL.ATC_CspCASL type Rep PROCESS = D1 ('MetaData "PROCESS" "CspCASL.AS_CspCASL_Process" "main" 'False) ((((C1 ('MetaCons "Skip" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "Stop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "Run" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))) :+: ((C1 ('MetaCons "Chaos" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)) :+: C1 ('MetaCons "PrefixProcess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))) :+: (C1 ('MetaCons "Sequential" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: (C1 ('MetaCons "ExternalChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "InternalChoice" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))))) :+: (((C1 ('MetaCons "Interleaving" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "SynchronousParallel" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))) :+: (C1 ('MetaCons "GeneralisedParallel" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "AlphabetisedParallel" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))))) :+: ((C1 ('MetaCons "Hiding" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 EVENT_SET) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "RenamingProcess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 RENAMING) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))) :+: (C1 ('MetaCons "ConditionalProcess" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FORMULA ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: (C1 ('MetaCons "NamedProcess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 FQ_PROCESS_NAME) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TERM ()]) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))) :+: C1 ('MetaCons "FQProcess" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROCESS) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CommAlpha) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range))))))))

type PROCESS_NAME = Id Source #

type PROC_ARGS = [SORT] Source #

data PROC_ALPHABET Source #

Constructors

ProcAlphabet [CommType]

Instances

Instances details

Eq PROC_ALPHABET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool (/=) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool
Data PROC_ALPHABET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PROC_ALPHABET -> c PROC_ALPHABET gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PROC_ALPHABET toConstr :: PROC_ALPHABET -> Constr dataTypeOf :: PROC_ALPHABET -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PROC_ALPHABET) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PROC_ALPHABET) gmapT :: (forall b. Data b => b -> b) -> PROC_ALPHABET -> PROC_ALPHABET gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PROC_ALPHABET -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PROC_ALPHABET -> r gmapQ :: (forall d. Data d => d -> u) -> PROC_ALPHABET -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PROC_ALPHABET -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PROC_ALPHABET -> m PROC_ALPHABET gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PROC_ALPHABET -> m PROC_ALPHABET gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PROC_ALPHABET -> m PROC_ALPHABET
Ord PROC_ALPHABET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: PROC_ALPHABET -> PROC_ALPHABET -> Ordering (<) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool (<=) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool (>) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool (>=) :: PROC_ALPHABET -> PROC_ALPHABET -> Bool max :: PROC_ALPHABET -> PROC_ALPHABET -> PROC_ALPHABET min :: PROC_ALPHABET -> PROC_ALPHABET -> PROC_ALPHABET
Show PROC_ALPHABET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> PROC_ALPHABET -> ShowS show :: PROC_ALPHABET -> String showList :: [PROC_ALPHABET] -> ShowS
Generic PROC_ALPHABET
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep PROC_ALPHABET :: Type -> Type Methods from :: PROC_ALPHABET -> Rep PROC_ALPHABET x to :: Rep PROC_ALPHABET x -> PROC_ALPHABET
GetRange PROC_ALPHABET Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: PROC_ALPHABET -> Range Source # rangeSpan :: PROC_ALPHABET -> [Pos] Source #
FromJSON PROC_ALPHABET
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser PROC_ALPHABET parseJSONList :: Value -> Parser [PROC_ALPHABET]
ToJSON PROC_ALPHABET
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: PROC_ALPHABET -> Value toEncoding :: PROC_ALPHABET -> Encoding toJSONList :: [PROC_ALPHABET] -> Value toEncodingList :: [PROC_ALPHABET] -> Encoding
ShATermConvertible PROC_ALPHABET
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> PROC_ALPHABET -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PROC_ALPHABET] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PROC_ALPHABET) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PROC_ALPHABET])
type Rep PROC_ALPHABET
Instance details Defined in CspCASL.ATC_CspCASL type Rep PROC_ALPHABET = D1 ('MetaData "PROC_ALPHABET" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "ProcAlphabet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [CommType])))

procNameToSimpProcName :: FQ_PROCESS_NAME -> PROCESS_NAME Source #

data ProcProfile Source #

Fully qualified process names have parameter sorts, and a communication alphabet (a Set of sorts). The CommAlpha here should always contain the minimal super sorts only. The communication over subsorts is implied

Constructors

ProcProfile PROC_ARGS CommAlpha

Instances

Instances details

Eq ProcProfile Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: ProcProfile -> ProcProfile -> Bool (/=) :: ProcProfile -> ProcProfile -> Bool
Data ProcProfile Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ProcProfile -> c ProcProfile gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ProcProfile toConstr :: ProcProfile -> Constr dataTypeOf :: ProcProfile -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ProcProfile) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ProcProfile) gmapT :: (forall b. Data b => b -> b) -> ProcProfile -> ProcProfile gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ProcProfile -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ProcProfile -> r gmapQ :: (forall d. Data d => d -> u) -> ProcProfile -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ProcProfile -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ProcProfile -> m ProcProfile gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcProfile -> m ProcProfile gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ProcProfile -> m ProcProfile
Ord ProcProfile Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: ProcProfile -> ProcProfile -> Ordering (<) :: ProcProfile -> ProcProfile -> Bool (<=) :: ProcProfile -> ProcProfile -> Bool (>) :: ProcProfile -> ProcProfile -> Bool (>=) :: ProcProfile -> ProcProfile -> Bool max :: ProcProfile -> ProcProfile -> ProcProfile min :: ProcProfile -> ProcProfile -> ProcProfile
Show ProcProfile Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> ProcProfile -> ShowS show :: ProcProfile -> String showList :: [ProcProfile] -> ShowS
Generic ProcProfile
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep ProcProfile :: Type -> Type Methods from :: ProcProfile -> Rep ProcProfile x to :: Rep ProcProfile x -> ProcProfile
GetRange ProcProfile Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: ProcProfile -> Range Source # rangeSpan :: ProcProfile -> [Pos] Source #
FromJSON ProcProfile
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser ProcProfile parseJSONList :: Value -> Parser [ProcProfile]
ToJSON ProcProfile
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: ProcProfile -> Value toEncoding :: ProcProfile -> Encoding toJSONList :: [ProcProfile] -> Value toEncodingList :: [ProcProfile] -> Encoding
ShATermConvertible ProcProfile
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> ProcProfile -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ProcProfile] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ProcProfile) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ProcProfile])
Pretty ProcProfile Source #	Pretty printing for process profiles
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: ProcProfile -> Doc Source # pretties :: [ProcProfile] -> Doc Source #
type Rep ProcProfile
Instance details Defined in CspCASL.ATC_CspCASL type Rep ProcProfile = D1 ('MetaData "ProcProfile" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "ProcProfile" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PROC_ARGS) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CommAlpha)))

data RenameKind Source #

Constructors

TotOp
PartOp
BinPred

Instances

Instances details

Eq RenameKind Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: RenameKind -> RenameKind -> Bool (/=) :: RenameKind -> RenameKind -> Bool
Data RenameKind Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RenameKind -> c RenameKind gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RenameKind toConstr :: RenameKind -> Constr dataTypeOf :: RenameKind -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RenameKind) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RenameKind) gmapT :: (forall b. Data b => b -> b) -> RenameKind -> RenameKind gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RenameKind -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RenameKind -> r gmapQ :: (forall d. Data d => d -> u) -> RenameKind -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RenameKind -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RenameKind -> m RenameKind gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RenameKind -> m RenameKind gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RenameKind -> m RenameKind
Ord RenameKind Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: RenameKind -> RenameKind -> Ordering (<) :: RenameKind -> RenameKind -> Bool (<=) :: RenameKind -> RenameKind -> Bool (>) :: RenameKind -> RenameKind -> Bool (>=) :: RenameKind -> RenameKind -> Bool max :: RenameKind -> RenameKind -> RenameKind min :: RenameKind -> RenameKind -> RenameKind
Show RenameKind Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> RenameKind -> ShowS show :: RenameKind -> String showList :: [RenameKind] -> ShowS
Generic RenameKind
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep RenameKind :: Type -> Type Methods from :: RenameKind -> Rep RenameKind x to :: Rep RenameKind x -> RenameKind
GetRange RenameKind Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: RenameKind -> Range Source # rangeSpan :: RenameKind -> [Pos] Source #
FromJSON RenameKind
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser RenameKind parseJSONList :: Value -> Parser [RenameKind]
ToJSON RenameKind
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: RenameKind -> Value toEncoding :: RenameKind -> Encoding toJSONList :: [RenameKind] -> Value toEncodingList :: [RenameKind] -> Encoding
ShATermConvertible RenameKind
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> RenameKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RenameKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RenameKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RenameKind])
type Rep RenameKind
Instance details Defined in CspCASL.ATC_CspCASL type Rep RenameKind = D1 ('MetaData "RenameKind" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "TotOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PartOp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BinPred" 'PrefixI 'False) (U1 :: Type -> Type)))

data Rename Source #

Constructors

Rename Id (Maybe (RenameKind, Maybe (SORT, SORT)))

Instances

Instances details

Eq Rename Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: Rename -> Rename -> Bool (/=) :: Rename -> Rename -> Bool
Data Rename Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rename -> c Rename gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rename toConstr :: Rename -> Constr dataTypeOf :: Rename -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rename) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rename) gmapT :: (forall b. Data b => b -> b) -> Rename -> Rename gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rename -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rename -> r gmapQ :: (forall d. Data d => d -> u) -> Rename -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Rename -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rename -> m Rename gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rename -> m Rename gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rename -> m Rename
Ord Rename Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: Rename -> Rename -> Ordering (<) :: Rename -> Rename -> Bool (<=) :: Rename -> Rename -> Bool (>) :: Rename -> Rename -> Bool (>=) :: Rename -> Rename -> Bool max :: Rename -> Rename -> Rename min :: Rename -> Rename -> Rename
Show Rename Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> Rename -> ShowS show :: Rename -> String showList :: [Rename] -> ShowS
Generic Rename
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep Rename :: Type -> Type Methods from :: Rename -> Rep Rename x to :: Rep Rename x -> Rename
GetRange Rename Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: Rename -> Range Source # rangeSpan :: Rename -> [Pos] Source #
FromJSON Rename
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser Rename parseJSONList :: Value -> Parser [Rename]
ToJSON Rename
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: Rename -> Value toEncoding :: Rename -> Encoding toJSONList :: [Rename] -> Value toEncodingList :: [Rename] -> Encoding
ShATermConvertible Rename
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> Rename -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rename] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rename) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rename])
Pretty Rename Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: Rename -> Doc Source # pretties :: [Rename] -> Doc Source #
type Rep Rename
Instance details Defined in CspCASL.ATC_CspCASL type Rep Rename = D1 ('MetaData "Rename" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "Rename" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Id) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (RenameKind, Maybe (SORT, SORT))))))

data RENAMING Source #

CSP renamings are predicate names or op names.

Constructors

Renaming [Rename]

Instances

Instances details

Eq RENAMING Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: RENAMING -> RENAMING -> Bool (/=) :: RENAMING -> RENAMING -> Bool
Data RENAMING Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> RENAMING -> c RENAMING gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c RENAMING toConstr :: RENAMING -> Constr dataTypeOf :: RENAMING -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c RENAMING) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c RENAMING) gmapT :: (forall b. Data b => b -> b) -> RENAMING -> RENAMING gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> RENAMING -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> RENAMING -> r gmapQ :: (forall d. Data d => d -> u) -> RENAMING -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> RENAMING -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> RENAMING -> m RENAMING gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> RENAMING -> m RENAMING gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> RENAMING -> m RENAMING
Ord RENAMING Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: RENAMING -> RENAMING -> Ordering (<) :: RENAMING -> RENAMING -> Bool (<=) :: RENAMING -> RENAMING -> Bool (>) :: RENAMING -> RENAMING -> Bool (>=) :: RENAMING -> RENAMING -> Bool max :: RENAMING -> RENAMING -> RENAMING min :: RENAMING -> RENAMING -> RENAMING
Show RENAMING Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> RENAMING -> ShowS show :: RENAMING -> String showList :: [RENAMING] -> ShowS
Generic RENAMING
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep RENAMING :: Type -> Type Methods from :: RENAMING -> Rep RENAMING x to :: Rep RENAMING x -> RENAMING
GetRange RENAMING Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: RENAMING -> Range Source # rangeSpan :: RENAMING -> [Pos] Source #
FromJSON RENAMING
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser RENAMING parseJSONList :: Value -> Parser [RENAMING]
ToJSON RENAMING
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: RENAMING -> Value toEncoding :: RENAMING -> Encoding toJSONList :: [RENAMING] -> Value toEncodingList :: [RENAMING] -> Encoding
ShATermConvertible RENAMING
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> RENAMING -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RENAMING] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RENAMING) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RENAMING])
Pretty RENAMING Source #
Instance details Defined in CspCASL.Print_CspCASL Methods pretty :: RENAMING -> Doc Source # pretties :: [RENAMING] -> Doc Source #
type Rep RENAMING
Instance details Defined in CspCASL.ATC_CspCASL type Rep RENAMING = D1 ('MetaData "RENAMING" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "Renaming" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Rename])))

splitCASLVar :: TERM () -> (VAR, SORT) Source #

data TypedChanName Source #

A process communication alphabet consists of a set of sort names and typed channel names.

Constructors

TypedChanName CHANNEL_NAME SORT

Instances

Instances details

Eq TypedChanName Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods (==) :: TypedChanName -> TypedChanName -> Bool (/=) :: TypedChanName -> TypedChanName -> Bool
Data TypedChanName Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypedChanName -> c TypedChanName gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypedChanName toConstr :: TypedChanName -> Constr dataTypeOf :: TypedChanName -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypedChanName) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypedChanName) gmapT :: (forall b. Data b => b -> b) -> TypedChanName -> TypedChanName gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypedChanName -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypedChanName -> r gmapQ :: (forall d. Data d => d -> u) -> TypedChanName -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TypedChanName -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypedChanName -> m TypedChanName gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedChanName -> m TypedChanName gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypedChanName -> m TypedChanName
Ord TypedChanName Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods compare :: TypedChanName -> TypedChanName -> Ordering (<) :: TypedChanName -> TypedChanName -> Bool (<=) :: TypedChanName -> TypedChanName -> Bool (>) :: TypedChanName -> TypedChanName -> Bool (>=) :: TypedChanName -> TypedChanName -> Bool max :: TypedChanName -> TypedChanName -> TypedChanName min :: TypedChanName -> TypedChanName -> TypedChanName
Show TypedChanName Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods showsPrec :: Int -> TypedChanName -> ShowS show :: TypedChanName -> String showList :: [TypedChanName] -> ShowS
Generic TypedChanName
Instance details Defined in CspCASL.ATC_CspCASL Associated Types type Rep TypedChanName :: Type -> Type Methods from :: TypedChanName -> Rep TypedChanName x to :: Rep TypedChanName x -> TypedChanName
GetRange TypedChanName Source #
Instance details Defined in CspCASL.AS_CspCASL_Process Methods getRange :: TypedChanName -> Range Source # rangeSpan :: TypedChanName -> [Pos] Source #
FromJSON TypedChanName
Instance details Defined in CspCASL.ATC_CspCASL Methods parseJSON :: Value -> Parser TypedChanName parseJSONList :: Value -> Parser [TypedChanName]
ToJSON TypedChanName
Instance details Defined in CspCASL.ATC_CspCASL Methods toJSON :: TypedChanName -> Value toEncoding :: TypedChanName -> Encoding toJSONList :: [TypedChanName] -> Value toEncodingList :: [TypedChanName] -> Encoding
ShATermConvertible TypedChanName
Instance details Defined in CspCASL.ATC_CspCASL Methods toShATermAux :: ATermTable -> TypedChanName -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [TypedChanName] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, TypedChanName) fromShATermList' :: Int -> ATermTable -> (ATermTable, [TypedChanName])
type Rep TypedChanName
Instance details Defined in CspCASL.ATC_CspCASL type Rep TypedChanName = D1 ('MetaData "TypedChanName" "CspCASL.AS_CspCASL_Process" "main" 'False) (C1 ('MetaCons "TypedChanName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CHANNEL_NAME) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SORT)))