... | ... | @@ -41,7 +41,7 @@ These two "views" are supported by a family of functions operating over that vie |
|
|
- [compiler/typecheck/TcType.lhs](/trac/ghc/browser/ghc/compiler/typecheck/TcType.lhs): source-view utility functions over `Type`.
|
|
|
|
|
|
|
|
|
The "view" functions are *shallow*, not deep---a view function just looks at the *root* of the tree representing the type. For example, part of the `coreView` function (GhcFile(compiler/types/Type?) looks like this:
|
|
|
The "view" functions are *shallow*, not deep---a view function just looks at the *root* of the tree representing the type. For example, part of the `coreView` function ([compiler/types/Type.lhs](/trac/ghc/browser/ghc/compiler/types/Type.lhs)) looks like this:
|
|
|
|
|
|
```wiki
|
|
|
coreView :: Type -> Maybe Type
|
... | ... | |