inj | Language.Syntactic.Syntax, Language.Syntactic |
InjDict | |
1 (Type/Class) | Language.Syntactic.Functional.Sharing |
2 (Data Constructor) | Language.Syntactic.Functional.Sharing |
InjL | Language.Syntactic.Syntax, Language.Syntactic |
injLambda | Language.Syntactic.Functional.Sharing |
injLet | Language.Syntactic.Functional.Sharing |
InjR | Language.Syntactic.Syntax, Language.Syntactic |
injT | Language.Syntactic.Syntax, Language.Syntactic |
injVariable | Language.Syntactic.Functional.Sharing |
instD | Language.Syntactic.TH |
Interface | Language.Syntactic.Functional.Sharing |
Internal | Language.Syntactic.Sugar, Language.Syntactic, Language.Syntactic |