=~= | Language.SequentCore.Syntax, Language.SequentCore |
addInScopeSet | Language.SequentCore.Subst |
addLets | Language.SequentCore.Syntax, Language.SequentCore |
addNonRec | Language.SequentCore.Syntax, Language.SequentCore |
aeq | Language.SequentCore.Syntax, Language.SequentCore |
aeqIn | Language.SequentCore.Syntax, Language.SequentCore |
AlphaEnv | Language.SequentCore.Syntax, Language.SequentCore |
AlphaEq | Language.SequentCore.Syntax, Language.SequentCore |
Alt | |
1 (Type/Class) | Language.SequentCore.Syntax, Language.SequentCore |
2 (Data Constructor) | Language.SequentCore.Syntax, Language.SequentCore |
AltCon | Language.SequentCore.Syntax, Language.SequentCore |
App | Language.SequentCore.Syntax, Language.SequentCore |
asContId | Language.SequentCore.Syntax, Language.SequentCore |
asSaturatedCall | Language.SequentCore.Syntax, Language.SequentCore |
asValueCommand | Language.SequentCore.Syntax, Language.SequentCore |
Bind | Language.SequentCore.Syntax, Language.SequentCore |
bindersOf | Language.SequentCore.Syntax, Language.SequentCore |
bindersOfBinds | Language.SequentCore.Syntax, Language.SequentCore |
bindsToCore | Language.SequentCore.Translate, Language.SequentCore |
C | Language.SequentCore.Syntax, Language.SequentCore |
Case | Language.SequentCore.Syntax, Language.SequentCore |
Cast | Language.SequentCore.Syntax, Language.SequentCore |
cloneBndr | Language.SequentCore.Subst |
cloneBndrs | Language.SequentCore.Subst |
cloneIdBndr | Language.SequentCore.Subst |
cloneIdBndrs | Language.SequentCore.Subst |
cloneRecIdBndrs | Language.SequentCore.Subst |
cmdCont | Language.SequentCore.Syntax, Language.SequentCore |
cmdLet | Language.SequentCore.Syntax, Language.SequentCore |
cmdTerm | Language.SequentCore.Syntax, Language.SequentCore |
Coercion | Language.SequentCore.Syntax, Language.SequentCore |
collectArgs | Language.SequentCore.Syntax, Language.SequentCore |
collectArgsUpTo | Language.SequentCore.Syntax, Language.SequentCore |
collectTypeAndOtherArgs | Language.SequentCore.Syntax, Language.SequentCore |
collectTypeArgs | Language.SequentCore.Syntax, Language.SequentCore |
Command | |
1 (Type/Class) | Language.SequentCore.Syntax, Language.SequentCore |
2 (Data Constructor) | Language.SequentCore.Syntax, Language.SequentCore |
commandAsSaturatedCall | Language.SequentCore.Syntax, Language.SequentCore |
commandIsBottom | Language.SequentCore.Syntax, Language.SequentCore |
commandIsCheap | Language.SequentCore.Syntax, Language.SequentCore |
commandIsExpandable | Language.SequentCore.Syntax, Language.SequentCore |
commandOkForSideEffects | Language.SequentCore.Syntax, Language.SequentCore |
commandOkForSpeculation | Language.SequentCore.Syntax, Language.SequentCore |
commandToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
Compute | Language.SequentCore.Syntax, Language.SequentCore |
Cons | Language.SequentCore.Syntax, Language.SequentCore |
Cont | |
1 (Type/Class) | Language.SequentCore.Syntax, Language.SequentCore |
2 (Data Constructor) | Language.SequentCore.Syntax, Language.SequentCore |
ContId | Language.SequentCore.Syntax, Language.SequentCore |
contIsCheap | Language.SequentCore.Syntax, Language.SequentCore |
contIsExpandable | Language.SequentCore.Syntax, Language.SequentCore |
contOkForSideEffects | Language.SequentCore.Syntax, Language.SequentCore |
contOkForSpeculation | Language.SequentCore.Syntax, Language.SequentCore |
contToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
contTyArg | Language.SequentCore.Syntax, Language.SequentCore |
contType | Language.SequentCore.Syntax, Language.SequentCore |
DataAlt | Language.SequentCore.Syntax, Language.SequentCore |
DEFAULT | Language.SequentCore.Syntax, Language.SequentCore |
delBndr | Language.SequentCore.Subst |
delBndrs | Language.SequentCore.Subst |
deShadowBinds | Language.SequentCore.Subst |
emptySubst | Language.SequentCore.Subst |
Expr | Language.SequentCore.Syntax, Language.SequentCore |
extendCvSubst | Language.SequentCore.Subst |
extendCvSubstList | Language.SequentCore.Subst |
extendIdSubst | Language.SequentCore.Subst |
extendIdSubstList | Language.SequentCore.Subst |
extendInScope | Language.SequentCore.Subst |
extendInScopeIds | Language.SequentCore.Subst |
extendInScopeList | Language.SequentCore.Subst |
extendSubst | Language.SequentCore.Subst |
extendSubstList | Language.SequentCore.Subst |
extendSubstWithVar | Language.SequentCore.Subst |
extendTvSubst | Language.SequentCore.Subst |
extendTvSubstList | Language.SequentCore.Subst |
flattenBind | Language.SequentCore.Syntax, Language.SequentCore |
flattenBinds | Language.SequentCore.Syntax, Language.SequentCore |
fromCoreModule | Language.SequentCore.Translate, Language.SequentCore |
HasId | Language.SequentCore.Syntax, Language.SequentCore |
identifier | Language.SequentCore.Syntax, Language.SequentCore |
IdSubstEnv | Language.SequentCore.Subst |
InScopeSet | Language.SequentCore.Subst |
isContId | Language.SequentCore.Syntax, Language.SequentCore |
isCoTerm | Language.SequentCore.Syntax, Language.SequentCore |
isEmptySubst | Language.SequentCore.Subst |
isErasedTerm | Language.SequentCore.Syntax, Language.SequentCore |
isInScope | Language.SequentCore.Subst |
isLambda | Language.SequentCore.Syntax, Language.SequentCore |
isProperTerm | Language.SequentCore.Syntax, Language.SequentCore |
isReturnCont | Language.SequentCore.Syntax, Language.SequentCore |
isRuntimeTerm | Language.SequentCore.Syntax, Language.SequentCore |
isTrivial | Language.SequentCore.Syntax, Language.SequentCore |
isTrivialCont | Language.SequentCore.Syntax, Language.SequentCore |
isTrivialTerm | Language.SequentCore.Syntax, Language.SequentCore |
isTypeTerm | Language.SequentCore.Syntax, Language.SequentCore |
isValueArg | Language.SequentCore.Syntax, Language.SequentCore |
K | Language.SequentCore.Syntax, Language.SequentCore |
Lam | Language.SequentCore.Syntax, Language.SequentCore |
lambdas | Language.SequentCore.Syntax, Language.SequentCore |
lintCoreBindings | Language.SequentCore.Lint |
lintTerm | Language.SequentCore.Lint |
Lit | Language.SequentCore.Syntax, Language.SequentCore |
LitAlt | Language.SequentCore.Syntax, Language.SequentCore |
lookupCvSubst | Language.SequentCore.Subst |
lookupIdSubst | Language.SequentCore.Subst |
lookupTvSubst | Language.SequentCore.Subst |
mkCommand | Language.SequentCore.Syntax, Language.SequentCore |
mkCompute | Language.SequentCore.Syntax, Language.SequentCore |
mkContTy | Language.SequentCore.Syntax, Language.SequentCore |
mkEmptySubst | Language.SequentCore.Subst |
mkOpenSubst | Language.SequentCore.Subst |
mkSubst | Language.SequentCore.Subst |
needsCaseBinding | Language.SequentCore.Syntax, Language.SequentCore |
NonRec | Language.SequentCore.Syntax, Language.SequentCore |
onCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
onSequentCoreTerm | Language.SequentCore.Translate, Language.SequentCore |
partitionTypes | Language.SequentCore.Syntax, Language.SequentCore |
plugin | |
1 (Function) | Language.SequentCore.Dump |
2 (Function) | Language.SequentCore.Inspect |
3 (Function) | Language.SequentCore.Simpl |
4 (Function) | Language.SequentCore.SpecConstr |
pprTopLevelBinds | Language.SequentCore.Pretty, Language.SequentCore |
Program | Language.SequentCore.Syntax, Language.SequentCore |
Rec | Language.SequentCore.Syntax, Language.SequentCore |
Return | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreAlt | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreBind | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreBndr | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreCommand | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreCont | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreExpr | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreProgram | Language.SequentCore.Syntax, Language.SequentCore |
SeqCoreTerm | Language.SequentCore.Syntax, Language.SequentCore |
sequentPass | Language.SequentCore.Plugin, Language.SequentCore |
setInScope | Language.SequentCore.Subst |
Subst | |
1 (Type/Class) | Language.SequentCore.Subst |
2 (Data Constructor) | Language.SequentCore.Subst |
substBind | Language.SequentCore.Subst |
substBindSC | Language.SequentCore.Subst |
substBndr | Language.SequentCore.Subst |
substBndrs | Language.SequentCore.Subst |
substCo | Language.SequentCore.Subst |
substIdOcc | Language.SequentCore.Subst |
substInScope | Language.SequentCore.Subst |
substRecBndrs | Language.SequentCore.Subst |
substRulesForImportedIds | Language.SequentCore.Subst |
substSpec | Language.SequentCore.Subst |
substTerm | Language.SequentCore.Subst |
substTickish | Language.SequentCore.Subst |
substTy | Language.SequentCore.Subst |
substUnfolding | Language.SequentCore.Subst |
substUnfoldingSC | Language.SequentCore.Subst |
substVarSet | Language.SequentCore.Subst |
T | Language.SequentCore.Syntax, Language.SequentCore |
Term | Language.SequentCore.Syntax, Language.SequentCore |
termArity | Language.SequentCore.Syntax, Language.SequentCore |
termFromCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
termIsBottom | Language.SequentCore.Syntax, Language.SequentCore |
termIsCheap | Language.SequentCore.Syntax, Language.SequentCore |
termIsExpandable | Language.SequentCore.Syntax, Language.SequentCore |
termOkForSideEffects | Language.SequentCore.Syntax, Language.SequentCore |
termOkForSpeculation | Language.SequentCore.Syntax, Language.SequentCore |
termToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
termType | Language.SequentCore.Syntax, Language.SequentCore |
Tick | Language.SequentCore.Syntax, Language.SequentCore |
TvSubstEnv | Language.SequentCore.Subst |
Type | Language.SequentCore.Syntax, Language.SequentCore |
unC | Language.SequentCore.Syntax, Language.SequentCore |
unK | Language.SequentCore.Syntax, Language.SequentCore |
unT | Language.SequentCore.Syntax, Language.SequentCore |
Var | Language.SequentCore.Syntax, Language.SequentCore |
zapSubstEnv | Language.SequentCore.Subst |