sessions-2008.3.23: Session Types for Haskell Source code Contents Index

Control.Concurrent.Session.Pid

Description

Defines what a Pid is and provides functionality to create new sessions channels to a given pid. Obviously this is safe/ in some way - in particular, a Pid carries about with it the set of Session Types it is willing to use. This means that you can't try to start any old Session Type with any given Pid. However, it doesn't mean that given an acceptable Session Type, the other thread will ever actually get around to agreeing to create the new session / channel with you.

Synopsis

data Pid where Pid :: RawPid -> prog -> TyMap sessionsToIdx idxsToPairStructs -> Pid prog sessionsToIdx idxsToPairStructs data InternalPid where IPid :: Pid prog sessionsToIdx idxsToPairStructs -> [RawPid] -> InternalPid prog sessionsToIdx idxsToPairStructs makePid :: InternalPid prog sessionsToIdxO idxsToPairStructsO -> TyMap sessionsToIdxN idxsToPairStructsN -> (InternalPid prog sessionsToIdxO idxsToPairStructsO, InternalPid prog sessionsToIdxN idxsToPairStructsN) rootPid :: TyMap sessionsToIdx idxsToPairStructs -> prog -> InternalPid prog sessionsToIdx idxsToPairStructs iPidToPid :: InternalPid prog sessionsToIdx idxsToPairStructs -> Pid prog sessionsToIdx idxsToPairStructs myPid :: InterleavedChain (InternalPid prog sessionsToIdx idxsToPairStructs) from from (Pid prog sessionsToIdx idxsToPairStructs) newtype InterleavedChain internalPid from to res = InterleavedChain { runInterleavedChain :: internalPid -> from -> IO (res, to, internalPid) } class BuildPidTyMap prog stlst tymap | prog stlst -> tymap where type BuildPidTyMapT prog stlst buildPidTyMap :: prog -> stlst -> IO tymap class CreateSession invert init prog prog' fromO fromI progOut progIn sessionsToIdxMe sessionsToIdxThem idxsToPairStructsMe idxsToPairStructsThem keyToIdxMe idxToValueMe keyToIdxMe' idxToValueMe' idxOfThem where createSession :: init -> invert -> Pid prog sessionsToIdxThem idxsToPairStructsThem -> InterleavedChain (InternalPid prog sessionsToIdxMe idxsToPairStructsMe) (TyMap keyToIdxMe idxToValueMe) (TyMap keyToIdxMe' idxToValueMe') idxOfThem class PidEq a b where (=~=) :: a -> b -> Bool

Documentation

data Pid where Source

A process ID. This is a tiny bit like ThreadId but rather heavily annotated. Constructors Pid :: RawPid -> prog -> TyMap sessionsToIdx idxsToPairStructs -> Pid prog sessionsToIdx idxsToPairStructs Instances Eq (Pid prog sessionsToIdx idxsToPairStructs) Ord (Pid prog sessionsToIdx idxsToPairStructs) Show (Pid prog sessionsToIdx idxsToPairStructs) PidEq (Pid progA sessionsToIdxA idxsToPairStructsA) (Pid progB sessionsToIdxB idxsToPairStructsB)

data InternalPid where Source

Constructors IPid :: Pid prog sessionsToIdx idxsToPairStructs -> [RawPid] -> InternalPid prog sessionsToIdx idxsToPairStructs Instances Eq (InternalPid prog sessionsToIdx idxsToPairStructs) Ord (InternalPid prog sessionsToIdx idxsToPairStructs)

makePid :: InternalPid prog sessionsToIdxO idxsToPairStructsO -> TyMap sessionsToIdxN idxsToPairStructsN -> (InternalPid prog sessionsToIdxO idxsToPairStructsO, InternalPid prog sessionsToIdxN idxsToPairStructsN) Source

rootPid :: TyMap sessionsToIdx idxsToPairStructs -> prog -> InternalPid prog sessionsToIdx idxsToPairStructs Source

iPidToPid :: InternalPid prog sessionsToIdx idxsToPairStructs -> Pid prog sessionsToIdx idxsToPairStructs Source

myPid :: InterleavedChain (InternalPid prog sessionsToIdx idxsToPairStructs) from from (Pid prog sessionsToIdx idxsToPairStructs) Source

newtype InterleavedChain internalPid from to res Source

Constructors InterleavedChain runInterleavedChain :: internalPid -> from -> IO (res, to, internalPid) Instances SMonadIO (InterleavedChain internalPid) SMonad (InterleavedChain internalPid)

class BuildPidTyMap prog stlst tymap | prog stlst -> tymap where Source

Associated Types type BuildPidTyMapT prog stlst Source Methods buildPidTyMap :: prog -> stlst -> IO tymap Source

class CreateSession invert init prog prog' fromO fromI progOut progIn sessionsToIdxMe sessionsToIdxThem idxsToPairStructsMe idxsToPairStructsThem keyToIdxMe idxToValueMe keyToIdxMe' idxToValueMe' idxOfThem where Source

Provides the ability to make a new session / channel with the given Pid. Supply the index to the Session Type, whether or not you're locally inverting (dualing) the Session Type, and the Pid, and so long as the Pid supports the dual of your local Session Type, this will block until the Pid gets around to servicing you. Thus this is a synchronous operation and both Pids must know of each other to create a new session / channel between them. Methods createSession :: init -> invert -> Pid prog sessionsToIdxThem idxsToPairStructsThem -> InterleavedChain (InternalPid prog sessionsToIdxMe idxsToPairStructsMe) (TyMap keyToIdxMe idxToValueMe) (TyMap keyToIdxMe' idxToValueMe') idxOfThem Source Instances (ProgramToMVarsOutgoingT prog prog ~ progOut, ProgramToMVarsOutgoingT prog' prog' ~ progIn, ProgramToMVarsOutgoing prog prog progOut, ProgramToMVarsOutgoing prog' prog' progIn, SWellFormedConfig init (D0 E) prog, SWellFormedConfig init (D0 E) prog', TyListIndex progOut init (MVar (ProgramCell (Cell fromO))), TyListIndex progIn init (MVar (ProgramCell (Cell fromI))), MapLookup (TyMap sessionsToIdxMe idxsToPairStructsMe) init (MVar (Map ((,) RawPid RawPid) (MVar (PairStruct init prog prog' ((,) (Cons (Jump init) Nil) (Cons (Jump init) Nil)))))), MapSize (TyMap keyToIdxMe idxToValueMe) idxOfThem, MapInsert (TyMap keyToIdxMe idxToValueMe) idxOfThem (SessionState prog prog' ((,) fromO fromI)) (TyMap keyToIdxMe' idxToValueMe')) => CreateSession False init prog prog' fromO fromI progOut progIn sessionsToIdxMe sessionsToIdxThem idxsToPairStructsMe idxsToPairStructsThem keyToIdxMe idxToValueMe keyToIdxMe' idxToValueMe' idxOfThem (ProgramToMVarsOutgoingT prog prog ~ progOut, ProgramToMVarsOutgoingT prog' prog' ~ progIn, ProgramToMVarsOutgoing prog prog progOut, ProgramToMVarsOutgoing prog' prog' progIn, SWellFormedConfig init (D0 E) prog, SWellFormedConfig init (D0 E) prog', TyListIndex progOut init (MVar (ProgramCell (Cell fromO))), TyListIndex progIn init (MVar (ProgramCell (Cell fromI))), MapLookup (TyMap sessionsToIdxThem idxsToPairStructsThem) init (MVar (Map ((,) RawPid RawPid) (MVar (PairStruct init prog prog' ((,) (Cons (Jump init) Nil) (Cons (Jump init) Nil)))))), MapSize (TyMap keyToIdxMe idxToValueMe) idxOfThem, MapInsert (TyMap keyToIdxMe idxToValueMe) idxOfThem (SessionState prog' prog ((,) fromI fromO)) (TyMap keyToIdxMe' idxToValueMe'), Dual prog prog') => CreateSession True init prog prog' fromO fromI progOut progIn sessionsToIdxMe sessionsToIdxThem idxsToPairStructsMe idxsToPairStructsThem keyToIdxMe idxToValueMe keyToIdxMe' idxToValueMe' idxOfThem

class PidEq a b where Source

Provides a way to compare two Pids. Of course, if the Pids have different type params, then they are definitely different, but it's still convenient to be able to do something like (==) on them. Methods (=~=) :: a -> b -> Bool Source Instances PidEq (Pid progA sessionsToIdxA idxsToPairStructsA) (Pid progB sessionsToIdxB idxsToPairStructsB)

Produced by Haddock version 2.3.0