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

ConstraintCASL.ATC_ConstraintCASL

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): ConstraintFORMULA RELATION ATOMCONJUNCTION ATOM ConstraintTERM

Orphan instances

ShATermConvertible ConstraintTERM Source # 

Methods

toShATermAux :: ATermTable -> ConstraintTERM -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ConstraintTERM] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintTERM)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintTERM])

ShATermConvertible ATOM Source # 

Methods

toShATermAux :: ATermTable -> ATOM -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ATOM] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOM)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOM])

ShATermConvertible ATOMCONJUNCTION Source # 

Methods

toShATermAux :: ATermTable -> ATOMCONJUNCTION -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ATOMCONJUNCTION] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ATOMCONJUNCTION)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ATOMCONJUNCTION])

ShATermConvertible RELATION Source # 

Methods

toShATermAux :: ATermTable -> RELATION -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [RELATION] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, RELATION)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [RELATION])

ShATermConvertible ConstraintFORMULA Source # 

Methods

toShATermAux :: ATermTable -> ConstraintFORMULA -> IO (ATermTable, Int)

toShATermList' :: ATermTable -> [ConstraintFORMULA] -> IO (ATermTable, Int)

fromShATermAux :: Int -> ATermTable -> (ATermTable, ConstraintFORMULA)

fromShATermList' :: Int -> ATermTable -> (ATermTable, [ConstraintFORMULA])