Skip to content
GitLab
Explore
Sign in
Register
Glasgow Haskell Compiler
GHC
Wiki
closed type families
closed type families
· Changes
Page history
WIP thinking about closed type families
authored
Oct 16, 2008
by
guest
Show whitespace changes
Inline
Side-by-side
closed-type-families.md
0 → 100644
View page @
9a9311ae
# Closed Type Synonym Families
Currently thinking about adding Closed Type Synonym Families to GHC. Currently WIP.
```
wiki
type family Foo a b c where
Foo..
```
Overlapping is allowed here, as we can take the rewrites in top-bottom order