License | GPLv2 or higher, see LICENSE.txt |
---|---|
Maintainer | nevrenato@gmail.com |
Stability | experimental |
Portability | portable |
Safe Haskell | None |
TopHybrid.AS_TopHybrid
Description
Description : Abstract syntax for an hybridized logic. Declaration of the basic specification. Underlying Spec; Declaration of nominals and modalities, and axioms.
Documentation
Constructors
Bspec | |
Fields
|
Instances
Data s => Data (TH_BSPEC s) Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TH_BSPEC s -> c (TH_BSPEC s) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TH_BSPEC s) toConstr :: TH_BSPEC s -> Constr dataTypeOf :: TH_BSPEC s -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (TH_BSPEC s)) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TH_BSPEC s)) gmapT :: (forall b. Data b => b -> b) -> TH_BSPEC s -> TH_BSPEC s gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TH_BSPEC s -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TH_BSPEC s -> r gmapQ :: (forall d. Data d => d -> u) -> TH_BSPEC s -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TH_BSPEC s -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TH_BSPEC s -> m (TH_BSPEC s) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_BSPEC s -> m (TH_BSPEC s) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_BSPEC s -> m (TH_BSPEC s) | |
Show s => Show (TH_BSPEC s) Source # | |
GetRange s => GetRange (TH_BSPEC s) Source # | |
data TH_BASIC_ITEM Source #
Constructors
Simple_mod_decl [MODALITY] | |
Simple_nom_decl [NOMINAL] |
Instances
Data TH_BASIC_ITEM Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TH_BASIC_ITEM -> c TH_BASIC_ITEM gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TH_BASIC_ITEM toConstr :: TH_BASIC_ITEM -> Constr dataTypeOf :: TH_BASIC_ITEM -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c TH_BASIC_ITEM) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TH_BASIC_ITEM) gmapT :: (forall b. Data b => b -> b) -> TH_BASIC_ITEM -> TH_BASIC_ITEM gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TH_BASIC_ITEM -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TH_BASIC_ITEM -> r gmapQ :: (forall d. Data d => d -> u) -> TH_BASIC_ITEM -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TH_BASIC_ITEM -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TH_BASIC_ITEM -> m TH_BASIC_ITEM gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_BASIC_ITEM -> m TH_BASIC_ITEM gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_BASIC_ITEM -> m TH_BASIC_ITEM | |
Show TH_BASIC_ITEM Source # | |
Methods showsPrec :: Int -> TH_BASIC_ITEM -> ShowS show :: TH_BASIC_ITEM -> String showList :: [TH_BASIC_ITEM] -> ShowS | |
GetRange TH_BASIC_ITEM Source # | |
data TH_FORMULA f Source #
Constructors
At NOMINAL (TH_FORMULA f) | |
Uni NOMINAL (TH_FORMULA f) | |
Exist NOMINAL (TH_FORMULA f) | |
Box MODALITY (TH_FORMULA f) | |
Dia MODALITY (TH_FORMULA f) | |
UnderLogic f | |
Conjunction (TH_FORMULA f) (TH_FORMULA f) | |
Disjunction (TH_FORMULA f) (TH_FORMULA f) | |
Implication (TH_FORMULA f) (TH_FORMULA f) | |
BiImplication (TH_FORMULA f) (TH_FORMULA f) | |
Here NOMINAL | |
Neg (TH_FORMULA f) | |
Par (TH_FORMULA f) | |
TrueA | |
FalseA |
Instances
Eq f => Eq (TH_FORMULA f) Source # | |
Data f => Data (TH_FORMULA f) Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TH_FORMULA f -> c (TH_FORMULA f) gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TH_FORMULA f) toConstr :: TH_FORMULA f -> Constr dataTypeOf :: TH_FORMULA f -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c (TH_FORMULA f)) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TH_FORMULA f)) gmapT :: (forall b. Data b => b -> b) -> TH_FORMULA f -> TH_FORMULA f gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TH_FORMULA f -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TH_FORMULA f -> r gmapQ :: (forall d. Data d => d -> u) -> TH_FORMULA f -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> TH_FORMULA f -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> TH_FORMULA f -> m (TH_FORMULA f) gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_FORMULA f -> m (TH_FORMULA f) gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TH_FORMULA f -> m (TH_FORMULA f) | |
Ord f => Ord (TH_FORMULA f) Source # | |
Methods compare :: TH_FORMULA f -> TH_FORMULA f -> Ordering (<) :: TH_FORMULA f -> TH_FORMULA f -> Bool (<=) :: TH_FORMULA f -> TH_FORMULA f -> Bool (>) :: TH_FORMULA f -> TH_FORMULA f -> Bool (>=) :: TH_FORMULA f -> TH_FORMULA f -> Bool max :: TH_FORMULA f -> TH_FORMULA f -> TH_FORMULA f min :: TH_FORMULA f -> TH_FORMULA f -> TH_FORMULA f | |
Show f => Show (TH_FORMULA f) Source # | |
Methods showsPrec :: Int -> TH_FORMULA f -> ShowS show :: TH_FORMULA f -> String showList :: [TH_FORMULA f] -> ShowS | |
GetRange f => GetRange (TH_FORMULA f) Source # | |
ToJson f => ToJson (TH_FORMULA f) Source # | |
Methods asJson :: TH_FORMULA f -> Json Source # | |
ToXml f => ToXml (TH_FORMULA f) Source # | |
Methods asXml :: TH_FORMULA f -> Element Source # |
Constructors
Logic l sub bs f s sm si mo sy rw pf => Frm_Wrap l (TH_FORMULA f) |
Instances
Constructors
Logic l sub bs sen si smi sign mor symb raw pf => Spc_Wrap l (TH_BSPEC bs) [Annoted Frm_Wrap] |
Instances
Constructors
Mor |
Instances