=~= | Language.SequentCore.Syntax, Language.SequentCore |
addLets | 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 |
altToCore | Language.SequentCore.Translate, 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 |
bindsToCore | Language.SequentCore.Translate, Language.SequentCore |
bindToCore | Language.SequentCore.Translate, Language.SequentCore |
Case | Language.SequentCore.Syntax, Language.SequentCore |
Cast | Language.SequentCore.Syntax, Language.SequentCore |
cmdCont | Language.SequentCore.Syntax, Language.SequentCore |
cmdLet | Language.SequentCore.Syntax, Language.SequentCore |
cmdValue | Language.SequentCore.Syntax, Language.SequentCore |
Coercion | Language.SequentCore.Syntax, Language.SequentCore |
collectArgs | Language.SequentCore.Syntax, Language.SequentCore |
collectLambdas | 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 |
commandToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
commandType | Language.SequentCore.Syntax, 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 |
contIdTag | Language.SequentCore.Syntax, Language.SequentCore |
contOuterType | Language.SequentCore.Syntax, Language.SequentCore |
contToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
DataAlt | Language.SequentCore.Syntax, Language.SequentCore |
DEFAULT | Language.SequentCore.Syntax, Language.SequentCore |
fromCoreAlt | Language.SequentCore.Translate, Language.SequentCore |
fromCoreBind | Language.SequentCore.Translate, Language.SequentCore |
fromCoreBinds | Language.SequentCore.Translate, Language.SequentCore |
fromCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
HasId | Language.SequentCore.Syntax, Language.SequentCore |
identifier | Language.SequentCore.Syntax, Language.SequentCore |
isContId | Language.SequentCore.Syntax, Language.SequentCore |
isCoValue | Language.SequentCore.Syntax, Language.SequentCore |
isErasedValue | Language.SequentCore.Syntax, Language.SequentCore |
isLambda | Language.SequentCore.Syntax, Language.SequentCore |
isReturnCont | Language.SequentCore.Syntax, Language.SequentCore |
isRuntimeValue | Language.SequentCore.Syntax, Language.SequentCore |
isTrivial | Language.SequentCore.Syntax, Language.SequentCore |
isTrivialCont | Language.SequentCore.Syntax, Language.SequentCore |
isTrivialValue | Language.SequentCore.Syntax, Language.SequentCore |
isTypeValue | Language.SequentCore.Syntax, Language.SequentCore |
Jump | Language.SequentCore.Syntax, Language.SequentCore |
Lam | Language.SequentCore.Syntax, Language.SequentCore |
lambdas | Language.SequentCore.Syntax, Language.SequentCore |
Lit | Language.SequentCore.Syntax, Language.SequentCore |
LitAlt | Language.SequentCore.Syntax, Language.SequentCore |
mkCommand | Language.SequentCore.Syntax, Language.SequentCore |
mkCompute | Language.SequentCore.Syntax, Language.SequentCore |
NonRec | Language.SequentCore.Syntax, Language.SequentCore |
partitionTypes | Language.SequentCore.Syntax, Language.SequentCore |
plugin | |
1 (Function) | Language.SequentCore.Dump |
2 (Function) | Language.SequentCore.Simpl |
3 (Function) | Language.SequentCore.SpecConstr |
pprTopLevelBinds | Language.SequentCore.Pretty, 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 |
SeqCoreValue | Language.SequentCore.Syntax, Language.SequentCore |
sequentPass | Language.SequentCore.Plugin, Language.SequentCore |
Tick | Language.SequentCore.Syntax, Language.SequentCore |
Type | Language.SequentCore.Syntax, Language.SequentCore |
Value | Language.SequentCore.Syntax, Language.SequentCore |
valueArity | Language.SequentCore.Syntax, Language.SequentCore |
valueCommand | Language.SequentCore.Syntax, Language.SequentCore |
valueToCoreExpr | Language.SequentCore.Translate, Language.SequentCore |
valueType | Language.SequentCore.Syntax, Language.SequentCore |
Var | Language.SequentCore.Syntax, Language.SequentCore |
varCommand | Language.SequentCore.Syntax, Language.SequentCore |