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

DFOL.ATC_DFOL

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): BASIC_SPEC BASIC_ITEM TYPE TERM FORMULA SYMB_ITEMS SYMB_MAP_ITEMS SYMB_OR_MAP KIND CONTEXT Sign Morphism Symbol

Orphan instances

Generic SYMB_OR_MAP Source # 
Instance details

Associated Types

type Rep SYMB_OR_MAP :: Type -> Type

Methods

from :: SYMB_OR_MAP -> Rep SYMB_OR_MAP x

to :: Rep SYMB_OR_MAP x -> SYMB_OR_MAP

Generic SYMB_MAP_ITEMS Source # 
Instance details

Associated Types

type Rep SYMB_MAP_ITEMS :: Type -> Type

Generic SYMB_ITEMS Source # 
Instance details

Associated Types

type Rep SYMB_ITEMS :: Type -> Type

Methods

from :: SYMB_ITEMS -> Rep SYMB_ITEMS x

to :: Rep SYMB_ITEMS x -> SYMB_ITEMS

Generic FORMULA Source # 
Instance details

Associated Types

type Rep FORMULA :: Type -> Type

Methods

from :: FORMULA -> Rep FORMULA x

to :: Rep FORMULA x -> FORMULA

Generic TERM Source # 
Instance details

Associated Types

type Rep TERM :: Type -> Type

Methods

from :: TERM -> Rep TERM x

to :: Rep TERM x -> TERM

Generic TYPE Source # 
Instance details

Associated Types

type Rep TYPE :: Type -> Type

Methods

from :: TYPE -> Rep TYPE x

to :: Rep TYPE x -> TYPE

Generic BASIC_ITEM Source # 
Instance details

Associated Types

type Rep BASIC_ITEM :: Type -> Type

Methods

from :: BASIC_ITEM -> Rep BASIC_ITEM x

to :: Rep BASIC_ITEM x -> BASIC_ITEM

Generic BASIC_SPEC Source # 
Instance details

Associated Types

type Rep BASIC_SPEC :: Type -> Type

Methods

from :: BASIC_SPEC -> Rep BASIC_SPEC x

to :: Rep BASIC_SPEC x -> BASIC_SPEC

Generic Symbol Source # 
Instance details

Associated Types

type Rep Symbol :: Type -> Type

Methods

from :: Symbol -> Rep Symbol x

to :: Rep Symbol x -> Symbol

Generic Sign Source # 
Instance details

Associated Types

type Rep Sign :: Type -> Type

Methods

from :: Sign -> Rep Sign x

to :: Rep Sign x -> Sign

Generic CONTEXT Source # 
Instance details

Associated Types

type Rep CONTEXT :: Type -> Type

Methods

from :: CONTEXT -> Rep CONTEXT x

to :: Rep CONTEXT x -> CONTEXT

Generic KIND Source # 
Instance details

Associated Types

type Rep KIND :: Type -> Type

Methods

from :: KIND -> Rep KIND x

to :: Rep KIND x -> KIND

Generic Morphism Source # 
Instance details

Associated Types

type Rep Morphism :: Type -> Type

Methods

from :: Morphism -> Rep Morphism x

to :: Rep Morphism x -> Morphism

FromJSON SYMB_OR_MAP Source # 
Instance details

Methods

parseJSON :: Value -> Parser SYMB_OR_MAP

parseJSONList :: Value -> Parser [SYMB_OR_MAP]

FromJSON SYMB_MAP_ITEMS Source # 
Instance details

Methods

parseJSON :: Value -> Parser SYMB_MAP_ITEMS

parseJSONList :: Value -> Parser [SYMB_MAP_ITEMS]

FromJSON SYMB_ITEMS Source # 
Instance details

Methods

parseJSON :: Value -> Parser SYMB_ITEMS

parseJSONList :: Value -> Parser [SYMB_ITEMS]

FromJSON FORMULA Source # 
Instance details

Methods

parseJSON :: Value -> Parser FORMULA

parseJSONList :: Value -> Parser [FORMULA]

FromJSON TERM Source # 
Instance details

Methods

parseJSON :: Value -> Parser TERM

parseJSONList :: Value -> Parser [TERM]

FromJSON TYPE Source # 
Instance details

Methods

parseJSON :: Value -> Parser TYPE

parseJSONList :: Value -> Parser [TYPE]

FromJSON BASIC_ITEM Source # 
Instance details

Methods

parseJSON :: Value -> Parser BASIC_ITEM

parseJSONList :: Value -> Parser [BASIC_ITEM]

FromJSON BASIC_SPEC Source # 
Instance details

Methods

parseJSON :: Value -> Parser BASIC_SPEC

parseJSONList :: Value -> Parser [BASIC_SPEC]

FromJSON Symbol Source # 
Instance details

Methods

parseJSON :: Value -> Parser Symbol

parseJSONList :: Value -> Parser [Symbol]

FromJSON Sign Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sign

parseJSONList :: Value -> Parser [Sign]

FromJSON CONTEXT Source # 
Instance details

Methods

parseJSON :: Value -> Parser CONTEXT

parseJSONList :: Value -> Parser [CONTEXT]

FromJSON KIND Source # 
Instance details

Methods

parseJSON :: Value -> Parser KIND

parseJSONList :: Value -> Parser [KIND]

FromJSON Morphism Source # 
Instance details

Methods

parseJSON :: Value -> Parser Morphism

parseJSONList :: Value -> Parser [Morphism]

ToJSON SYMB_OR_MAP Source # 
Instance details

Methods

toJSON :: SYMB_OR_MAP -> Value

toEncoding :: SYMB_OR_MAP -> Encoding

toJSONList :: [SYMB_OR_MAP] -> Value

toEncodingList :: [SYMB_OR_MAP] -> Encoding

ToJSON SYMB_MAP_ITEMS Source # 
Instance details

Methods

toJSON :: SYMB_MAP_ITEMS -> Value

toEncoding :: SYMB_MAP_ITEMS -> Encoding

toJSONList :: [SYMB_MAP_ITEMS] -> Value

toEncodingList :: [SYMB_MAP_ITEMS] -> Encoding

ToJSON SYMB_ITEMS Source # 
Instance details

Methods

toJSON :: SYMB_ITEMS -> Value

toEncoding :: SYMB_ITEMS -> Encoding

toJSONList :: [SYMB_ITEMS] -> Value

toEncodingList :: [SYMB_ITEMS] -> Encoding

ToJSON FORMULA Source # 
Instance details

Methods

toJSON :: FORMULA -> Value

toEncoding :: FORMULA -> Encoding

toJSONList :: [FORMULA] -> Value

toEncodingList :: [FORMULA] -> Encoding

ToJSON TERM Source # 
Instance details

Methods

toJSON :: TERM -> Value

toEncoding :: TERM -> Encoding

toJSONList :: [TERM] -> Value

toEncodingList :: [TERM] -> Encoding

ToJSON TYPE Source # 
Instance details

Methods

toJSON :: TYPE -> Value

toEncoding :: TYPE -> Encoding

toJSONList :: [TYPE] -> Value

toEncodingList :: [TYPE] -> Encoding

ToJSON BASIC_ITEM Source # 
Instance details

Methods

toJSON :: BASIC_ITEM -> Value

toEncoding :: BASIC_ITEM -> Encoding

toJSONList :: [BASIC_ITEM] -> Value

toEncodingList :: [BASIC_ITEM] -> Encoding

ToJSON BASIC_SPEC Source # 
Instance details

Methods

toJSON :: BASIC_SPEC -> Value

toEncoding :: BASIC_SPEC -> Encoding

toJSONList :: [BASIC_SPEC] -> Value

toEncodingList :: [BASIC_SPEC] -> Encoding

ToJSON Symbol Source # 
Instance details

Methods

toJSON :: Symbol -> Value

toEncoding :: Symbol -> Encoding

toJSONList :: [Symbol] -> Value

toEncodingList :: [Symbol] -> Encoding

ToJSON Sign Source # 
Instance details

Methods

toJSON :: Sign -> Value

toEncoding :: Sign -> Encoding

toJSONList :: [Sign] -> Value

toEncodingList :: [Sign] -> Encoding

ToJSON CONTEXT Source # 
Instance details

Methods

toJSON :: CONTEXT -> Value

toEncoding :: CONTEXT -> Encoding

toJSONList :: [CONTEXT] -> Value

toEncodingList :: [CONTEXT] -> Encoding

ToJSON KIND Source # 
Instance details

Methods

toJSON :: KIND -> Value

toEncoding :: KIND -> Encoding

toJSONList :: [KIND] -> Value

toEncodingList :: [KIND] -> Encoding

ToJSON Morphism Source # 
Instance details

Methods

toJSON :: Morphism -> Value

toEncoding :: Morphism -> Encoding

toJSONList :: [Morphism] -> Value

toEncodingList :: [Morphism] -> Encoding

ShATermConvertible SYMB_OR_MAP Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible SYMB_MAP_ITEMS Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible SYMB_ITEMS Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible FORMULA Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible TERM Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible TYPE Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible BASIC_ITEM Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible BASIC_SPEC Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible Symbol Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible Sign Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible CONTEXT Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible KIND Source # 
Instance details

Methods

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

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

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

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

ShATermConvertible Morphism Source # 
Instance details

Methods

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

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

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

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