sequent-core-0.5.0.1: Alternative Core language for GHC plugins (Index - T)

sequent-core-0.5.0.1: Alternative Core language for GHC plugins

A
B
C
D
E
F
H
I
K
L
M
N
O
P
R
S
T
U
V
Z
=
All

Index - T

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