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

Adl.ATC_Adl

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): Concept RelType Relation UnOp MulOp Rule Prop RangedProp Object KeyAtt KeyDef RuleKind RuleHeader Pair Plugin PatElem Context Sign Symbol SymbolKind RawSymbol Sen

Orphan instances

Generic Context Source #
Instance details Associated Types type Rep Context :: Type -> Type Methods from :: Context -> Rep Context x to :: Rep Context x -> Context
Generic PatElem Source #
Instance details Associated Types type Rep PatElem :: Type -> Type Methods from :: PatElem -> Rep PatElem x to :: Rep PatElem x -> PatElem
Generic Plugin Source #
Instance details Associated Types type Rep Plugin :: Type -> Type Methods from :: Plugin -> Rep Plugin x to :: Rep Plugin x -> Plugin
Generic Pair Source #
Instance details Associated Types type Rep Pair :: Type -> Type Methods from :: Pair -> Rep Pair x to :: Rep Pair x -> Pair
Generic RuleHeader Source #
Instance details Associated Types type Rep RuleHeader :: Type -> Type Methods from :: RuleHeader -> Rep RuleHeader x to :: Rep RuleHeader x -> RuleHeader
Generic RuleKind Source #
Instance details Associated Types type Rep RuleKind :: Type -> Type Methods from :: RuleKind -> Rep RuleKind x to :: Rep RuleKind x -> RuleKind
Generic KeyDef Source #
Instance details Associated Types type Rep KeyDef :: Type -> Type Methods from :: KeyDef -> Rep KeyDef x to :: Rep KeyDef x -> KeyDef
Generic KeyAtt Source #
Instance details Associated Types type Rep KeyAtt :: Type -> Type Methods from :: KeyAtt -> Rep KeyAtt x to :: Rep KeyAtt x -> KeyAtt
Generic Object Source #
Instance details Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
Generic RangedProp Source #
Instance details Associated Types type Rep RangedProp :: Type -> Type Methods from :: RangedProp -> Rep RangedProp x to :: Rep RangedProp x -> RangedProp
Generic Prop Source #
Instance details Associated Types type Rep Prop :: Type -> Type Methods from :: Prop -> Rep Prop x to :: Rep Prop x -> Prop
Generic Rule Source #
Instance details Associated Types type Rep Rule :: Type -> Type Methods from :: Rule -> Rep Rule x to :: Rep Rule x -> Rule
Generic MulOp Source #
Instance details Associated Types type Rep MulOp :: Type -> Type Methods from :: MulOp -> Rep MulOp x to :: Rep MulOp x -> MulOp
Generic UnOp Source #
Instance details Associated Types type Rep UnOp :: Type -> Type Methods from :: UnOp -> Rep UnOp x to :: Rep UnOp x -> UnOp
Generic Relation Source #
Instance details Associated Types type Rep Relation :: Type -> Type Methods from :: Relation -> Rep Relation x to :: Rep Relation x -> Relation
Generic RelType Source #
Instance details Associated Types type Rep RelType :: Type -> Type Methods from :: RelType -> Rep RelType x to :: Rep RelType x -> RelType
Generic Concept Source #
Instance details Associated Types type Rep Concept :: Type -> Type Methods from :: Concept -> Rep Concept x to :: Rep Concept x -> Concept
Generic Sen Source #
Instance details Associated Types type Rep Sen :: Type -> Type Methods from :: Sen -> Rep Sen x to :: Rep Sen x -> Sen
Generic RawSymbol Source #
Instance details Associated Types type Rep RawSymbol :: Type -> Type Methods from :: RawSymbol -> Rep RawSymbol x to :: Rep RawSymbol x -> RawSymbol
Generic SymbolKind Source #
Instance details Associated Types type Rep SymbolKind :: Type -> Type Methods from :: SymbolKind -> Rep SymbolKind x to :: Rep SymbolKind x -> SymbolKind
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
FromJSON Context Source #
Instance details Methods parseJSON :: Value -> Parser Context parseJSONList :: Value -> Parser [Context]
FromJSON PatElem Source #
Instance details Methods parseJSON :: Value -> Parser PatElem parseJSONList :: Value -> Parser [PatElem]
FromJSON Plugin Source #
Instance details Methods parseJSON :: Value -> Parser Plugin parseJSONList :: Value -> Parser [Plugin]
FromJSON Pair Source #
Instance details Methods parseJSON :: Value -> Parser Pair parseJSONList :: Value -> Parser [Pair]
FromJSON RuleHeader Source #
Instance details Methods parseJSON :: Value -> Parser RuleHeader parseJSONList :: Value -> Parser [RuleHeader]
FromJSON RuleKind Source #
Instance details Methods parseJSON :: Value -> Parser RuleKind parseJSONList :: Value -> Parser [RuleKind]
FromJSON KeyDef Source #
Instance details Methods parseJSON :: Value -> Parser KeyDef parseJSONList :: Value -> Parser [KeyDef]
FromJSON KeyAtt Source #
Instance details Methods parseJSON :: Value -> Parser KeyAtt parseJSONList :: Value -> Parser [KeyAtt]
FromJSON Object Source #
Instance details Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
FromJSON RangedProp Source #
Instance details Methods parseJSON :: Value -> Parser RangedProp parseJSONList :: Value -> Parser [RangedProp]
FromJSON Prop Source #
Instance details Methods parseJSON :: Value -> Parser Prop parseJSONList :: Value -> Parser [Prop]
FromJSON Rule Source #
Instance details Methods parseJSON :: Value -> Parser Rule parseJSONList :: Value -> Parser [Rule]
FromJSON MulOp Source #
Instance details Methods parseJSON :: Value -> Parser MulOp parseJSONList :: Value -> Parser [MulOp]
FromJSON UnOp Source #
Instance details Methods parseJSON :: Value -> Parser UnOp parseJSONList :: Value -> Parser [UnOp]
FromJSON Relation Source #
Instance details Methods parseJSON :: Value -> Parser Relation parseJSONList :: Value -> Parser [Relation]
FromJSON RelType Source #
Instance details Methods parseJSON :: Value -> Parser RelType parseJSONList :: Value -> Parser [RelType]
FromJSON Concept Source #
Instance details Methods parseJSON :: Value -> Parser Concept parseJSONList :: Value -> Parser [Concept]
FromJSON Sen Source #
Instance details Methods parseJSON :: Value -> Parser Sen parseJSONList :: Value -> Parser [Sen]
FromJSON RawSymbol Source #
Instance details Methods parseJSON :: Value -> Parser RawSymbol parseJSONList :: Value -> Parser [RawSymbol]
FromJSON SymbolKind Source #
Instance details Methods parseJSON :: Value -> Parser SymbolKind parseJSONList :: Value -> Parser [SymbolKind]
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]
ToJSON Context Source #
Instance details Methods toJSON :: Context -> Value toEncoding :: Context -> Encoding toJSONList :: [Context] -> Value toEncodingList :: [Context] -> Encoding
ToJSON PatElem Source #
Instance details Methods toJSON :: PatElem -> Value toEncoding :: PatElem -> Encoding toJSONList :: [PatElem] -> Value toEncodingList :: [PatElem] -> Encoding
ToJSON Plugin Source #
Instance details Methods toJSON :: Plugin -> Value toEncoding :: Plugin -> Encoding toJSONList :: [Plugin] -> Value toEncodingList :: [Plugin] -> Encoding
ToJSON Pair Source #
Instance details Methods toJSON :: Pair -> Value toEncoding :: Pair -> Encoding toJSONList :: [Pair] -> Value toEncodingList :: [Pair] -> Encoding
ToJSON RuleHeader Source #
Instance details Methods toJSON :: RuleHeader -> Value toEncoding :: RuleHeader -> Encoding toJSONList :: [RuleHeader] -> Value toEncodingList :: [RuleHeader] -> Encoding
ToJSON RuleKind Source #
Instance details Methods toJSON :: RuleKind -> Value toEncoding :: RuleKind -> Encoding toJSONList :: [RuleKind] -> Value toEncodingList :: [RuleKind] -> Encoding
ToJSON KeyDef Source #
Instance details Methods toJSON :: KeyDef -> Value toEncoding :: KeyDef -> Encoding toJSONList :: [KeyDef] -> Value toEncodingList :: [KeyDef] -> Encoding
ToJSON KeyAtt Source #
Instance details Methods toJSON :: KeyAtt -> Value toEncoding :: KeyAtt -> Encoding toJSONList :: [KeyAtt] -> Value toEncodingList :: [KeyAtt] -> Encoding
ToJSON Object Source #
Instance details Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ToJSON RangedProp Source #
Instance details Methods toJSON :: RangedProp -> Value toEncoding :: RangedProp -> Encoding toJSONList :: [RangedProp] -> Value toEncodingList :: [RangedProp] -> Encoding
ToJSON Prop Source #
Instance details Methods toJSON :: Prop -> Value toEncoding :: Prop -> Encoding toJSONList :: [Prop] -> Value toEncodingList :: [Prop] -> Encoding
ToJSON Rule Source #
Instance details Methods toJSON :: Rule -> Value toEncoding :: Rule -> Encoding toJSONList :: [Rule] -> Value toEncodingList :: [Rule] -> Encoding
ToJSON MulOp Source #
Instance details Methods toJSON :: MulOp -> Value toEncoding :: MulOp -> Encoding toJSONList :: [MulOp] -> Value toEncodingList :: [MulOp] -> Encoding
ToJSON UnOp Source #
Instance details Methods toJSON :: UnOp -> Value toEncoding :: UnOp -> Encoding toJSONList :: [UnOp] -> Value toEncodingList :: [UnOp] -> Encoding
ToJSON Relation Source #
Instance details Methods toJSON :: Relation -> Value toEncoding :: Relation -> Encoding toJSONList :: [Relation] -> Value toEncodingList :: [Relation] -> Encoding
ToJSON RelType Source #
Instance details Methods toJSON :: RelType -> Value toEncoding :: RelType -> Encoding toJSONList :: [RelType] -> Value toEncodingList :: [RelType] -> Encoding
ToJSON Concept Source #
Instance details Methods toJSON :: Concept -> Value toEncoding :: Concept -> Encoding toJSONList :: [Concept] -> Value toEncodingList :: [Concept] -> Encoding
ToJSON Sen Source #
Instance details Methods toJSON :: Sen -> Value toEncoding :: Sen -> Encoding toJSONList :: [Sen] -> Value toEncodingList :: [Sen] -> Encoding
ToJSON RawSymbol Source #
Instance details Methods toJSON :: RawSymbol -> Value toEncoding :: RawSymbol -> Encoding toJSONList :: [RawSymbol] -> Value toEncodingList :: [RawSymbol] -> Encoding
ToJSON SymbolKind Source #
Instance details Methods toJSON :: SymbolKind -> Value toEncoding :: SymbolKind -> Encoding toJSONList :: [SymbolKind] -> Value toEncodingList :: [SymbolKind] -> 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
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 PatElem Source #
Instance details Methods toShATermAux :: ATermTable -> PatElem -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PatElem] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PatElem) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PatElem])
ShATermConvertible Plugin Source #
Instance details Methods toShATermAux :: ATermTable -> Plugin -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Plugin] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Plugin) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Plugin])
ShATermConvertible Pair Source #
Instance details Methods toShATermAux :: ATermTable -> Pair -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Pair] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Pair) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Pair])
ShATermConvertible RuleHeader Source #
Instance details Methods toShATermAux :: ATermTable -> RuleHeader -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RuleHeader] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleHeader) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleHeader])
ShATermConvertible RuleKind Source #
Instance details Methods toShATermAux :: ATermTable -> RuleKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RuleKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RuleKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RuleKind])
ShATermConvertible KeyDef Source #
Instance details Methods toShATermAux :: ATermTable -> KeyDef -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [KeyDef] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, KeyDef) fromShATermList' :: Int -> ATermTable -> (ATermTable, [KeyDef])
ShATermConvertible KeyAtt Source #
Instance details Methods toShATermAux :: ATermTable -> KeyAtt -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [KeyAtt] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, KeyAtt) fromShATermList' :: Int -> ATermTable -> (ATermTable, [KeyAtt])
ShATermConvertible Object Source #
Instance details Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
ShATermConvertible RangedProp Source #
Instance details Methods toShATermAux :: ATermTable -> RangedProp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RangedProp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RangedProp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RangedProp])
ShATermConvertible Prop Source #
Instance details Methods toShATermAux :: ATermTable -> Prop -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Prop] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Prop) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Prop])
ShATermConvertible Rule Source #
Instance details Methods toShATermAux :: ATermTable -> Rule -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Rule] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Rule) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Rule])
ShATermConvertible MulOp Source #
Instance details Methods toShATermAux :: ATermTable -> MulOp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MulOp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MulOp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MulOp])
ShATermConvertible UnOp Source #
Instance details Methods toShATermAux :: ATermTable -> UnOp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [UnOp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, UnOp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [UnOp])
ShATermConvertible Relation Source #
Instance details Methods toShATermAux :: ATermTable -> Relation -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Relation] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Relation) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Relation])
ShATermConvertible RelType Source #
Instance details Methods toShATermAux :: ATermTable -> RelType -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RelType] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RelType) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RelType])
ShATermConvertible Concept Source #
Instance details Methods toShATermAux :: ATermTable -> Concept -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Concept] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Concept) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Concept])
ShATermConvertible Sen Source #
Instance details Methods toShATermAux :: ATermTable -> Sen -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sen] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sen) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sen])
ShATermConvertible RawSymbol Source #
Instance details Methods toShATermAux :: ATermTable -> RawSymbol -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [RawSymbol] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, RawSymbol) fromShATermList' :: Int -> ATermTable -> (ATermTable, [RawSymbol])
ShATermConvertible SymbolKind Source #
Instance details Methods toShATermAux :: ATermTable -> SymbolKind -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [SymbolKind] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, SymbolKind) fromShATermList' :: Int -> ATermTable -> (ATermTable, [SymbolKind])
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])