Copyright | (c) Klaus Luettich Dominik Luecke Uni Bremen 2004-2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | luecke@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
CASL_DL.AS_CASL_DL
Description
Abstract syntax for CASL_DL logic extension of CASL Only the added syntax is specified
Synopsis
- type DL_BASIC_SPEC = BASIC_SPEC () () DL_FORMULA
- type AnDLFORM = Annoted (FORMULA DL_FORMULA)
- data CardType
- minCardinalityS :: String
- maxCardinalityS :: String
- cardinalityS :: String
- data DL_FORMULA = Cardinality CardType PRED_SYMB (TERM DL_FORMULA) (TERM DL_FORMULA) (Maybe (FORMULA DL_FORMULA)) Range
- caslDLCardTypes :: [CardType]
- casl_DL_reserved_words :: [String]
Documentation
type DL_BASIC_SPEC = BASIC_SPEC () () DL_FORMULA Source #
Instances
Eq CardType Source # | |
Data CardType Source # | |
Defined in CASL_DL.AS_CASL_DL Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CardType -> c CardType gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CardType toConstr :: CardType -> Constr dataTypeOf :: CardType -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CardType) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CardType) gmapT :: (forall b. Data b => b -> b) -> CardType -> CardType gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CardType -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CardType -> r gmapQ :: (forall d. Data d => d -> u) -> CardType -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CardType -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CardType -> m CardType gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CardType -> m CardType gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CardType -> m CardType | |
Ord CardType Source # | |
Defined in CASL_DL.AS_CASL_DL | |
Show CardType Source # | |
Generic CardType | |
GetRange CardType Source # | |
FromJSON CardType | |
Defined in CASL_DL.ATC_CASL_DL | |
ToJSON CardType | |
Defined in CASL_DL.ATC_CASL_DL Methods toEncoding :: CardType -> Encoding toJSONList :: [CardType] -> Value toEncodingList :: [CardType] -> Encoding | |
ShATermConvertible CardType | |
Defined in CASL_DL.ATC_CASL_DL Methods toShATermAux :: ATermTable -> CardType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [CardType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, CardType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [CardType]) | |
type Rep CardType | |
Defined in CASL_DL.ATC_CASL_DL type Rep CardType = D1 ('MetaData "CardType" "CASL_DL.AS_CASL_DL" "main" 'False) (C1 ('MetaCons "CMin" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CMax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CExact" 'PrefixI 'False) (U1 :: Type -> Type))) |
minCardinalityS :: String Source #
maxCardinalityS :: String Source #
cardinalityS :: String Source #
data DL_FORMULA Source #
for a detailed specification of all the components look into the sources
Constructors
Cardinality CardType PRED_SYMB (TERM DL_FORMULA) (TERM DL_FORMULA) (Maybe (FORMULA DL_FORMULA)) Range |
Instances
caslDLCardTypes :: [CardType] Source #
casl_DL_reserved_words :: [String] Source #