Copyright	(c) DFKI GmbH 2012
License	GPLv2 or higher, see LICENSE.txt
Maintainer	Christian.Maeder@dfki.de
Stability	provisional
Portability	non-portable(derive Typeable instances)
Safe Haskell	None

NeSyPatterns.ATC_NeSyPatterns

Contents

Orphan instances

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 Methods from :: SYMB_MAP_ITEMS -> Rep SYMB_MAP_ITEMS x to :: Rep SYMB_MAP_ITEMS x -> SYMB_MAP_ITEMS
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 Methods from :: ResolvedNode -> Rep ResolvedNode x to :: Rep ResolvedNode x -> ResolvedNode
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])