Copyright | (c) T.Mossakowski C.Maeder Uni Bremen 2004-2006 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | hausmann@informatik.uni-bremen.de |
Stability | provisional |
Portability | portable |
Safe Haskell | Safe |
CoCASL.AS_CoCASL
Description
Abstract syntax for CoCASL, the coalgebraic extension of CASL Only the added syntax is specified
Documentation
data C_BASIC_ITEM Source #
Constructors
CoFree_datatype [Annoted CODATATYPE_DECL] Range | |
CoSort_gen [Annoted (SIG_ITEMS C_SIG_ITEM C_FORMULA)] Range |
Instances
data C_SIG_ITEM Source #
Constructors
CoDatatype_items [Annoted CODATATYPE_DECL] Range |
Instances
data CODATATYPE_DECL Source #
Constructors
CoDatatype_decl SORT [Annoted COALTERNATIVE] Range |
Instances
Data CODATATYPE_DECL Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CODATATYPE_DECL -> c CODATATYPE_DECL gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CODATATYPE_DECL toConstr :: CODATATYPE_DECL -> Constr dataTypeOf :: CODATATYPE_DECL -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c CODATATYPE_DECL) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CODATATYPE_DECL) gmapT :: (forall b. Data b => b -> b) -> CODATATYPE_DECL -> CODATATYPE_DECL gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CODATATYPE_DECL -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CODATATYPE_DECL -> r gmapQ :: (forall d. Data d => d -> u) -> CODATATYPE_DECL -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> CODATATYPE_DECL -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> CODATATYPE_DECL -> m CODATATYPE_DECL gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CODATATYPE_DECL -> m CODATATYPE_DECL gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CODATATYPE_DECL -> m CODATATYPE_DECL | |
Show CODATATYPE_DECL Source # | |
Methods showsPrec :: Int -> CODATATYPE_DECL -> ShowS show :: CODATATYPE_DECL -> String showList :: [CODATATYPE_DECL] -> ShowS | |
GetRange CODATATYPE_DECL Source # | |
data COALTERNATIVE Source #
Constructors
Co_construct OpKind (Maybe OP_NAME) [COCOMPONENTS] Range | |
CoSubsorts [SORT] Range |
Instances
Data COALTERNATIVE Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> COALTERNATIVE -> c COALTERNATIVE gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c COALTERNATIVE toConstr :: COALTERNATIVE -> Constr dataTypeOf :: COALTERNATIVE -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c COALTERNATIVE) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c COALTERNATIVE) gmapT :: (forall b. Data b => b -> b) -> COALTERNATIVE -> COALTERNATIVE gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> COALTERNATIVE -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> COALTERNATIVE -> r gmapQ :: (forall d. Data d => d -> u) -> COALTERNATIVE -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> COALTERNATIVE -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> COALTERNATIVE -> m COALTERNATIVE gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> COALTERNATIVE -> m COALTERNATIVE gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> COALTERNATIVE -> m COALTERNATIVE | |
Show COALTERNATIVE Source # | |
Methods showsPrec :: Int -> COALTERNATIVE -> ShowS show :: COALTERNATIVE -> String showList :: [COALTERNATIVE] -> ShowS | |
GetRange COALTERNATIVE Source # | |
data COCOMPONENTS Source #
Instances
Data COCOMPONENTS Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> COCOMPONENTS -> c COCOMPONENTS gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c COCOMPONENTS toConstr :: COCOMPONENTS -> Constr dataTypeOf :: COCOMPONENTS -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c COCOMPONENTS) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c COCOMPONENTS) gmapT :: (forall b. Data b => b -> b) -> COCOMPONENTS -> COCOMPONENTS gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> COCOMPONENTS -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> COCOMPONENTS -> r gmapQ :: (forall d. Data d => d -> u) -> COCOMPONENTS -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> COCOMPONENTS -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> COCOMPONENTS -> m COCOMPONENTS gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> COCOMPONENTS -> m COCOMPONENTS gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> COCOMPONENTS -> m COCOMPONENTS | |
Show COCOMPONENTS Source # | |
Methods showsPrec :: Int -> COCOMPONENTS -> ShowS show :: COCOMPONENTS -> String showList :: [COCOMPONENTS] -> ShowS | |
GetRange COCOMPONENTS Source # | |
Constructors
Simple_mod SIMPLE_ID | |
Term_mod (TERM C_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 # | |
Constructors
BoxOrDiamond Bool MODALITY (FORMULA C_FORMULA) Range | |
CoSort_gen_ax [SORT] [OP_SYMB] Bool |
Instances