diff options
Diffstat (limited to 'src/GF/Data')
| -rw-r--r-- | src/GF/Data/OrdMap2.hs | 21 | ||||
| -rw-r--r-- | src/GF/Data/OrdSet.hs | 21 |
2 files changed, 24 insertions, 18 deletions
diff --git a/src/GF/Data/OrdMap2.hs b/src/GF/Data/OrdMap2.hs index f41d33139..b4f9245fb 100644 --- a/src/GF/Data/OrdMap2.hs +++ b/src/GF/Data/OrdMap2.hs @@ -1,12 +1,15 @@ - - --------------------------------------------------- --- The class of ordered finite maps --- as described in section 2.2.2 - --- and an example implementation, --- derived from the implementation in appendix A.2 - +{- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + Filename: OrdMap2.hs + Author: Peter Ljunglöf + Time-stamp: <2004-05-07 14:16:03 peb> + + Description: The class of finite maps, as described in + "Pure Functional Parsing", section 2.2.2 + and an example implementation, + derived from appendix A.2 + + OBSOLETE! this is only used in cf/ChartParser.hs + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} module OrdMap2 (OrdMap(..), Map) where diff --git a/src/GF/Data/OrdSet.hs b/src/GF/Data/OrdSet.hs index 84169a699..8761b2176 100644 --- a/src/GF/Data/OrdSet.hs +++ b/src/GF/Data/OrdSet.hs @@ -1,12 +1,15 @@ - - --------------------------------------------------- --- The class of ordered sets --- as described in section 2.2.1 - --- and an example implementation, --- derived from the implementation in appendix A.1 - +{- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - + Filename: OrdSet.hs + Author: Peter Ljunglöf + Time-stamp: <2004-05-07 14:16:12 peb> + + Description: The class of ordered sets, as described in + "Pure Functional Parsing", section 2.2.1, + and an example implementation + derived from appendix A.1 + + OBSOLETE! this is only used in cf/ChartParser.hs + - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -} module OrdSet (OrdSet(..), Set) where |