| Copyright | (c) DFKI GmbH 2012 |
|---|---|
| License | GPLv2 or higher, see LICENSE.txt |
| Maintainer | Christian.Maeder@dfki.de |
| Stability | provisional |
| Portability | non-portable(derive Typeable instances) |
| Safe Haskell | None |
ATC.AS_Architecture
Contents
Description
Automatic derivation of instances via DrIFT-rule ShATermLG
for the type(s):
ARCH_SPEC
UNIT_DECL_DEFN
UNIT_SPEC
REF_SPEC
UNIT_REF
UNIT_EXPRESSION
UNIT_BINDING
UNIT_TERM
FIT_ARG_UNIT
Orphan instances
| ShATermLG FIT_ARG_UNIT Source # | |
Methods toShATermLG :: ATermTable -> FIT_ARG_UNIT -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, FIT_ARG_UNIT) Source # | |
| ShATermLG UNIT_TERM Source # | |
Methods toShATermLG :: ATermTable -> UNIT_TERM -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_TERM) Source # | |
| ShATermLG UNIT_BINDING Source # | |
Methods toShATermLG :: ATermTable -> UNIT_BINDING -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_BINDING) Source # | |
| ShATermLG UNIT_EXPRESSION Source # | |
Methods toShATermLG :: ATermTable -> UNIT_EXPRESSION -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_EXPRESSION) Source # | |
| ShATermLG UNIT_REF Source # | |
Methods toShATermLG :: ATermTable -> UNIT_REF -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_REF) Source # | |
| ShATermLG REF_SPEC Source # | |
Methods toShATermLG :: ATermTable -> REF_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, REF_SPEC) Source # | |
| ShATermLG UNIT_SPEC Source # | |
Methods toShATermLG :: ATermTable -> UNIT_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_SPEC) Source # | |
| ShATermLG UNIT_DECL_DEFN Source # | |
Methods toShATermLG :: ATermTable -> UNIT_DECL_DEFN -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, UNIT_DECL_DEFN) Source # | |
| ShATermLG ARCH_SPEC Source # | |
Methods toShATermLG :: ATermTable -> ARCH_SPEC -> IO (ATermTable, Int) Source # fromShATermLG :: LogicGraph -> Int -> ATermTable -> (ATermTable, ARCH_SPEC) Source # | |