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

TopHybrid.ATC_TopHybrid

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): TH_BSPEC TH_BASIC_ITEM TH_FORMULA Mor THybridSign

Orphan instances

Generic Mor Source # 
Instance details

Associated Types

type Rep Mor :: Type -> Type

Methods

from :: Mor -> Rep Mor x

to :: Rep Mor x -> Mor

Generic TH_BASIC_ITEM Source # 
Instance details

Associated Types

type Rep TH_BASIC_ITEM :: Type -> Type

FromJSON Mor Source # 
Instance details

Methods

parseJSON :: Value -> Parser Mor

parseJSONList :: Value -> Parser [Mor]

FromJSON TH_BASIC_ITEM Source # 
Instance details

Methods

parseJSON :: Value -> Parser TH_BASIC_ITEM

parseJSONList :: Value -> Parser [TH_BASIC_ITEM]

ToJSON Mor Source # 
Instance details

Methods

toJSON :: Mor -> Value

toEncoding :: Mor -> Encoding

toJSONList :: [Mor] -> Value

toEncodingList :: [Mor] -> Encoding

ToJSON TH_BASIC_ITEM Source # 
Instance details

Methods

toJSON :: TH_BASIC_ITEM -> Value

toEncoding :: TH_BASIC_ITEM -> Encoding

toJSONList :: [TH_BASIC_ITEM] -> Value

toEncodingList :: [TH_BASIC_ITEM] -> Encoding

ShATermConvertible Mor Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible TH_BASIC_ITEM Source # 
Instance details

Methods

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

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

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

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

Generic (TH_FORMULA f) Source # 
Instance details

Associated Types

type Rep (TH_FORMULA f) :: Type -> Type

Methods

from :: TH_FORMULA f -> Rep (TH_FORMULA f) x

to :: Rep (TH_FORMULA f) x -> TH_FORMULA f

Generic (TH_BSPEC s) Source # 
Instance details

Associated Types

type Rep (TH_BSPEC s) :: Type -> Type

Methods

from :: TH_BSPEC s -> Rep (TH_BSPEC s) x

to :: Rep (TH_BSPEC s) x -> TH_BSPEC s

Generic (THybridSign s) Source # 
Instance details

Associated Types

type Rep (THybridSign s) :: Type -> Type

Methods

from :: THybridSign s -> Rep (THybridSign s) x

to :: Rep (THybridSign s) x -> THybridSign s

FromJSON f => FromJSON (TH_FORMULA f) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (TH_FORMULA f)

parseJSONList :: Value -> Parser [TH_FORMULA f]

FromJSON s => FromJSON (TH_BSPEC s) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (TH_BSPEC s)

parseJSONList :: Value -> Parser [TH_BSPEC s]

FromJSON s => FromJSON (THybridSign s) Source # 
Instance details

Methods

parseJSON :: Value -> Parser (THybridSign s)

parseJSONList :: Value -> Parser [THybridSign s]

ToJSON f => ToJSON (TH_FORMULA f) Source # 
Instance details

Methods

toJSON :: TH_FORMULA f -> Value

toEncoding :: TH_FORMULA f -> Encoding

toJSONList :: [TH_FORMULA f] -> Value

toEncodingList :: [TH_FORMULA f] -> Encoding

ToJSON s => ToJSON (TH_BSPEC s) Source # 
Instance details

Methods

toJSON :: TH_BSPEC s -> Value

toEncoding :: TH_BSPEC s -> Encoding

toJSONList :: [TH_BSPEC s] -> Value

toEncodingList :: [TH_BSPEC s] -> Encoding

ToJSON s => ToJSON (THybridSign s) Source # 
Instance details

Methods

toJSON :: THybridSign s -> Value

toEncoding :: THybridSign s -> Encoding

toJSONList :: [THybridSign s] -> Value

toEncodingList :: [THybridSign s] -> Encoding

ShATermConvertible f => ShATermConvertible (TH_FORMULA f) Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TH_FORMULA f -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_FORMULA f)

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

ShATermConvertible s => ShATermConvertible (TH_BSPEC s) Source # 
Instance details

Methods

toShATermAux :: ATermTable -> TH_BSPEC s -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, TH_BSPEC s)

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

ShATermConvertible s => ShATermConvertible (THybridSign s) Source # 
Instance details

Methods

toShATermAux :: ATermTable -> THybridSign s -> IO (ATermTable, Int)

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

fromShATermAux :: Int -> ATermTable -> (ATermTable, THybridSign s)

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