Hets - the Heterogeneous Tool Set
Copyright(c) Christian Maeder DFKI GmbH 2008
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilityportable
Safe HaskellNone

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

Instances

Instances details
Eq LibName Source # 
Instance details

Defined in Common.LibName

Methods

(==) :: LibName -> LibName -> Bool

(/=) :: LibName -> LibName -> Bool

Data LibName Source # 
Instance details

Defined in Common.LibName

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 :: forall r r'. (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 # 
Instance details

Defined in Common.LibName

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 # 
Instance details

Defined in Common.LibName

Methods

showsPrec :: Int -> LibName -> ShowS

show :: LibName -> String

showList :: [LibName] -> ShowS

Generic LibName 
Instance details

Defined in ATC.LibName

Associated Types

type Rep LibName :: Type -> Type

Methods

from :: LibName -> Rep LibName x

to :: Rep LibName x -> LibName

GetRange LibName Source # 
Instance details

Defined in Common.LibName

FromJSON LibName 
Instance details

Defined in ATC.LibName

Methods

parseJSON :: Value -> Parser LibName

parseJSONList :: Value -> Parser [LibName]

ToJSON LibName 
Instance details

Defined in ATC.LibName

Methods

toJSON :: LibName -> Value

toEncoding :: LibName -> Encoding

toJSONList :: [LibName] -> Value

toEncodingList :: [LibName] -> Encoding

ShATermConvertible LibName 
Instance details

Defined in ATC.LibName

Methods

toShATermAux :: ATermTable -> LibName -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [LibName] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, LibName)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [LibName])

Pretty LibName Source # 
Instance details

Defined in Common.LibName

ATermConvertibleSML LibName Source # 
Instance details

Defined in ATC.Sml_cats

Methods

from_sml_ShATerm :: ATermTable -> LibName

from_sml_ShATermList :: ATermTable -> [LibName]

type Rep LibName 
Instance details

Defined in ATC.LibName

type Rep LibName = D1 ('MetaData "LibName" "Common.LibName" "main" 'False) (C1 ('MetaCons "LibName" 'PrefixI 'True) ((S1 ('MetaSel ('Just "getLibId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 IRI) :*: S1 ('MetaSel ('Just "locIRI") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe IRI))) :*: (S1 ('MetaSel ('Just "mimeType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe String)) :*: S1 ('MetaSel ('Just "libVersion") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe VersionNumber)))))

data VersionNumber Source #

Constructors

VersionNumber [String] Range 

Instances

Instances details
Data VersionNumber Source # 
Instance details

Defined in Common.LibName

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 :: forall r r'. (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

Generic VersionNumber 
Instance details

Defined in ATC.LibName

Associated Types

type Rep VersionNumber :: Type -> Type

FromJSON VersionNumber 
Instance details

Defined in ATC.LibName

Methods

parseJSON :: Value -> Parser VersionNumber

parseJSONList :: Value -> Parser [VersionNumber]

ToJSON VersionNumber 
Instance details

Defined in ATC.LibName

Methods

toJSON :: VersionNumber -> Value

toEncoding :: VersionNumber -> Encoding

toJSONList :: [VersionNumber] -> Value

toEncodingList :: [VersionNumber] -> Encoding

ShATermConvertible VersionNumber 
Instance details

Defined in ATC.LibName

Methods

toShATermAux :: ATermTable -> VersionNumber -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [VersionNumber] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, VersionNumber)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [VersionNumber])

ATermConvertibleSML VersionNumber Source # 
Instance details

Defined in ATC.Sml_cats

Methods

from_sml_ShATerm :: ATermTable -> VersionNumber

from_sml_ShATermList :: ATermTable -> [VersionNumber]

type Rep VersionNumber 
Instance details

Defined in ATC.LibName

type Rep VersionNumber = D1 ('MetaData "VersionNumber" "Common.LibName" "main" 'False) (C1 ('MetaCons "VersionNumber" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [String]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Range)))

isQualName :: Id -> Bool Source #

setFilePath :: FilePath -> LibName -> LibName Source #

insert file name as location IRI

libToFileName :: LibName -> FilePath Source #

interpret library IRI as file path

libToString :: LibName -> String Source #

interpret library IRI as path. Uses CURIE if available.

getFilePath :: LibName -> FilePath Source #

extract location IRI as file name

filePathToLibId :: FilePath -> IRI Source #

use file name as library IRI

convertFileToLibStr :: FilePath -> String Source #

mkLibStr :: String -> String Source #

setMimeType :: Maybe String -> LibName -> LibName Source #

insert optional mime type