Taxonomy.hs revision 0b60a19437c802631340d8bb5f9aaee7ba2c0a29
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin{- |
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinModule : $Header$
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinCopyright : (c) Klaus L�ttich, Uni Bremen 2002-2004
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinLicence : similar to LGPL, see HetCATS/LICENCE.txt or LIZENZ.txt
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinMaintainer : hets@tzi.de
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinStability : provisional
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinPortability : portable
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenThis module only provides a small type for selecting different kinds
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenof taxonomy graphs.
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowen-}
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinmodule Common.Taxonomy where
d229f940abfb2490dee17979e9a5ff31b7012eb5rbowen
3f08db06526d6901aa08c110b5bc7dde6bc39905nd
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinimport Common.Result
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrindata TaxoGraphKind = KSubsort | KConcept
3f08db06526d6901aa08c110b5bc7dde6bc39905nd deriving (Show,Enum,Eq)
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrin
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinwithErrorToResult :: Either String a -> Result a
d9b843d090f14405079b4a61a493316cd3f1e5b9minfrinwithErrorToResult =
f086b4b402fa9a2fefc7dda85de2a3cc1cd0a654rjung either (\err -> fail err) (\x -> return x)