fold | Language.Syntactic.Traversal, Language.Syntactic |
foldrArgs | Language.Syntactic.Traversal, Language.Syntactic |
freeVars | Language.Syntactic.Functional |
fromDeBruijn | Language.Syntactic.Functional |
fromWS | Language.Syntactic.Functional.WellScoped |
Full | |
1 (Type/Class) | Language.Syntactic.Syntax, Language.Syntactic |
2 (Data Constructor) | Language.Syntactic.Syntax, Language.Syntactic |