AS_BASIC_Temporal.hs revision 1a38107941725211e7c3f051f7a8f5e12199f03a
43b4c41fbb07705c9df321221ab9cb9832460407Christian Maeder{-# LANGUAGE DeriveDataTypeable #-}
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederModule : $Header$
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederDescription : Abstract syntax of temporal basic specifications
456238178f89e5a3de2988ee6c8af924297d52d9Christian MaederCopyright : (c) Klaus Hartke, Uni Bremen 2008
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederLicense : GPLv2 or higher, see LICENSE.txt
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederMaintainer : Christian.Maeder@dfki.de
43b4c41fbb07705c9df321221ab9cb9832460407Christian MaederStability : provisional
5191fa24c532d1f67e7a642e9aece65efb8a0975Christian MaederPortability : portable
f2f9df2e17e70674f0bf426ed1763c973ee4cde0Christian Maederpretty poor abstract syntax of temporal Basic_spec, Formula, Symb_items and
c9a7e6af169a2adfb92f42331cd578065ed83a2bChristian MaederSymb_map_items.
a1ed34933c266ce85066acb0d7b20c90cb8eb213Christian Maeder , BASIC_SPEC (..) -- Basic Spec
c0c2380bced8159ff0297ece14eba948bd236471Christian Maeder , SYMB_ITEMS (..) -- List of symbols
404166b9366552e9ec5abb87a37c76ec8a815fb7Klaus Luettich , SYMB (..) -- Symbols
b1f59a4ea7c96f4c03a4d7cfcb9c5e66871cfbbbChristian Maeder , SYMB_MAP_ITEMS (..) -- Symbol map
3e8b136f23ed57d40ee617f49bcac37830b58cabChristian Maederdata BASIC_SPEC = Basic_spec
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maeder deriving (Show, Typeable, Data)
ef9e8535c168d3f774d9e74368a2317a9eda5826Christian Maederinstance GetRange BASIC_SPEC
e593b89bfd4952698dc37feced21cefe869d87a2Christian Maederinstance Pretty BASIC_SPEC where
63f0e65a37b95621334db9ee4ba0cd9d826f5c0fChristian Maeder pretty = text . show
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maederdata FORMULA = Formula
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maeder deriving (Show, Eq, Ord, Typeable, Data)
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian Maederinstance GetRange FORMULA
7cc09dd93962a2155c34d209d1d4cd7d7b838264Christian Maederinstance Pretty FORMULA where
51d769d55d88dfa88bdf54bee78d8fa85a2deba8Christian Maeder pretty = text . show
1aee4aaddde105264c1faf394d88e302c05094ffChristian Maederdata SYMB_ITEMS = Symb_items
c3053d57f642ca507cdf79512e604437c4546cb9Christian Maeder deriving (Show, Eq, Typeable, Data)
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maederdata SYMB = Symb_id
f4a2a20e49f41b2afa657e5e64d9e349c7faa091Christian Maeder deriving (Show, Eq, Typeable, Data)
05a62e84edac8c64de04f8349dee418598d216b9Christian Maederdata SYMB_MAP_ITEMS = Symb_map_items
1cd4f6541984962658add5cfaa9f28a93879881bChristian Maeder deriving (Show, Eq, Typeable, Data)