Commit 38db527e authored by Finn Teegen's avatar Finn Teegen
Browse files

Update module headers

parent 4e875077
{- |
Module : $Header$
Description : Environment of classes
Copyright : (c) 2016 Finn Teegen
Copyright : (c) 2016 - 2020 Finn Teegen
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Maintainer : fte@informatik.uni-kiel.de
Stability : experimental
Portability : portable
The compiler maintains information about all type classes in an
environment that maps type classes to a list of their direct
superclasses and all their associated class methods with an
additional boolean flag stating whether an default implementation
has been provided or not. For both the type class identifier and
the list of super classes original names are used. Thus, the use
of a flat environment is sufficient.
environment that maps type classes to a sorted list of their direct
superclasses and all their associated class methods with an additional
flag stating whether an default implementation has been provided or not.
For both the type class identifier and the list of super classes original
names are used. Thus, the use of a flat environment is sufficient.
-}
module Env.Class
......
{- |
Module : $Header$
Description : Environment of instances
Copyright : (c) 2016 Finn Teegen
Copyright : (c) 2016 - 2020 Finn Teegen
License : BSD-3-clause
Maintainer : bjp@informatik.uni-kiel.de
Maintainer : fte@informatik.uni-kiel.de
Stability : experimental
Portability : portable
......@@ -15,7 +15,8 @@
implemented in the specific instance along with their arity. A flat
environment is sufficient because instances are visible globally and
cannot be hidden. Instances are recorded only with the original names
of the type class and type constructor involved.
of the type class and type constructor involved. The context also uses
original names and is already minimized.
-}
module Env.Instance
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment