full-sessions-0.4.189: yet another implementation of session types which does not require annotations Contents Index

Search:

:|: Control.Concurrent.FullSession.Misc >>> Control.Concurrent.FullSession.Session >>>= Control.Concurrent.FullSession.Session AppendEnd Control.Concurrent.FullSession.Session Bot Control.Concurrent.FullSession.Types Cap Control.Concurrent.FullSession.Types Catch Control.Concurrent.FullSession.Types Channel Control.Concurrent.FullSession.UChan check Control.Concurrent.FullSession.Session closeUChan Control.Concurrent.FullSession.UChan Comp Control.Concurrent.FullSession.Session Comp2 Control.Concurrent.FullSession.Session End Control.Concurrent.FullSession.Types Ended Control.Concurrent.FullSession.Session EndedWithout Control.Concurrent.FullSession.Session enter Control.Concurrent.FullSession.Session F Control.Concurrent.FullSession.Misc forkIO Control.Concurrent.FullSession.Session forkIO_ Control.Concurrent.FullSession.Session forkOS Control.Concurrent.FullSession.Session forkOS_ Control.Concurrent.FullSession.Session inUChan Control.Concurrent.FullSession.UChan io Control.Concurrent.FullSession.Session ireturn Control.Concurrent.FullSession.Session IsEnded Control.Concurrent.FullSession.Session Length Control.Concurrent.FullSession.Misc new Control.Concurrent.FullSession.Session newUChan Control.Concurrent.FullSession.UChan Nil Control.Concurrent.FullSession.Misc Offer Control.Concurrent.FullSession.Types offer Control.Concurrent.FullSession.Session outUChan Control.Concurrent.FullSession.UChan Par Control.Concurrent.FullSession.Session Par2 Control.Concurrent.FullSession.Session Rec Control.Concurrent.FullSession.Types recur Control.Concurrent.FullSession.Session Recv Control.Concurrent.FullSession.Types recv Control.Concurrent.FullSession.Session recvS Control.Concurrent.FullSession.Session runS Control.Concurrent.FullSession.Session S Control.Concurrent.FullSession.Misc sel1 Control.Concurrent.FullSession.Session sel2 Control.Concurrent.FullSession.Session Select Control.Concurrent.FullSession.Types select Control.Concurrent.FullSession.Session Send Control.Concurrent.FullSession.Types send Control.Concurrent.FullSession.Session sendS Control.Concurrent.FullSession.Session sendS_new Control.Concurrent.FullSession.Session Session 1 (Type/Class) Control.Concurrent.FullSession.Session 2 (Data Constructor) Control.Concurrent.FullSession.Session Sub Control.Concurrent.FullSession.Misc suc Control.Concurrent.FullSession.Session T Control.Concurrent.FullSession.Misc TCast Control.Concurrent.FullSession.Misc TCast' Control.Concurrent.FullSession.Misc TCast'' Control.Concurrent.FullSession.Misc Throw Control.Concurrent.FullSession.Types typeCast Control.Concurrent.FullSession.Misc typeCast' Control.Concurrent.FullSession.Misc typeCast'' Control.Concurrent.FullSession.Misc typecheck Control.Concurrent.FullSession.Session typecheck' Control.Concurrent.FullSession.Session Update Control.Concurrent.FullSession.Misc Var Control.Concurrent.FullSession.Types Z Control.Concurrent.FullSession.Misc zero Control.Concurrent.FullSession.Session