| 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
data TH_BSPEC s
Constructors
| Bspec | |
Fields
| |
data TH_BASIC_ITEM
Constructors
| Simple_mod_decl [MODALITY] | |
| Simple_nom_decl [NOMINAL] |
data TH_FORMULA f
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) | |
| Data f => Data (TH_FORMULA f) | |
| Ord f => Ord (TH_FORMULA f) | |
| Show f => Show (TH_FORMULA f) | |
| ShATermConvertible f => ShATermConvertible (TH_FORMULA f) | |
| GetRange f => GetRange (TH_FORMULA f) | |
| Pretty f => Pretty (TH_FORMULA f) | |
| ToJson f => ToJson (TH_FORMULA f) | |
| ToXml f => ToXml (TH_FORMULA f) | |
| Typeable (* -> *) TH_FORMULA |
data Frm_Wrap
Constructors
| forall l sub bs f s sm si mo sy rw pf . Logic l sub bs f s sm si mo sy rw pf => Frm_Wrap l (TH_FORMULA f) |
Instances
data Spc_Wrap
Constructors
| forall l sub bs sen si smi sign mor symb raw pf . Logic l sub bs sen si smi sign mor symb raw pf => Spc_Wrap l (TH_BSPEC bs) [Annoted Frm_Wrap] |
Instances
data Mor
Constructors
| Mor |
Instances