linear-core-prototype-0.1.0.0: Linear core validates optimizations wrt linearity (Index)

linear-core-prototype-0.1.0.0: Linear core validates optimizations wrt linearity

Index

allConstructorsAreUnrestricted	Linear.Core.Multiplicities
AllowIrrelevant
1 (Type/Class)	Linear.Core.Multiplicities
2 (Data Constructor)	Linear.Core.Multiplicities
binding	Linear.Core
BindSite	Linear.Core.Multiplicities
CaseBinder	Linear.Core.Multiplicities
checkAlt	Linear.Core
checkBind	Linear.Core
checkExpr	Linear.Core
checkProgram	Linear.Core
computeRecUsageEnvs	Linear.Core
convertAlt	Linear.Core
convertBind	Linear.Core
convertExpr	Linear.Core
convertProgram	Linear.Core
deleteUE	Linear.Core.Multiplicities
deltaBinding	Linear.Core
deltaBindingTagged	Linear.Core
DeltaBound	Linear.Core.Multiplicities
DisallowIrrelevant	Linear.Core.Multiplicities
drop	Linear.Core.Monad
dropEnvOf	Linear.Core.Monad
dryRun	Linear.Core.Monad
emptyUE	Linear.Core.Multiplicities
extend	Linear.Core.Monad
extends	Linear.Core.Monad
extractTags	Linear.Core.Multiplicities
id	Linear.Core
IdBinding	Linear.Core.Multiplicities
install	Linear.Core.Plugin
Irrelevant	Linear.Core.Multiplicities
isBindingLinear	Linear.Core.Multiplicities
isIrrelevant	Linear.Core.Multiplicities
isLinear	Linear.Core.Multiplicities
isUnrestricted	Linear.Core.Multiplicities
LambdaBinder	Linear.Core.Multiplicities
LambdaBound	Linear.Core.Multiplicities
LCAlt	Linear.Core
LCBind	Linear.Core
LCExpr	Linear.Core
LCM	Linear.Core.Multiplicities
LCProgram	Linear.Core
LCState	Linear.Core.Monad
LCVar
1 (Type/Class)	Linear.Core
2 (Data Constructor)	Linear.Core
LetBinder	Linear.Core.Multiplicities
LetRecBinder	Linear.Core.Multiplicities
LetRecBinderDry	Linear.Core.Multiplicities
LinearCoreM	Linear.Core
linearCorePass	Linear.Core.Plugin
LinearCoreT	Linear.Core.Monad
lookupUE	Linear.Core.Multiplicities
makeEnvResourcesIrrelevant	Linear.Core.Monad
makeIrrelevant	Linear.Core.Multiplicities
makeMultIrrelevant	Linear.Core.Multiplicities
Mult	Linear.Core.Multiplicities
multBinding	Linear.Core
numberOfLinearFields	Linear.Core.Multiplicities
PatternBinder	Linear.Core.Multiplicities
plugin	Linear.Core.Plugin
reconstructUe	Linear.Core
record	Linear.Core.Monad
Relevant	Linear.Core.Multiplicities
removeTag	Linear.Core.Multiplicities
restoringState	Linear.Core.Monad
runLinearCore	Linear.Core
runLinearCoreT	Linear.Core.Monad
setTopLevelBindingName	Linear.Core.Monad
splitAsNeededThenConsume	Linear.Core.Multiplicities
splitResourceAt	Linear.Core.Multiplicities
Tag
1 (Type/Class)	Linear.Core.Multiplicities
2 (Data Constructor)	Linear.Core.Multiplicities
Tagged	Linear.Core.Multiplicities
unconvertAlt	Linear.Core
unconvertBind	Linear.Core
unconvertExpr	Linear.Core
uniDataConOrigArgTys	Linear.Core.Multiplicities
unrestricted	Linear.Core.Monad
Usage	Linear.Core.Multiplicities
UsageEnv
1 (Type/Class)	Linear.Core.Multiplicities
2 (Data Constructor)	Linear.Core.Multiplicities
use	Linear.Core.Monad
withSameEnvMap	Linear.Core.Monad
Zero	Linear.Core.Multiplicities