Copyright | DFKI GmbH 2009 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | codruta.liliana@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
ExtModal.AS_ExtModal
Description
Documentation
Constructors
FrameForm | |
Fields
|
Instances
Eq FrameForm Source # | |
Data FrameForm Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FrameForm -> c FrameForm gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FrameForm toConstr :: FrameForm -> Constr dataTypeOf :: FrameForm -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FrameForm) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FrameForm) gmapT :: (forall b. Data b => b -> b) -> FrameForm -> FrameForm gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FrameForm -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FrameForm -> r gmapQ :: (forall d. Data d => d -> u) -> FrameForm -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FrameForm -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FrameForm -> m FrameForm gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameForm -> m FrameForm gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FrameForm -> m FrameForm | |
Ord FrameForm Source # | |
Show FrameForm Source # | |
GetRange FrameForm Source # | |
Instances
Eq ModDefn Source # | |
Data ModDefn Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModDefn -> c ModDefn gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModDefn dataTypeOf :: ModDefn -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ModDefn) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModDefn) gmapT :: (forall b. Data b => b -> b) -> ModDefn -> ModDefn gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModDefn -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModDefn -> r gmapQ :: (forall d. Data d => d -> u) -> ModDefn -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ModDefn -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModDefn -> m ModDefn gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModDefn -> m ModDefn gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModDefn -> m ModDefn | |
Ord ModDefn Source # | |
Show ModDefn Source # | |
GetRange ModDefn Source # | |
data EM_BASIC_ITEM Source #
Instances
Constructors
Composition | |
Intersection | |
Union | |
OrElse |
Instances
Eq ModOp Source # | |
Data ModOp Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ModOp -> c ModOp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ModOp dataTypeOf :: ModOp -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ModOp) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ModOp) gmapT :: (forall b. Data b => b -> b) -> ModOp -> ModOp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ModOp -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ModOp -> r gmapQ :: (forall d. Data d => d -> u) -> ModOp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ModOp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ModOp -> m ModOp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ModOp -> m ModOp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ModOp -> m ModOp | |
Ord ModOp Source # | |
Show ModOp Source # | |
GetRange ModOp Source # | |
Constructors
SimpleMod SIMPLE_ID | |
TermMod (TERM EM_FORMULA) | |
ModOp ModOp MODALITY MODALITY | |
TransClos MODALITY | |
Guard (FORMULA EM_FORMULA) |
Instances
Eq MODALITY Source # | |
Data MODALITY Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> MODALITY -> c MODALITY gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c MODALITY toConstr :: MODALITY -> Constr dataTypeOf :: MODALITY -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c MODALITY) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c MODALITY) gmapT :: (forall b. Data b => b -> b) -> MODALITY -> MODALITY gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> MODALITY -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> MODALITY -> r gmapQ :: (forall d. Data d => d -> u) -> MODALITY -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> MODALITY -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> MODALITY -> m MODALITY gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> MODALITY -> m MODALITY gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> MODALITY -> m MODALITY | |
Ord MODALITY Source # | |
Show MODALITY Source # | |
GetRange MODALITY Source # | |
data EM_SIG_ITEM Source #
Constructors
Rigid_op_items Bool [Annoted (OP_ITEM EM_FORMULA)] Range | |
Rigid_pred_items Bool [Annoted (PRED_ITEM EM_FORMULA)] Range |
Instances
Instances
Eq BoxOp Source # | |
Data BoxOp Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BoxOp -> c BoxOp gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BoxOp dataTypeOf :: BoxOp -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BoxOp) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BoxOp) gmapT :: (forall b. Data b => b -> b) -> BoxOp -> BoxOp gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BoxOp -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BoxOp -> r gmapQ :: (forall d. Data d => d -> u) -> BoxOp -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BoxOp -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BoxOp -> m BoxOp gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BoxOp -> m BoxOp gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BoxOp -> m BoxOp | |
Ord BoxOp Source # | |
Show BoxOp Source # | |
GetRange BoxOp Source # | |
data FormPrefix Source #
Constructors
BoxOrDiamond BoxOp MODALITY Bool Int | |
Hybrid Bool SIMPLE_ID | |
PathQuantification Bool | |
NextY Bool | |
StateQuantification Bool Bool | |
FixedPoint Bool VAR |
Instances
Eq FormPrefix Source # | |
Data FormPrefix Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FormPrefix -> c FormPrefix gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FormPrefix toConstr :: FormPrefix -> Constr dataTypeOf :: FormPrefix -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c FormPrefix) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FormPrefix) gmapT :: (forall b. Data b => b -> b) -> FormPrefix -> FormPrefix gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FormPrefix -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FormPrefix -> r gmapQ :: (forall d. Data d => d -> u) -> FormPrefix -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> FormPrefix -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> FormPrefix -> m FormPrefix gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FormPrefix -> m FormPrefix gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FormPrefix -> m FormPrefix | |
Ord FormPrefix Source # | |
Methods compare :: FormPrefix -> FormPrefix -> Ordering (<) :: FormPrefix -> FormPrefix -> Bool (<=) :: FormPrefix -> FormPrefix -> Bool (>) :: FormPrefix -> FormPrefix -> Bool (>=) :: FormPrefix -> FormPrefix -> Bool max :: FormPrefix -> FormPrefix -> FormPrefix min :: FormPrefix -> FormPrefix -> FormPrefix | |
Show FormPrefix Source # | |
Methods showsPrec :: Int -> FormPrefix -> ShowS show :: FormPrefix -> String showList :: [FormPrefix] -> ShowS | |
GetRange FormPrefix Source # | |
data EM_FORMULA Source #
Constructors
PrefixForm FormPrefix (FORMULA EM_FORMULA) Range | |
UntilSince Bool (FORMULA EM_FORMULA) (FORMULA EM_FORMULA) Range | |
ModForm ModDefn |
Instances