small-steps-0.1.0.0: Small step semantics

Index

!>Data.Coders
<!Data.Coders
<*!Data.Coders
</|Data.Relation
<| 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
?!Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
?!:Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
abstractSizeData.AbstractSize
AccountingMapData.AbstractSize
AddControl.Iterate.SetAlgebra
addBackControl.Iterate.SetAlgebra
addkvControl.Iterate.SetAlgebra, Control.SetAlgebra
addpControl.Iterate.SetAlgebra
addpair 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
alwaysControl.Iterate.SetAlgebra
AndDControl.Iterate.SetAlgebra
andDControl.Iterate.SetAlgebra
AndPDControl.Iterate.SetAlgebra
andPDControl.Iterate.SetAlgebra
andPQControl.Iterate.SetAlgebra
andPstepControl.Iterate.SetAlgebra
andQControl.Iterate.SetAlgebra
andStepControl.Iterate.SetAlgebra
AnnData.Coders
Annotator 
1 (Data Constructor)Data.Coders
2 (Type/Class)Data.Coders
ApControl.Iterate.SetAlgebra
applyControl.Iterate.SetAlgebra
ApplyAnnData.Coders
ApplyDData.Coders
ApplyEData.Coders
applySTS 
1 (Function)Control.State.Transition.Extended
2 (Function)Control.State.Transition.Simple, Control.State.Transition
applySTSIndifferently 
1 (Function)Control.State.Transition.Extended
2 (Function)Control.State.Transition.Simple, Control.State.Transition
ApplySTSOpts 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
applySTSOptsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
asoAssertionsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
asoValidationControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionPolicyControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
assertionsControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsAllControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsOffControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsPostControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionsPreControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
AssertionViolation 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avCtxControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avMsgControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avStateControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
avSTSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
backwardsControl.SetAlgebra
BaseControl.Iterate.SetAlgebra, Control.SetAlgebra
BaseDControl.Iterate.SetAlgebra
BaseMControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
BaseRepControl.Iterate.SetAlgebra, Control.SetAlgebra
BasicControl.Iterate.SetAlgebra, Control.SetAlgebra
BiMapControl.Iterate.SetAlgebra, Control.SetAlgebra
BimapControl.Iterate.SetAlgebra, Control.SetAlgebra
biMapEmptyControl.Iterate.SetAlgebra, Control.SetAlgebra
biMapFromAscDistinctListControl.Iterate.SetAlgebra
biMapFromListControl.Iterate.SetAlgebra, Control.SetAlgebra
BiMapRControl.Iterate.SetAlgebra, Control.SetAlgebra
bindEControl.Iterate.SetAlgebra
BothControl.Iterate.SetAlgebra
bothControl.Iterate.SetAlgebra
cannonicalInsertData.CannonicalMaps
cannonicalMapData.CannonicalMaps
cannonicalMapUnionData.CannonicalMaps
CannonicalZeroData.CannonicalMaps
CatControl.Iterate.SetAlgebra
ChainDControl.Iterate.SetAlgebra
chainDControl.Iterate.SetAlgebra
chainQControl.Iterate.SetAlgebra
chainStepControl.Iterate.SetAlgebra
ClosedData.Coders
Collect 
1 (Type/Class)Control.Iterate.Collect
2 (Data Constructor)Control.Iterate.Collect
ColPlus 
1 (Type/Class)Control.Iterate.Collect
2 (Data Constructor)Control.Iterate.Collect
compCurryRControl.Iterate.SetAlgebra
compileControl.Iterate.SetAlgebra
compileSubtermControl.Iterate.SetAlgebra
compose1Control.Iterate.SetAlgebra
compSndLControl.Iterate.SetAlgebra
compSndRControl.Iterate.SetAlgebra
computeControl.Iterate.SetAlgebra
constantControl.Iterate.SetAlgebra
Cont 
1 (Type/Class)Control.Iterate.Collect
2 (Data Constructor)Control.Iterate.Collect
countControl.Iterate.Collect
DData.Coders
DDData.Coders
DecodeData.Coders
decodeData.Coders
decodeCollectionData.Coders
decodeCollectionWithLenData.Coders
decodeListData.Coders
decodeMapAsBimapControl.Iterate.SetAlgebra
decodeNullMaybeData.Coders
DecoderData.Coders
decodeRecordNamedData.Coders
decodeRecordSumData.Coders
decodeSeqData.Coders
decodeSetData.Coders
decodeSparseData.Coders
decodeStrictSeqData.Coders
DenseData.Coders
DensityData.Coders
DExcludeControl.Iterate.SetAlgebra
dExcludeControl.Iterate.SetAlgebra
dexcludeControl.Iterate.SetAlgebra, Control.SetAlgebra
DiffDControl.Iterate.SetAlgebra
diffStepControl.Iterate.SetAlgebra
disjointMapSetFoldControl.Iterate.SetAlgebra
DomControl.Iterate.SetAlgebra
dom 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
DomainData.Relation
domainControl.Iterate.SetAlgebra, Control.SetAlgebra
domElemControl.Iterate.SetAlgebra
domEqControl.Iterate.SetAlgebra
domEqSlowControl.Iterate.SetAlgebra
DRestrictControl.Iterate.SetAlgebra
dRestrictControl.Iterate.SetAlgebra
drestrictControl.Iterate.SetAlgebra, Control.SetAlgebra
Dual 
1 (Type/Class)Data.Coders
2 (Data Constructor)Data.Coders
dualCBORData.Coders
dualListData.Coders
dualMaybeAsListData.Coders
dualMaybeAsNullData.Coders
dualSeqData.Coders
dualSetData.Coders
dualStrictSeqData.Coders
dualTextData.Coders
duplicateKeyData.Coders
EData.Coders
EDData.Coders
ElemControl.Iterate.SetAlgebra
elementControl.Iterate.SetAlgebra, Control.SetAlgebra
Embed 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Type/Class)Control.Iterate.SetAlgebra, Control.SetAlgebra
EmitData.Coders
emptycControl.Iterate.SetAlgebra, Control.SetAlgebra
EncodeData.Coders
encodeData.Coders
encodeFoldableData.Coders
encodeFoldableEncoderData.Coders
encodeNullMaybeData.Coders
EncodingData.Coders
EnvironmentControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
EPairControl.Iterate.SetAlgebra
EqlControl.Iterate.SetAlgebra
eqlControl.Iterate.SetAlgebra
evalControl.Iterate.SetAlgebra, Control.SetAlgebra
ExpControl.Iterate.SetAlgebra, Control.SetAlgebra
ExprControl.Iterate.SetAlgebra
FailControl.Iterate.SetAlgebra, Control.SetAlgebra
failBecauseControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
Field 
1 (Type/Class)Data.Coders
2 (Data Constructor)Data.Coders
fieldData.Coders
fifoControl.Iterate.SetAlgebra
firstControl.Iterate.SetAlgebra
fixActionControl.Iterate.Collect
forwardsControl.SetAlgebra
FromData.Coders
fromData.Coders
fromBaseControl.Iterate.SetAlgebra, Control.SetAlgebra
fromListControl.Iterate.SetAlgebra, Control.SetAlgebra
fromPairsControl.Iterate.SetAlgebra
frontControl.Iterate.Collect
FSTControl.Iterate.SetAlgebra
Fun 
1 (Type/Class)Control.Iterate.SetAlgebra
2 (Data Constructor)Control.Iterate.SetAlgebra
GuardDControl.Iterate.SetAlgebra
guardDControl.Iterate.SetAlgebra
guardQControl.Iterate.SetAlgebra
guardStepControl.Iterate.SetAlgebra
hasElemControl.Iterate.Collect
HasExpControl.Iterate.SetAlgebra, Control.SetAlgebra
HasKeyControl.Iterate.SetAlgebra
haskey 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
hasLubControl.Iterate.SetAlgebra, Control.SetAlgebra
hasNxtControl.Iterate.SetAlgebra, Control.SetAlgebra
HasQueryControl.Iterate.SetAlgebra
HasTypeRepsData.AbstractSize
InitialControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
InitialRuleControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
initialRulesControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
insertBackwardsControl.Iterate.SetAlgebra
IntersectControl.Iterate.SetAlgebra
intersectControl.Iterate.SetAlgebra, Control.SetAlgebra
intersectDomPControl.Iterate.SetAlgebra
intersectDomPLeftControl.Iterate.SetAlgebra
intersectMapSetFoldControl.Iterate.SetAlgebra
InvalidData.Coders
invalidKeyData.Coders
IRC 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
isemptyControl.Iterate.Collect
isnullControl.Iterate.SetAlgebra, Control.SetAlgebra
IterControl.Iterate.SetAlgebra, Control.SetAlgebra
joinCData.CannonicalMaps
judgmentContextControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
KeyData.Coders
KeyedData.Coders
KeyedDData.Coders
keyeqControl.Iterate.SetAlgebra, Control.SetAlgebra
KeyEqualControl.Iterate.SetAlgebra
keysEqualControl.Iterate.SetAlgebra, Control.SetAlgebra
Lam 
1 (Type/Class)Control.Iterate.SetAlgebra
2 (Data Constructor)Control.Iterate.SetAlgebra
lifoControl.Iterate.SetAlgebra
LiftControl.Iterate.SetAlgebra
liftControl.Iterate.SetAlgebra
liftSTSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ListControl.Iterate.SetAlgebra, Control.SetAlgebra
listifyControl.Iterate.Collect
ListRControl.Iterate.SetAlgebra, Control.SetAlgebra
LitControl.Iterate.SetAlgebra
lookupControl.Iterate.SetAlgebra, Control.SetAlgebra
lubControl.Iterate.SetAlgebra, Control.SetAlgebra
lubQueryControl.Iterate.SetAlgebra
Map 
1 (Type/Class)Data.CannonicalMaps
2 (Data Constructor)Data.Coders
mapflipControl.Iterate.SetAlgebra
mapifyControl.Iterate.Collect
MapRControl.Iterate.SetAlgebra, Control.SetAlgebra
materializeControl.Iterate.SetAlgebra, Control.SetAlgebra
MemData.MemoBytes
MemoData.MemoBytes
MemoBytesData.MemoBytes
memoBytesData.MemoBytes
memobytesData.MemoBytes
memotypeData.MemoBytes
MkBiMapControl.Iterate.SetAlgebra
NegControl.Iterate.SetAlgebra
nEgateControl.Iterate.SetAlgebra
noKeysControl.Iterate.SetAlgebra
noneControl.Iterate.Collect
nonemptyControl.Iterate.Collect
normalizeControl.Iterate.SetAlgebra
NotElemControl.Iterate.SetAlgebra
notelemControl.Iterate.SetAlgebra
nxtControl.Iterate.SetAlgebra, Control.SetAlgebra
nxtQueryControl.Iterate.SetAlgebra
OmitData.Coders
OmitCData.Coders
oneControl.Iterate.Collect
OpenData.Coders
OrDControl.Iterate.SetAlgebra
orQControl.Iterate.SetAlgebra
orStepControl.Iterate.SetAlgebra
P1Control.Iterate.SetAlgebra
P2Control.Iterate.SetAlgebra
P3Control.Iterate.SetAlgebra
P4Control.Iterate.SetAlgebra
PatControl.Iterate.SetAlgebra
plusControl.Iterate.SetAlgebra
pointWiseData.CannonicalMaps
PostConditionControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
PPairControl.Iterate.SetAlgebra
ppQueryControl.Iterate.SetAlgebra
PreConditionControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
PredicateFailureControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
printMemoData.MemoBytes
projDControl.Iterate.SetAlgebra
ProjectDControl.Iterate.SetAlgebra
projectQControl.Iterate.SetAlgebra
projStepControl.Iterate.SetAlgebra
QueryControl.Iterate.SetAlgebra
queryControl.Iterate.SetAlgebra
RangeData.Relation
range 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
reapplySTSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
rearControl.Iterate.Collect
RecData.Coders
RecDData.Coders
RelationData.Relation
removekey 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
removevalControl.Iterate.SetAlgebra
renderAssertionViolationControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
retractControl.Iterate.SetAlgebra
RExcludeControl.Iterate.SetAlgebra
rExcludeControl.Iterate.SetAlgebra
rexcludeControl.Iterate.SetAlgebra, Control.SetAlgebra
RngControl.Iterate.SetAlgebra
rngControl.Iterate.SetAlgebra, Control.SetAlgebra
rngElemControl.Iterate.SetAlgebra
rngFstControl.Iterate.SetAlgebra
rngSndControl.Iterate.SetAlgebra
rngStepControl.Iterate.SetAlgebra
roundTripMemoData.MemoBytes
RRestrictControl.Iterate.SetAlgebra
rRestrictControl.Iterate.SetAlgebra
rrestrictControl.Iterate.SetAlgebra, Control.SetAlgebra
RuleControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
RuleContextControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
RuleTypeControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
RuleTypeRepControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
runControl.Iterate.SetAlgebra
runAnnotatorData.Coders
runBoolControl.Iterate.SetAlgebra
runBoolExpControl.Iterate.SetAlgebra
runCollectControl.Iterate.Collect
runColPlusControl.Iterate.Collect
runContControl.Iterate.Collect
runEData.Coders
runPlusControl.Iterate.Collect
runSetControl.Iterate.SetAlgebra
runSetExpControl.Iterate.SetAlgebra
sameDomainControl.Iterate.SetAlgebra
secondControl.Iterate.SetAlgebra
SetDiffControl.Iterate.SetAlgebra
setdiffControl.Iterate.SetAlgebra
SetRControl.Iterate.SetAlgebra, Control.SetAlgebra
SetSingleControl.Iterate.SetAlgebra, Control.SetAlgebra
SetSingletonControl.Iterate.SetAlgebra
setSingletonControl.Iterate.SetAlgebra, Control.SetAlgebra
Sett 
1 (Type/Class)Control.Iterate.SetAlgebra
2 (Data Constructor)Control.Iterate.SetAlgebra
shortenData.MemoBytes
showEControl.Iterate.SetAlgebra
showLControl.Iterate.SetAlgebra
showMemoData.MemoBytes
showPControl.Iterate.SetAlgebra
SignalControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
Single 
1 (Type/Class)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Data Constructor)Control.Iterate.SetAlgebra, Control.SetAlgebra
SingleRControl.Iterate.SetAlgebra, Control.SetAlgebra
SingletonControl.Iterate.SetAlgebra
singleton 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
SizeData.AbstractSize
sizeData.Relation
smartControl.Iterate.SetAlgebra
SNDControl.Iterate.SetAlgebra
SparseData.Coders
SparseKeyedData.Coders
splitMemberControl.Iterate.SetAlgebra
StateControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition.Simple, Control.State.Transition, Control.State.Transition
StrictTriple 
1 (Type/Class)Control.Iterate.SetAlgebra
2 (Data Constructor)Control.Iterate.SetAlgebra
StringEnvControl.Iterate.SetAlgebra
STSControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
SubsetControl.Iterate.SetAlgebra
subsetControl.Iterate.SetAlgebra, Control.SetAlgebra
SumData.Coders
SumDData.Coders
SummandsData.Coders
takeCControl.Iterate.Collect
testingControl.Iterate.SetAlgebra
Threshold 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ToData.Coders
toData.Coders
toBaseControl.Iterate.SetAlgebra, Control.SetAlgebra
toExpControl.Iterate.SetAlgebra, Control.SetAlgebra
transControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
TransitionControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
TransitionRuleControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
transitionRulesControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
TRC 
1 (Type/Class)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
2 (Data Constructor)Control.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
typeRepsData.AbstractSize
unionleftControl.Iterate.SetAlgebra, Control.SetAlgebra
UnionOverrideLeftControl.Iterate.SetAlgebra
UnionOverrideRightControl.Iterate.SetAlgebra
UnionPlusControl.Iterate.SetAlgebra
unionplusControl.Iterate.SetAlgebra, Control.SetAlgebra
unionrightControl.Iterate.SetAlgebra, Control.SetAlgebra
unListControl.Iterate.SetAlgebra
UnSafeListControl.Iterate.SetAlgebra
unusedRequiredKeysData.Coders
ValidateAllControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ValidateNoneControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
ValidationPolicyControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
whenControl.Iterate.Collect
wrapCBORArrayData.Coders
wrapFailedControl.State.Transition.Extended, Control.State.Transition.Simple, Control.State.Transition
WrappedData.Coders
X1Control.Iterate.SetAlgebra
X2Control.Iterate.SetAlgebra
X3Control.Iterate.SetAlgebra
X4Control.Iterate.SetAlgebra
zeroCData.CannonicalMaps
|/>Data.Relation
|> 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
∪+ 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
Control.Iterate.SetAlgebra, Control.SetAlgebra
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
Control.Iterate.SetAlgebra, Control.SetAlgebra
 
1 (Function)Control.Iterate.SetAlgebra, Control.SetAlgebra
2 (Function)Data.Relation
Control.Iterate.SetAlgebra