[<<][compsci][>>][..]
Sat Oct 15 11:09:03 EDT 2011

Functional Dependencies and Undecidable Instances

Since I rely on them for some type-level hackery, let's look at what
these actually do:

  UndecidableInstances

  FunctionalDependencies

  ScopedTypeVariables

  FlexibleContexts

  FlexibleInstances

All except ScopedTypeVariables[2] are explained here[1].

[1] http://cvs.haskell.org/Hugs/pages/users_guide/class-extensions.html
[2] http://www.haskell.org/haskellwiki/Scoped_type_variables




[Reply][About]
[<<][compsci][>>][..]