Copyright	(c) Christian Maeder DFKI GmbH 2008
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	portable
Safe Haskell	None

Common.LibName

Description

Abstract syntax of HetCASL/DOL specification library names. Follows Sect. II:2.2.5 of the CASL Reference Manual and 9.7 of the OMG standard DOL.

Synopsis

Documentation

data LibName Source #

Constructors

LibName
Fields getLibId :: IRI locIRI :: Maybe IRI mimeType :: Maybe String libVersion :: Maybe VersionNumber

Instances

Eq LibName Source #
Methods (==) :: LibName -> LibName -> Bool (/=) :: LibName -> LibName -> Bool
Data LibName Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> LibName -> c LibName gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c LibName toConstr :: LibName -> Constr dataTypeOf :: LibName -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c LibName) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c LibName) gmapT :: (forall b. Data b => b -> b) -> LibName -> LibName gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> LibName -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> LibName -> r gmapQ :: (forall d. Data d => d -> u) -> LibName -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> LibName -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> LibName -> m LibName gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> LibName -> m LibName gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> LibName -> m LibName
Ord LibName Source #
Methods compare :: LibName -> LibName -> Ordering (<) :: LibName -> LibName -> Bool (<=) :: LibName -> LibName -> Bool (>) :: LibName -> LibName -> Bool (>=) :: LibName -> LibName -> Bool max :: LibName -> LibName -> LibName min :: LibName -> LibName -> LibName
Show LibName Source #
Methods showsPrec :: Int -> LibName -> ShowS show :: LibName -> String showList :: [LibName] -> ShowS
GetRange LibName Source #
Methods getRange :: LibName -> Range Source # rangeSpan :: LibName -> [Pos] Source #
Pretty LibName Source #
Methods pretty :: LibName -> Doc Source # pretties :: [LibName] -> Doc Source #
ATermConvertibleSML LibName Source #
Methods from_sml_ShATerm :: ATermTable -> LibName from_sml_ShATermList :: ATermTable -> [LibName]

data VersionNumber Source #

Constructors

VersionNumber [String] Range

Instances

Data VersionNumber Source #
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VersionNumber -> c VersionNumber gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VersionNumber toConstr :: VersionNumber -> Constr dataTypeOf :: VersionNumber -> DataType dataCast1 :: Typeable (* -> ) t => (forall d. Data d => c (t d)) -> Maybe (c VersionNumber) dataCast2 :: Typeable ( -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VersionNumber) gmapT :: (forall b. Data b => b -> b) -> VersionNumber -> VersionNumber gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VersionNumber -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VersionNumber -> r gmapQ :: (forall d. Data d => d -> u) -> VersionNumber -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> VersionNumber -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> VersionNumber -> m VersionNumber gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VersionNumber -> m VersionNumber gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VersionNumber -> m VersionNumber
ATermConvertibleSML VersionNumber Source #
Methods from_sml_ShATerm :: ATermTable -> VersionNumber from_sml_ShATermList :: ATermTable -> [VersionNumber]