| License | GPLv2 or higher, see LICENSE.txt |
|---|---|
| Maintainer | nevrenato@gmail.com |
| Stability | experimental |
| Portability | portable |
| Safe Haskell | None |
TopHybrid.TopHybridSign
Description
Description : Signature for an hybridized logic. Its constituted by the declaration of nominals and modalities, and the signature of the logic below
Documentation
data Sgn_Wrap
Constructors
| forall l sub bs f s sm sign mo sy rw pf . Logic l sub bs f s sm sign mo sy rw pf => Sgn_Wrap l (THybridSign sign) | |
| EmptySign |
Instances
data THybridSign s
Instances
| Eq s => Eq (THybridSign s) | |
| Data s => Data (THybridSign s) | |
| Ord s => Ord (THybridSign s) | |
| Show s => Show (THybridSign s) | |
| ShATermConvertible s => ShATermConvertible (THybridSign s) | |
| Pretty s => Pretty (THybridSign s) | |
| Typeable (* -> *) THybridSign |
isSubTHybSgn :: Sgn_Wrap -> Sgn_Wrap -> Bool