Copyright | (c) Klaus Hartke Uni Bremen 2008 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Christian.Maeder@dfki.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
pretty poor abstract syntax of temporal Basic_spec, Formula, Symb_items and Symb_map_items.
Documentation
Instances
data BASIC_SPEC Source #
Instances
data SYMB_ITEMS Source #
Instances
Eq SYMB_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal (==) :: SYMB_ITEMS -> SYMB_ITEMS -> Bool (/=) :: SYMB_ITEMS -> SYMB_ITEMS -> Bool | |
Data SYMB_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SYMB_ITEMS -> c SYMB_ITEMS gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SYMB_ITEMS toConstr :: SYMB_ITEMS -> Constr dataTypeOf :: SYMB_ITEMS -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SYMB_ITEMS) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SYMB_ITEMS) gmapT :: (forall b. Data b => b -> b) -> SYMB_ITEMS -> SYMB_ITEMS gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_ITEMS -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_ITEMS -> r gmapQ :: (forall d. Data d => d -> u) -> SYMB_ITEMS -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SYMB_ITEMS -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SYMB_ITEMS -> m SYMB_ITEMS gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_ITEMS -> m SYMB_ITEMS gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_ITEMS -> m SYMB_ITEMS | |
Show SYMB_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal showsPrec :: Int -> SYMB_ITEMS -> ShowS show :: SYMB_ITEMS -> String showList :: [SYMB_ITEMS] -> ShowS | |
Generic SYMB_ITEMS | |
Defined in Temporal.ATC_Temporal type Rep SYMB_ITEMS :: Type -> Type from :: SYMB_ITEMS -> Rep SYMB_ITEMS x to :: Rep SYMB_ITEMS x -> SYMB_ITEMS | |
FromJSON SYMB_ITEMS | |
Defined in Temporal.ATC_Temporal parseJSON :: Value -> Parser SYMB_ITEMS parseJSONList :: Value -> Parser [SYMB_ITEMS] | |
ToJSON SYMB_ITEMS | |
Defined in Temporal.ATC_Temporal toJSON :: SYMB_ITEMS -> Value toEncoding :: SYMB_ITEMS -> Encoding toJSONList :: [SYMB_ITEMS] -> Value toEncodingList :: [SYMB_ITEMS] -> Encoding | |
ShATermConvertible SYMB_ITEMS | |
Defined in Temporal.ATC_Temporal toShATermAux :: ATermTable -> SYMB_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_ITEMS]) | |
type Rep SYMB_ITEMS | |
Defined in Temporal.ATC_Temporal type Rep SYMB_ITEMS = D1 ('MetaData "SYMB_ITEMS" "Temporal.AS_BASIC_Temporal" "main" 'False) (C1 ('MetaCons "Symb_items" 'PrefixI 'False) (U1 :: Type -> Type)) |
Instances
Eq SYMB Source # | |
Data SYMB Source # | |
Defined in Temporal.AS_BASIC_Temporal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SYMB -> c SYMB gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SYMB dataTypeOf :: SYMB -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SYMB) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SYMB) gmapT :: (forall b. Data b => b -> b) -> SYMB -> SYMB gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SYMB -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SYMB -> r gmapQ :: (forall d. Data d => d -> u) -> SYMB -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SYMB -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SYMB -> m SYMB gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB -> m SYMB gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB -> m SYMB | |
Show SYMB Source # | |
Generic SYMB | |
FromJSON SYMB | |
Defined in Temporal.ATC_Temporal parseJSON :: Value -> Parser SYMB parseJSONList :: Value -> Parser [SYMB] | |
ToJSON SYMB | |
Defined in Temporal.ATC_Temporal | |
ShATermConvertible SYMB | |
Defined in Temporal.ATC_Temporal toShATermAux :: ATermTable -> SYMB -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB]) | |
type Rep SYMB | |
Defined in Temporal.ATC_Temporal type Rep SYMB = D1 ('MetaData "SYMB" "Temporal.AS_BASIC_Temporal" "main" 'False) (C1 ('MetaCons "Symb_id" 'PrefixI 'False) (U1 :: Type -> Type)) |
data SYMB_MAP_ITEMS Source #
Instances
Eq SYMB_MAP_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal (==) :: SYMB_MAP_ITEMS -> SYMB_MAP_ITEMS -> Bool (/=) :: SYMB_MAP_ITEMS -> SYMB_MAP_ITEMS -> Bool | |
Data SYMB_MAP_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SYMB_MAP_ITEMS -> c SYMB_MAP_ITEMS gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SYMB_MAP_ITEMS toConstr :: SYMB_MAP_ITEMS -> Constr dataTypeOf :: SYMB_MAP_ITEMS -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SYMB_MAP_ITEMS) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SYMB_MAP_ITEMS) gmapT :: (forall b. Data b => b -> b) -> SYMB_MAP_ITEMS -> SYMB_MAP_ITEMS gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_MAP_ITEMS -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SYMB_MAP_ITEMS -> r gmapQ :: (forall d. Data d => d -> u) -> SYMB_MAP_ITEMS -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> SYMB_MAP_ITEMS -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> SYMB_MAP_ITEMS -> m SYMB_MAP_ITEMS gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_MAP_ITEMS -> m SYMB_MAP_ITEMS gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SYMB_MAP_ITEMS -> m SYMB_MAP_ITEMS | |
Show SYMB_MAP_ITEMS Source # | |
Defined in Temporal.AS_BASIC_Temporal showsPrec :: Int -> SYMB_MAP_ITEMS -> ShowS show :: SYMB_MAP_ITEMS -> String showList :: [SYMB_MAP_ITEMS] -> ShowS | |
Generic SYMB_MAP_ITEMS | |
Defined in Temporal.ATC_Temporal type Rep SYMB_MAP_ITEMS :: Type -> Type from :: SYMB_MAP_ITEMS -> Rep SYMB_MAP_ITEMS x to :: Rep SYMB_MAP_ITEMS x -> SYMB_MAP_ITEMS | |
FromJSON SYMB_MAP_ITEMS | |
Defined in Temporal.ATC_Temporal parseJSON :: Value -> Parser SYMB_MAP_ITEMS parseJSONList :: Value -> Parser [SYMB_MAP_ITEMS] | |
ToJSON SYMB_MAP_ITEMS | |
Defined in Temporal.ATC_Temporal toJSON :: SYMB_MAP_ITEMS -> Value toEncoding :: SYMB_MAP_ITEMS -> Encoding toJSONList :: [SYMB_MAP_ITEMS] -> Value toEncodingList :: [SYMB_MAP_ITEMS] -> Encoding | |
ShATermConvertible SYMB_MAP_ITEMS | |
Defined in Temporal.ATC_Temporal toShATermAux :: ATermTable -> SYMB_MAP_ITEMS -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SYMB_MAP_ITEMS] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SYMB_MAP_ITEMS) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SYMB_MAP_ITEMS]) | |
type Rep SYMB_MAP_ITEMS | |
Defined in Temporal.ATC_Temporal type Rep SYMB_MAP_ITEMS = D1 ('MetaData "SYMB_MAP_ITEMS" "Temporal.AS_BASIC_Temporal" "main" 'False) (C1 ('MetaCons "Symb_map_items" 'PrefixI 'False) (U1 :: Type -> Type)) |