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

NeSyPatterns.ATC_NeSyPatterns

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Node BASIC_SPEC BASIC_ITEM SYMB SYMB_ITEMS SYMB_MAP_ITEMS SYMB_OR_MAP Symbol ResolvedNode Sign Morphism

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 SYMB Source # 
Instance details

Associated Types

type Rep SYMB :: Type -> Type

Methods

from :: SYMB -> Rep SYMB x

to :: Rep SYMB x -> SYMB

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 Node Source # 
Instance details

Associated Types

type Rep Node :: Type -> Type

Methods

from :: Node -> Rep Node x

to :: Rep Node x -> Node

Generic Sign Source # 
Instance details

Associated Types

type Rep Sign :: Type -> Type

Methods

from :: Sign -> Rep Sign x

to :: Rep Sign x -> Sign

Generic ResolvedNode Source # 
Instance details

Associated Types

type Rep ResolvedNode :: Type -> Type

Generic Morphism Source # 
Instance details

Associated Types

type Rep Morphism :: Type -> Type

Methods

from :: Morphism -> Rep Morphism x

to :: Rep Morphism x -> Morphism

Generic Symbol Source # 
Instance details

Associated Types

type Rep Symbol :: Type -> Type

Methods

from :: Symbol -> Rep Symbol x

to :: Rep Symbol x -> Symbol

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 SYMB Source # 
Instance details

Methods

parseJSON :: Value -> Parser SYMB

parseJSONList :: Value -> Parser [SYMB]

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 Node Source # 
Instance details

Methods

parseJSON :: Value -> Parser Node

parseJSONList :: Value -> Parser [Node]

FromJSON Sign Source # 
Instance details

Methods

parseJSON :: Value -> Parser Sign

parseJSONList :: Value -> Parser [Sign]

FromJSON ResolvedNode Source # 
Instance details

Methods

parseJSON :: Value -> Parser ResolvedNode

parseJSONList :: Value -> Parser [ResolvedNode]

FromJSON Morphism Source # 
Instance details

Methods

parseJSON :: Value -> Parser Morphism

parseJSONList :: Value -> Parser [Morphism]

FromJSON Symbol Source # 
Instance details

Methods

parseJSON :: Value -> Parser Symbol

parseJSONList :: Value -> Parser [Symbol]

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 SYMB Source # 
Instance details

Methods

toJSON :: SYMB -> Value

toEncoding :: SYMB -> Encoding

toJSONList :: [SYMB] -> Value

toEncodingList :: [SYMB] -> 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 Node Source # 
Instance details

Methods

toJSON :: Node -> Value

toEncoding :: Node -> Encoding

toJSONList :: [Node] -> Value

toEncodingList :: [Node] -> Encoding

ToJSON Sign Source # 
Instance details

Methods

toJSON :: Sign -> Value

toEncoding :: Sign -> Encoding

toJSONList :: [Sign] -> Value

toEncodingList :: [Sign] -> Encoding

ToJSON ResolvedNode Source # 
Instance details

Methods

toJSON :: ResolvedNode -> Value

toEncoding :: ResolvedNode -> Encoding

toJSONList :: [ResolvedNode] -> Value

toEncodingList :: [ResolvedNode] -> Encoding

ToJSON Morphism Source # 
Instance details

Methods

toJSON :: Morphism -> Value

toEncoding :: Morphism -> Encoding

toJSONList :: [Morphism] -> Value

toEncodingList :: [Morphism] -> Encoding

ToJSON Symbol Source # 
Instance details

Methods

toJSON :: Symbol -> Value

toEncoding :: Symbol -> Encoding

toJSONList :: [Symbol] -> Value

toEncodingList :: [Symbol] -> 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 SYMB Source # 
Instance details

Methods

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

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

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

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

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 Node Source # 
Instance details

Methods

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

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

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

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

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 ResolvedNode Source # 
Instance details

Methods

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

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

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

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

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])

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])