sessiontypes-0.1.0: Session types library

Index

!!Control.SessionTypes.Indexed
$Control.SessionTypes.Indexed
$!Control.SessionTypes.Indexed
&&Control.SessionTypes.Indexed
*Control.SessionTypes.Indexed
**Control.SessionTypes.Indexed
*>Control.SessionTypes.Indexed
+Control.SessionTypes.Indexed
++Control.SessionTypes.Indexed
-Control.SessionTypes.Indexed
.Control.SessionTypes.Indexed
/Control.SessionTypes.Indexed
/=Control.SessionTypes.Indexed
:!>Control.SessionTypes.Types, Control.SessionTypes
:*:Control.SessionTypes.Types, Control.SessionTypes
:?>Control.SessionTypes.Types, Control.SessionTypes
<Control.SessionTypes.Indexed
<$Control.SessionTypes.Indexed
<$>Control.SessionTypes.Indexed
<&Control.SessionTypes.MonadSession, Control.SessionTypes
<&>Control.SessionTypes.MonadSession, Control.SessionTypes
<*Control.SessionTypes.Indexed
<*>Control.SessionTypes.Indexed
<=Control.SessionTypes.Indexed
=<<Control.SessionTypes.Indexed
==Control.SessionTypes.Indexed
>Control.SessionTypes.Indexed
>=Control.SessionTypes.Indexed
>>Control.SessionTypes.Indexed
>>=Control.SessionTypes.Indexed
abs 
1 (Function)Control.SessionTypes.Indexed
2 (Function)Control.SessionTypes.Codensity
acosControl.SessionTypes.Indexed
acoshControl.SessionTypes.Indexed
allControl.SessionTypes.Indexed
andControl.SessionTypes.Indexed
anyControl.SessionTypes.Indexed
apControl.SessionTypes.Indexed
AppendControl.SessionTypes.Types, Control.SessionTypes
appendFileControl.SessionTypes.Indexed
ApplicativeControl.SessionTypes.Indexed
asinControl.SessionTypes.Indexed
asinhControl.SessionTypes.Indexed
askControl.SessionTypes.Indexed
asTypeOfControl.SessionTypes.Indexed
atanControl.SessionTypes.Indexed
atan2Control.SessionTypes.Indexed
atanhControl.SessionTypes.Indexed
BoolControl.SessionTypes.Indexed
BoundedControl.SessionTypes.Indexed
breakControl.SessionTypes.Indexed
Cap 
1 (Type/Class)Control.SessionTypes.Types, Control.SessionTypes
2 (Data Constructor)Control.SessionTypes.Types, Control.SessionTypes
catchControl.SessionTypes.Indexed
ceilingControl.SessionTypes.Indexed
CharControl.SessionTypes.Indexed
compareControl.SessionTypes.Indexed
concatControl.SessionTypes.Indexed
concatMapControl.SessionTypes.Indexed
constControl.SessionTypes.Indexed
cosControl.SessionTypes.Indexed
coshControl.SessionTypes.Indexed
curryControl.SessionTypes.Indexed
cycleControl.SessionTypes.Indexed
decodeFloatControl.SessionTypes.Indexed
divControl.SessionTypes.Indexed
divModControl.SessionTypes.Indexed
DoubleControl.SessionTypes.Indexed
dropControl.SessionTypes.Indexed
dropWhileControl.SessionTypes.Indexed
DualControl.SessionTypes.Types, Control.SessionTypes
DualSTControl.SessionTypes.Types, Control.SessionTypes
EitherControl.SessionTypes.Indexed
eitherControl.SessionTypes.Indexed
elemControl.SessionTypes.Indexed
ElimRecControl.SessionTypes.Normalize
elimRecControl.SessionTypes.Normalize
emptyControl.SessionTypes.MonadSession, Control.SessionTypes
empty0Control.SessionTypes.MonadSession, Control.SessionTypes
encodeFloatControl.SessionTypes.Indexed
EnumControl.SessionTypes.Indexed
enumFromControl.SessionTypes.Indexed
enumFromThenControl.SessionTypes.Indexed
enumFromThenToControl.SessionTypes.Indexed
enumFromToControl.SessionTypes.Indexed
EpsControl.SessionTypes.Types, Control.SessionTypes
epsControl.SessionTypes.MonadSession, Control.SessionTypes
eps0Control.SessionTypes.MonadSession, Control.SessionTypes
EQControl.SessionTypes.Indexed
EqControl.SessionTypes.Indexed
errorControl.SessionTypes.Indexed
errorWithoutStackTraceControl.SessionTypes.Indexed
evenControl.SessionTypes.Indexed
expControl.SessionTypes.Indexed
exponentControl.SessionTypes.Indexed
failControl.SessionTypes.Indexed
FalseControl.SessionTypes.Indexed
FilePathControl.SessionTypes.Indexed
filterControl.SessionTypes.Indexed
FlattenControl.SessionTypes.Normalize
flattenControl.SessionTypes.Normalize
flipControl.SessionTypes.Indexed
FloatControl.SessionTypes.Indexed
floatDigitsControl.SessionTypes.Indexed
FloatingControl.SessionTypes.Indexed
floatRadixControl.SessionTypes.Indexed
floatRangeControl.SessionTypes.Indexed
floorControl.SessionTypes.Indexed
fmapControl.SessionTypes.Indexed
FoldableControl.SessionTypes.Indexed
foldlControl.SessionTypes.Indexed
foldl1Control.SessionTypes.Indexed
foldMapControl.SessionTypes.Indexed
foldrControl.SessionTypes.Indexed
foldr1Control.SessionTypes.Indexed
FractionalControl.SessionTypes.Indexed
fromEnumControl.SessionTypes.Indexed
fromIntegerControl.SessionTypes.Indexed
fromIntegralControl.SessionTypes.Indexed
fromRationalControl.SessionTypes.Indexed
fstControl.SessionTypes.Indexed
FunctorControl.SessionTypes.Indexed
gcdControl.SessionTypes.Indexed
getCharControl.SessionTypes.Indexed
getContentsControl.SessionTypes.Indexed
GetCtxControl.SessionTypes.Types, Control.SessionTypes
getLineControl.SessionTypes.Indexed
GetSTControl.SessionTypes.Types, Control.SessionTypes
GTControl.SessionTypes.Indexed
HasConstraintControl.SessionTypes.Types, Control.SessionTypes
HasConstraintsControl.SessionTypes.Types, Control.SessionTypes
HasConstraintSTControl.SessionTypes.Types, Control.SessionTypes
headControl.SessionTypes.Indexed
idControl.SessionTypes.Indexed
IfThenElseControl.SessionTypes.Types, Control.SessionTypes
ifThenElseControl.SessionTypes.Indexed
iliftControl.SessionTypes.Indexed
inferIdentityControl.SessionTypes.STTerm, Control.SessionTypes
initControl.SessionTypes.Indexed
IntControl.SessionTypes.Indexed
IntegerControl.SessionTypes.Indexed
IntegralControl.SessionTypes.Indexed
interactControl.SessionTypes.Indexed
interactiveControl.SessionTypes.Interactive
interactiveStepControl.SessionTypes.Interactive
IOControl.SessionTypes.Indexed
IOErrorControl.SessionTypes.Indexed
ioErrorControl.SessionTypes.Indexed
isDenormalizedControl.SessionTypes.Indexed
isIEEEControl.SessionTypes.Indexed
isInfiniteControl.SessionTypes.Indexed
isNaNControl.SessionTypes.Indexed
isNegativeZeroControl.SessionTypes.Indexed
iterateControl.SessionTypes.Indexed
IxApplicativeControl.SessionTypes.Indexed
IxC 
1 (Type/Class)Control.SessionTypes.Codensity
2 (Data Constructor)Control.SessionTypes.Codensity
IxFunctorControl.SessionTypes.Indexed
IxMonadControl.SessionTypes.Indexed
IxMonadCatchControl.SessionTypes.Indexed
IxMonadIOControl.SessionTypes.Indexed
IxMonadIxTControl.SessionTypes.Indexed
IxMonadMaskControl.SessionTypes.Indexed
IxMonadReaderControl.SessionTypes.Indexed
IxMonadTControl.SessionTypes.Indexed
IxMonadThrowControl.SessionTypes.Indexed
JustControl.SessionTypes.Indexed
lastControl.SessionTypes.Indexed
lcmControl.SessionTypes.Indexed
Left 
1 (Data Constructor)Control.SessionTypes.Indexed
2 (Type/Class)Control.SessionTypes.Types, Control.SessionTypes
lengthControl.SessionTypes.Indexed
lexControl.SessionTypes.Indexed
LiftControl.SessionTypes.STTerm, Control.SessionTypes
liftControl.SessionTypes.Indexed
liftIOControl.SessionTypes.Indexed
linesControl.SessionTypes.Indexed
localControl.SessionTypes.Indexed
logControl.SessionTypes.Indexed
logBaseControl.SessionTypes.Indexed
lookupControl.SessionTypes.Indexed
LTControl.SessionTypes.Indexed
mapControl.SessionTypes.Indexed
MapDualControl.SessionTypes.Types, Control.SessionTypes
MapHasConstraintControl.SessionTypes.Types, Control.SessionTypes
mapMControl.SessionTypes.Indexed
mapM_Control.SessionTypes.Indexed
mappendControl.SessionTypes.Indexed
MapRemoveRecvControl.SessionTypes.Types, Control.SessionTypes
MapRemoveSendControl.SessionTypes.Types, Control.SessionTypes
maskControl.SessionTypes.Indexed
maxControl.SessionTypes.Indexed
maxBoundControl.SessionTypes.Indexed
maximumControl.SessionTypes.Indexed
MaybeControl.SessionTypes.Indexed
maybeControl.SessionTypes.Indexed
mconcatControl.SessionTypes.Indexed
memptyControl.SessionTypes.Indexed
minControl.SessionTypes.Indexed
minBoundControl.SessionTypes.Indexed
minimumControl.SessionTypes.Indexed
MkDiagramControl.SessionTypes.Visualize
modControl.SessionTypes.Indexed
MonadControl.SessionTypes.Indexed
MonadSessionControl.SessionTypes.MonadSession, Control.SessionTypes
MonoidControl.SessionTypes.Indexed
NatControl.SessionTypes.Types, Control.SessionTypes
negateControl.SessionTypes.Indexed
NormalizeControl.SessionTypes.Normalize
normalizeControl.SessionTypes.Normalize
NotControl.SessionTypes.Types, Control.SessionTypes
notControl.SessionTypes.Indexed
notElemControl.SessionTypes.Indexed
NothingControl.SessionTypes.Indexed
nullControl.SessionTypes.Indexed
NumControl.SessionTypes.Indexed
oddControl.SessionTypes.Indexed
OffControl.SessionTypes.Types, Control.SessionTypes
offerControl.SessionTypes.MonadSession, Control.SessionTypes
OffSControl.SessionTypes.STTerm, Control.SessionTypes
offSControl.SessionTypes.MonadSession, Control.SessionTypes
OffZControl.SessionTypes.STTerm, Control.SessionTypes
offZControl.SessionTypes.MonadSession, Control.SessionTypes
OrControl.SessionTypes.Types, Control.SessionTypes
orControl.SessionTypes.Indexed
OrdControl.SessionTypes.Indexed
OrderingControl.SessionTypes.Indexed
otherwiseControl.SessionTypes.Indexed
OutputControl.SessionTypes.Debug
O_EpsControl.SessionTypes.Debug
O_LiftControl.SessionTypes.Debug
O_Off1Control.SessionTypes.Debug
O_Off2Control.SessionTypes.Debug
O_OffSControl.SessionTypes.Debug
O_OffZControl.SessionTypes.Debug
O_RecControl.SessionTypes.Debug
O_RecvControl.SessionTypes.Debug
O_Sel1Control.SessionTypes.Debug
O_Sel2Control.SessionTypes.Debug
O_SendControl.SessionTypes.Debug
O_VarControl.SessionTypes.Debug
O_WeakenControl.SessionTypes.Debug
piControl.SessionTypes.Indexed
predControl.SessionTypes.Indexed
printControl.SessionTypes.Indexed
ProdControl.SessionTypes.Types, Control.SessionTypes
productControl.SessionTypes.Indexed
properFractionControl.SessionTypes.Indexed
pureControl.SessionTypes.Indexed
putCharControl.SessionTypes.Indexed
putStrControl.SessionTypes.Indexed
putStrLnControl.SessionTypes.Indexed
quotControl.SessionTypes.Indexed
quotRemControl.SessionTypes.Indexed
RControl.SessionTypes.Types, Control.SessionTypes
RationalControl.SessionTypes.Indexed
ReadControl.SessionTypes.Indexed
readControl.SessionTypes.Indexed
readerControl.SessionTypes.Indexed
readFileControl.SessionTypes.Indexed
readIOControl.SessionTypes.Indexed
readListControl.SessionTypes.Indexed
readLnControl.SessionTypes.Indexed
readParenControl.SessionTypes.Indexed
ReadSControl.SessionTypes.Indexed
readsControl.SessionTypes.Indexed
readsPrecControl.SessionTypes.Indexed
RealControl.SessionTypes.Indexed
RealFloatControl.SessionTypes.Indexed
RealFracControl.SessionTypes.Indexed
realToFracControl.SessionTypes.Indexed
RecControl.SessionTypes.STTerm, Control.SessionTypes
recipControl.SessionTypes.Indexed
recurseControl.SessionTypes.MonadSession, Control.SessionTypes
recurse0Control.SessionTypes.MonadSession, Control.SessionTypes
recurseFixControl.SessionTypes.MonadSession, Control.SessionTypes
RecvControl.SessionTypes.STTerm, Control.SessionTypes
recvControl.SessionTypes.MonadSession, Control.SessionTypes
RefControl.SessionTypes.Types, Control.SessionTypes
RefSControl.SessionTypes.Types, Control.SessionTypes
RefZControl.SessionTypes.Types, Control.SessionTypes
remControl.SessionTypes.Indexed
RemoveRecvControl.SessionTypes.Types, Control.SessionTypes
RemoveRecvSTControl.SessionTypes.Types, Control.SessionTypes
RemoveSendControl.SessionTypes.Types, Control.SessionTypes
RemoveSendSTControl.SessionTypes.Types, Control.SessionTypes
repControl.SessionTypes.Codensity
repeatControl.SessionTypes.Indexed
replicateControl.SessionTypes.Indexed
RetControl.SessionTypes.STTerm, Control.SessionTypes
returnControl.SessionTypes.Indexed
reverseControl.SessionTypes.Indexed
Right 
1 (Data Constructor)Control.SessionTypes.Indexed
2 (Type/Class)Control.SessionTypes.Types, Control.SessionTypes
roundControl.SessionTypes.Indexed
runControl.SessionTypes.Debug
runAllControl.SessionTypes.Debug
runAllMControl.SessionTypes.Debug
runIxCControl.SessionTypes.Codensity
runMControl.SessionTypes.Debug
runSingleControl.SessionTypes.Debug
runSingleMControl.SessionTypes.Debug
SControl.SessionTypes.Types, Control.SessionTypes
scaleFloatControl.SessionTypes.Indexed
scanlControl.SessionTypes.Indexed
scanl1Control.SessionTypes.Indexed
scanrControl.SessionTypes.Indexed
scanr1Control.SessionTypes.Indexed
SelControl.SessionTypes.Types, Control.SessionTypes
selControl.SessionTypes.MonadSession, Control.SessionTypes
Sel1Control.SessionTypes.STTerm, Control.SessionTypes
sel1Control.SessionTypes.MonadSession, Control.SessionTypes
Sel2Control.SessionTypes.STTerm, Control.SessionTypes
sel2Control.SessionTypes.MonadSession, Control.SessionTypes
SelectControl.SessionTypes.MonadSession, Control.SessionTypes
selNControl.SessionTypes.MonadSession, Control.SessionTypes
selN1Control.SessionTypes.MonadSession, Control.SessionTypes
selN2Control.SessionTypes.MonadSession, Control.SessionTypes
selN3Control.SessionTypes.MonadSession, Control.SessionTypes
selN4Control.SessionTypes.MonadSession, Control.SessionTypes
SendControl.SessionTypes.STTerm, Control.SessionTypes
sendControl.SessionTypes.MonadSession, Control.SessionTypes
seqControl.SessionTypes.Indexed
sequenceControl.SessionTypes.Indexed
sequenceAControl.SessionTypes.Indexed
sequence_Control.SessionTypes.Indexed
ShowControl.SessionTypes.Indexed
showControl.SessionTypes.Indexed
showCharControl.SessionTypes.Indexed
showListControl.SessionTypes.Indexed
showParenControl.SessionTypes.Indexed
ShowSControl.SessionTypes.Indexed
showsControl.SessionTypes.Indexed
showsPrecControl.SessionTypes.Indexed
showStringControl.SessionTypes.Indexed
significandControl.SessionTypes.Indexed
signumControl.SessionTypes.Indexed
sinControl.SessionTypes.Indexed
sinhControl.SessionTypes.Indexed
sndControl.SessionTypes.Indexed
spanControl.SessionTypes.Indexed
splitAtControl.SessionTypes.Indexed
sqrtControl.SessionTypes.Indexed
STControl.SessionTypes.Types, Control.SessionTypes
StreamControl.SessionTypes.Debug
StringControl.SessionTypes.Indexed
STTermControl.SessionTypes.STTerm, Control.SessionTypes
subtractControl.SessionTypes.Indexed
succControl.SessionTypes.Indexed
sumControl.SessionTypes.Indexed
S_EpsControl.SessionTypes.Debug
S_Off1Control.SessionTypes.Debug
S_Off2Control.SessionTypes.Debug
S_OffSControl.SessionTypes.Debug
S_OffZControl.SessionTypes.Debug
S_RecControl.SessionTypes.Debug
S_RecvControl.SessionTypes.Debug
S_Sel1Control.SessionTypes.Debug
S_Sel2Control.SessionTypes.Debug
S_SendControl.SessionTypes.Debug
S_VarControl.SessionTypes.Debug
S_WeakenControl.SessionTypes.Debug
tailControl.SessionTypes.Indexed
takeControl.SessionTypes.Indexed
takeWhileControl.SessionTypes.Indexed
tanControl.SessionTypes.Indexed
tanhControl.SessionTypes.Indexed
throwMControl.SessionTypes.Indexed
toEnumControl.SessionTypes.Indexed
toIntegerControl.SessionTypes.Indexed
toRationalControl.SessionTypes.Indexed
TraversableControl.SessionTypes.Indexed
traverseControl.SessionTypes.Indexed
TrueControl.SessionTypes.Indexed
truncateControl.SessionTypes.Indexed
TypeEqListControl.SessionTypes.Types, Control.SessionTypes
uncurryControl.SessionTypes.Indexed
undefinedControl.SessionTypes.Indexed
uninterruptibleMaskControl.SessionTypes.Indexed
unlinesControl.SessionTypes.Indexed
untilControl.SessionTypes.Indexed
unwordsControl.SessionTypes.Indexed
unzipControl.SessionTypes.Indexed
unzip3Control.SessionTypes.Indexed
userErrorControl.SessionTypes.Indexed
VControl.SessionTypes.Types, Control.SessionTypes
VarControl.SessionTypes.STTerm, Control.SessionTypes
varControl.SessionTypes.MonadSession, Control.SessionTypes
var0Control.SessionTypes.MonadSession, Control.SessionTypes
visualizeControl.SessionTypes.Visualize
visualizePControl.SessionTypes.Visualize
WeakenControl.SessionTypes.STTerm, Control.SessionTypes
weakenControl.SessionTypes.MonadSession, Control.SessionTypes
weaken0Control.SessionTypes.MonadSession, Control.SessionTypes
WkControl.SessionTypes.Types, Control.SessionTypes
WordControl.SessionTypes.Indexed
wordsControl.SessionTypes.Indexed
writeFileControl.SessionTypes.Indexed
ZControl.SessionTypes.Types, Control.SessionTypes
zipControl.SessionTypes.Indexed
zip3Control.SessionTypes.Indexed
zipWithControl.SessionTypes.Indexed
zipWith3Control.SessionTypes.Indexed
^Control.SessionTypes.Indexed
^^Control.SessionTypes.Indexed
||Control.SessionTypes.Indexed