Hets - the Heterogeneous Tool Set

Copyright(c) DFKI GmbH 2012
LicenseGPLv2 or higher, see LICENSE.txt
MaintainerChristian.Maeder@dfki.de
Stabilityprovisional
Portabilitynon-portable(derive Typeable instances)
Safe HaskellNone

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 #