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

Control.Concurrent.Session.Types

Synopsis

data Cell where Cell :: val -> MVar (Cell nxt) -> Cell (Cons val nxt) SelectCell :: Int -> Cell (Cons (Choice jumps) Nil) data ProgramCell where ProgramCell :: MVar a -> MVar (ProgramCell a) -> ProgramCell a class ProgramToMVarsOutgoing progRef prog mvars | progRef prog -> mvars where type ProgramToMVarsOutgoingT progRef prog programToMVarsOutgoing :: progRef -> prog -> IO mvars data SessionState where SessionState :: (ProgramToMVarsOutgoingT prog prog ~ progOut, ProgramToMVarsOutgoingT prog' prog' ~ progIn) => progOut -> progIn -> current -> MVar (IO ()) -> MVar (Cell currentOutgoing) -> MVar (IO ()) -> MVar (Cell currentIncoming) -> SessionState prog prog' (current, currentOutgoing, currentIncoming) newtype SessionChain prog prog' from to res = SessionChain { runSessionChain :: SessionState prog prog' from -> IO (res, SessionState prog prog' to) } type RawPid = [Int] data Pid where Pid :: RawPid -> TyMap sessionsToIdx idxsToPairStructs -> Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs data InternalPid where IPid :: Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs -> [RawPid] -> InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs pidToRawPid :: Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs -> RawPid iPidToPid :: InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs -> Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs class PidEq a b where (=~=) :: a -> b -> Bool newtype InterleavedChain internalPid from to res = InterleavedChain { runInterleavedChain :: internalPid -> from -> IO (res, to, internalPid) } data SpecialSession data SpecialPid data SpecialNormal data PairStruct where PS :: RawPid -> (SessionState prog prog' (Cons (Jump init) Nil, Cons (Jump init) Nil, Cons (Jump init) Nil) -> IO ()) -> PairStruct init prog prog' (Cons (Jump init) Nil, Cons (Jump init) Nil, Cons (Jump init) Nil)

Documentation

data Cell where Source

Constructors Cell :: val -> MVar (Cell nxt) -> Cell (Cons val nxt) SelectCell :: Int -> Cell (Cons (Choice jumps) Nil)

data ProgramCell where Source

Constructors ProgramCell :: MVar a -> MVar (ProgramCell a) -> ProgramCell a

class ProgramToMVarsOutgoing progRef prog mvars | progRef prog -> mvars where Source

Associated Types type ProgramToMVarsOutgoingT progRef prog Source Methods programToMVarsOutgoing :: progRef -> prog -> IO mvars Source Instances ProgramToMVarsOutgoing ref Nil Nil (Outgoing val'' ~ val', ProgramToMVarsOutgoing ref nxt nxt', TyList nxt, TyList nxt', Expand ref val val'') => ProgramToMVarsOutgoing ref (Cons val nxt) (Cons (MVar (ProgramCell (Cell val'))) nxt')

data SessionState where Source

Constructors SessionState :: (ProgramToMVarsOutgoingT prog prog ~ progOut, ProgramToMVarsOutgoingT prog' prog' ~ progIn) => progOut -> progIn -> current -> MVar (IO ()) -> MVar (Cell currentOutgoing) -> MVar (IO ()) -> MVar (Cell currentIncoming) -> SessionState prog prog' (current, currentOutgoing, currentIncoming)

newtype SessionChain prog prog' from to res Source

The representation of a computation that performs work using session types. Again, really quite similar to a more-parameterized State monad. Constructors SessionChain runSessionChain :: SessionState prog prog' from -> IO (res, SessionState prog prog' to) Instances SMonadIO (SessionChain prog prog') SMonad (SessionChain prog prog')

type RawPid = [Int] Source

data Pid where Source

A process ID. This is a tiny bit like ThreadId but rather heavily annotated. Constructors Pid :: RawPid -> TyMap sessionsToIdx idxsToPairStructs -> Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs Instances (TySubList invertedSessionsB invertedSessionsA True, TySubList sessionsToIdxB sessionsToIdxA True, ReducePairStructs (TyMap sessionsToIdxA idxsToPairStructsA) (TyMap sessionsToIdxB idxsToPairStructsB) (TyMap Nil Nil) (TyMap sessionsToIdxB idxsToPairStructsB)) => CompatibleTypes SpecialPid (Pid prog prog' invertedSessionsA sessionsToIdxA idxsToPairStructsA) (Pid prog prog' invertedSessionsB sessionsToIdxB idxsToPairStructsB) Eq (Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) Ord (Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) Show (Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) PidEq (Pid progA progA' invertedSessionsA sessionsToIdxA idxsToPairStructsA) (Pid progB progB' invertedSessionsB sessionsToIdxB idxsToPairStructsB)

data InternalPid where Source

Constructors IPid :: Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs -> [RawPid] -> InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs Instances (MapSelectToList (TyMap keyToIdx idxToValue) idxs sessions, TyListToList sessions ([] (SessionState prog'' prog''' from)), MultiReceive ([] ((,) (SessionState prog'' prog''' from) (InterleavedChain (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') result))) (InterleavedChain (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') result)) => PlainMultiReceive idxs (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') result Eq (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) Ord (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs)

pidToRawPid :: Pid prog prog' invertedSessions sessionsToIdx idxsToPairStructs -> RawPid Source

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

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 progA' invertedSessionsA sessionsToIdxA idxsToPairStructsA) (Pid progB progB' invertedSessionsB sessionsToIdxB idxsToPairStructsB)

newtype InterleavedChain internalPid from to res Source

Constructors InterleavedChain runInterleavedChain :: internalPid -> from -> IO (res, to, internalPid) Instances SMonadIO (InterleavedChain internalPid) SMonad (InterleavedChain internalPid) MultiReceive ([] ((,) (SessionState prog'' prog''' from) (InterleavedChain (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') result))) (InterleavedChain (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') result) (TyListLength chs len, SmallerThanBool (D0 E) len True, SetIncomingNotify (TyMap keyToIdx idxToValue) chs, TypeNumberToInt len) => MultiReceive (MultiReceiveList chs prog prog' invertedSessions sessionsToIdx idxsToPairStructs keyToIdx idxToValue keyToIdx' idxToValue' res) (InterleavedChain (InternalPid prog prog' invertedSessions sessionsToIdx idxsToPairStructs) (TyMap keyToIdx idxToValue) (TyMap keyToIdx' idxToValue') res)

data SpecialSession Source

Instances CompatibleTypes SpecialSession t t

data SpecialPid Source

Instances (TySubList invertedSessionsB invertedSessionsA True, TySubList sessionsToIdxB sessionsToIdxA True, ReducePairStructs (TyMap sessionsToIdxA idxsToPairStructsA) (TyMap sessionsToIdxB idxsToPairStructsB) (TyMap Nil Nil) (TyMap sessionsToIdxB idxsToPairStructsB)) => CompatibleTypes SpecialPid (Pid prog prog' invertedSessionsA sessionsToIdxA idxsToPairStructsA) (Pid prog prog' invertedSessionsB sessionsToIdxB idxsToPairStructsB)

data SpecialNormal Source

Instances CompatibleTypes SpecialNormal t t

data PairStruct where Source

Constructors PS :: RawPid -> (SessionState prog prog' (Cons (Jump init) Nil, Cons (Jump init) Nil, Cons (Jump init) Nil) -> IO ()) -> PairStruct init prog prog' (Cons (Jump init) Nil, Cons (Jump init) Nil, Cons (Jump init) Nil) Instances Eq (PairStruct init prog prog' start) Ord (PairStruct init prog prog' start)

Produced by Haddock version 2.4.2