Copyright	(c) Klaus Luettich Uni Bremen 2002-2004
License	GPLv2 or higher, see LICENSE.txt
Maintainer	luecke@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

Common.Taxonomy

Description

Type for selecting different kinds of taxonomy graphs

This module only provides a small type for selecting different kinds of taxonomy graphs.

Documentation

Constructors

KSubsort
KConcept

Instances details

Enum TaxoGraphKind Source #
Instance details Defined in Common.Taxonomy Methods succ :: TaxoGraphKind -> TaxoGraphKind pred :: TaxoGraphKind -> TaxoGraphKind toEnum :: Int -> TaxoGraphKind fromEnum :: TaxoGraphKind -> Int enumFrom :: TaxoGraphKind -> [TaxoGraphKind] enumFromThen :: TaxoGraphKind -> TaxoGraphKind -> [TaxoGraphKind] enumFromTo :: TaxoGraphKind -> TaxoGraphKind -> [TaxoGraphKind] enumFromThenTo :: TaxoGraphKind -> TaxoGraphKind -> TaxoGraphKind -> [TaxoGraphKind]
Eq TaxoGraphKind Source #
Instance details Defined in Common.Taxonomy Methods (==) :: TaxoGraphKind -> TaxoGraphKind -> Bool (/=) :: TaxoGraphKind -> TaxoGraphKind -> Bool
Show TaxoGraphKind Source #
Instance details Defined in Common.Taxonomy Methods showsPrec :: Int -> TaxoGraphKind -> ShowS show :: TaxoGraphKind -> String showList :: [TaxoGraphKind] -> ShowS

Constructors

Instances details

Eq OntoObjectType Source #
Instance details Defined in Common.Taxonomy Methods (==) :: OntoObjectType -> OntoObjectType -> Bool (/=) :: OntoObjectType -> OntoObjectType -> Bool
Show OntoObjectType Source #
Instance details Defined in Common.Taxonomy Methods showsPrec :: Int -> OntoObjectType -> ShowS show :: OntoObjectType -> String showList :: [OntoObjectType] -> ShowS