TermEnv | Inferno.Eval |
toList | Inferno.Infer.Env |
topLevel | Inferno.Parse |
TopLevelDefn | Inferno.Parse |
toType | Inferno.Module.Cast |
ToValue | Inferno.Module.Cast, Inferno.Module |
toValue | Inferno.Module.Cast, Inferno.Module |
ty | Inferno.Infer.Env |
TypeClassInstance | Inferno.Parse |
TypeClassNoPartialMatch | Inferno.Infer |
TypeClassNotFoundError | Inferno.Infer |
TypeEnv | Inferno.Infer.Env |
TypeError | Inferno.Infer |
TypeMetadata | |
1 (Data Constructor) | Inferno.Infer.Env |
2 (Type/Class) | Inferno.Infer.Env |
TypeNamespace | Inferno.Infer.Env |
types | Inferno.Infer.Env |