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

ExtModal.ATC_ExtModal

Contents

Orphan instances

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json for the type(s): FrameForm ModDefn EM_BASIC_ITEM ModOp MODALITY EM_SIG_ITEM BoxOp FormPrefix EM_FORMULA EModalSign MorphExtension Frequency Sublogic

Orphan instances

Generic EM_FORMULA Source #
Instance details Associated Types type Rep EM_FORMULA :: Type -> Type Methods from :: EM_FORMULA -> Rep EM_FORMULA x to :: Rep EM_FORMULA x -> EM_FORMULA
Generic FormPrefix Source #
Instance details Associated Types type Rep FormPrefix :: Type -> Type Methods from :: FormPrefix -> Rep FormPrefix x to :: Rep FormPrefix x -> FormPrefix
Generic BoxOp Source #
Instance details Associated Types type Rep BoxOp :: Type -> Type Methods from :: BoxOp -> Rep BoxOp x to :: Rep BoxOp x -> BoxOp
Generic EM_SIG_ITEM Source #
Instance details Associated Types type Rep EM_SIG_ITEM :: Type -> Type Methods from :: EM_SIG_ITEM -> Rep EM_SIG_ITEM x to :: Rep EM_SIG_ITEM x -> EM_SIG_ITEM
Generic MODALITY Source #
Instance details Associated Types type Rep MODALITY :: Type -> Type Methods from :: MODALITY -> Rep MODALITY x to :: Rep MODALITY x -> MODALITY
Generic ModOp Source #
Instance details Associated Types type Rep ModOp :: Type -> Type Methods from :: ModOp -> Rep ModOp x to :: Rep ModOp x -> ModOp
Generic EM_BASIC_ITEM Source #
Instance details Associated Types type Rep EM_BASIC_ITEM :: Type -> Type Methods from :: EM_BASIC_ITEM -> Rep EM_BASIC_ITEM x to :: Rep EM_BASIC_ITEM x -> EM_BASIC_ITEM
Generic ModDefn Source #
Instance details Associated Types type Rep ModDefn :: Type -> Type Methods from :: ModDefn -> Rep ModDefn x to :: Rep ModDefn x -> ModDefn
Generic FrameForm Source #
Instance details Associated Types type Rep FrameForm :: Type -> Type Methods from :: FrameForm -> Rep FrameForm x to :: Rep FrameForm x -> FrameForm
Generic EModalSign Source #
Instance details Associated Types type Rep EModalSign :: Type -> Type Methods from :: EModalSign -> Rep EModalSign x to :: Rep EModalSign x -> EModalSign
Generic MorphExtension Source #
Instance details Associated Types type Rep MorphExtension :: Type -> Type Methods from :: MorphExtension -> Rep MorphExtension x to :: Rep MorphExtension x -> MorphExtension
Generic Sublogic Source #
Instance details Associated Types type Rep Sublogic :: Type -> Type Methods from :: Sublogic -> Rep Sublogic x to :: Rep Sublogic x -> Sublogic
Generic Frequency Source #
Instance details Associated Types type Rep Frequency :: Type -> Type Methods from :: Frequency -> Rep Frequency x to :: Rep Frequency x -> Frequency
FromJSON EM_FORMULA Source #
Instance details Methods parseJSON :: Value -> Parser EM_FORMULA parseJSONList :: Value -> Parser [EM_FORMULA]
FromJSON FormPrefix Source #
Instance details Methods parseJSON :: Value -> Parser FormPrefix parseJSONList :: Value -> Parser [FormPrefix]
FromJSON BoxOp Source #
Instance details Methods parseJSON :: Value -> Parser BoxOp parseJSONList :: Value -> Parser [BoxOp]
FromJSON EM_SIG_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser EM_SIG_ITEM parseJSONList :: Value -> Parser [EM_SIG_ITEM]
FromJSON MODALITY Source #
Instance details Methods parseJSON :: Value -> Parser MODALITY parseJSONList :: Value -> Parser [MODALITY]
FromJSON ModOp Source #
Instance details Methods parseJSON :: Value -> Parser ModOp parseJSONList :: Value -> Parser [ModOp]
FromJSON EM_BASIC_ITEM Source #
Instance details Methods parseJSON :: Value -> Parser EM_BASIC_ITEM parseJSONList :: Value -> Parser [EM_BASIC_ITEM]
FromJSON ModDefn Source #
Instance details Methods parseJSON :: Value -> Parser ModDefn parseJSONList :: Value -> Parser [ModDefn]
FromJSON FrameForm Source #
Instance details Methods parseJSON :: Value -> Parser FrameForm parseJSONList :: Value -> Parser [FrameForm]
FromJSON EModalSign Source #
Instance details Methods parseJSON :: Value -> Parser EModalSign parseJSONList :: Value -> Parser [EModalSign]
FromJSON MorphExtension Source #
Instance details Methods parseJSON :: Value -> Parser MorphExtension parseJSONList :: Value -> Parser [MorphExtension]
FromJSON Sublogic Source #
Instance details Methods parseJSON :: Value -> Parser Sublogic parseJSONList :: Value -> Parser [Sublogic]
FromJSON Frequency Source #
Instance details Methods parseJSON :: Value -> Parser Frequency parseJSONList :: Value -> Parser [Frequency]
ToJSON EM_FORMULA Source #
Instance details Methods toJSON :: EM_FORMULA -> Value toEncoding :: EM_FORMULA -> Encoding toJSONList :: [EM_FORMULA] -> Value toEncodingList :: [EM_FORMULA] -> Encoding
ToJSON FormPrefix Source #
Instance details Methods toJSON :: FormPrefix -> Value toEncoding :: FormPrefix -> Encoding toJSONList :: [FormPrefix] -> Value toEncodingList :: [FormPrefix] -> Encoding
ToJSON BoxOp Source #
Instance details Methods toJSON :: BoxOp -> Value toEncoding :: BoxOp -> Encoding toJSONList :: [BoxOp] -> Value toEncodingList :: [BoxOp] -> Encoding
ToJSON EM_SIG_ITEM Source #
Instance details Methods toJSON :: EM_SIG_ITEM -> Value toEncoding :: EM_SIG_ITEM -> Encoding toJSONList :: [EM_SIG_ITEM] -> Value toEncodingList :: [EM_SIG_ITEM] -> Encoding
ToJSON MODALITY Source #
Instance details Methods toJSON :: MODALITY -> Value toEncoding :: MODALITY -> Encoding toJSONList :: [MODALITY] -> Value toEncodingList :: [MODALITY] -> Encoding
ToJSON ModOp Source #
Instance details Methods toJSON :: ModOp -> Value toEncoding :: ModOp -> Encoding toJSONList :: [ModOp] -> Value toEncodingList :: [ModOp] -> Encoding
ToJSON EM_BASIC_ITEM Source #
Instance details Methods toJSON :: EM_BASIC_ITEM -> Value toEncoding :: EM_BASIC_ITEM -> Encoding toJSONList :: [EM_BASIC_ITEM] -> Value toEncodingList :: [EM_BASIC_ITEM] -> Encoding
ToJSON ModDefn Source #
Instance details Methods toJSON :: ModDefn -> Value toEncoding :: ModDefn -> Encoding toJSONList :: [ModDefn] -> Value toEncodingList :: [ModDefn] -> Encoding
ToJSON FrameForm Source #
Instance details Methods toJSON :: FrameForm -> Value toEncoding :: FrameForm -> Encoding toJSONList :: [FrameForm] -> Value toEncodingList :: [FrameForm] -> Encoding
ToJSON EModalSign Source #
Instance details Methods toJSON :: EModalSign -> Value toEncoding :: EModalSign -> Encoding toJSONList :: [EModalSign] -> Value toEncodingList :: [EModalSign] -> Encoding
ToJSON MorphExtension Source #
Instance details Methods toJSON :: MorphExtension -> Value toEncoding :: MorphExtension -> Encoding toJSONList :: [MorphExtension] -> Value toEncodingList :: [MorphExtension] -> Encoding
ToJSON Sublogic Source #
Instance details Methods toJSON :: Sublogic -> Value toEncoding :: Sublogic -> Encoding toJSONList :: [Sublogic] -> Value toEncodingList :: [Sublogic] -> Encoding
ToJSON Frequency Source #
Instance details Methods toJSON :: Frequency -> Value toEncoding :: Frequency -> Encoding toJSONList :: [Frequency] -> Value toEncodingList :: [Frequency] -> Encoding
ShATermConvertible EM_FORMULA Source #
Instance details Methods toShATermAux :: ATermTable -> EM_FORMULA -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EM_FORMULA] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EM_FORMULA) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EM_FORMULA])
ShATermConvertible FormPrefix Source #
Instance details Methods toShATermAux :: ATermTable -> FormPrefix -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FormPrefix] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FormPrefix) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FormPrefix])
ShATermConvertible BoxOp Source #
Instance details Methods toShATermAux :: ATermTable -> BoxOp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BoxOp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BoxOp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BoxOp])
ShATermConvertible EM_SIG_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> EM_SIG_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EM_SIG_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EM_SIG_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EM_SIG_ITEM])
ShATermConvertible MODALITY Source #
Instance details Methods toShATermAux :: ATermTable -> MODALITY -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MODALITY] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MODALITY) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MODALITY])
ShATermConvertible ModOp Source #
Instance details Methods toShATermAux :: ATermTable -> ModOp -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModOp] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModOp) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModOp])
ShATermConvertible EM_BASIC_ITEM Source #
Instance details Methods toShATermAux :: ATermTable -> EM_BASIC_ITEM -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EM_BASIC_ITEM] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EM_BASIC_ITEM) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EM_BASIC_ITEM])
ShATermConvertible ModDefn Source #
Instance details Methods toShATermAux :: ATermTable -> ModDefn -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ModDefn] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ModDefn) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ModDefn])
ShATermConvertible FrameForm Source #
Instance details Methods toShATermAux :: ATermTable -> FrameForm -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [FrameForm] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, FrameForm) fromShATermList' :: Int -> ATermTable -> (ATermTable, [FrameForm])
ShATermConvertible EModalSign Source #
Instance details Methods toShATermAux :: ATermTable -> EModalSign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [EModalSign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, EModalSign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [EModalSign])
ShATermConvertible MorphExtension Source #
Instance details Methods toShATermAux :: ATermTable -> MorphExtension -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [MorphExtension] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, MorphExtension) fromShATermList' :: Int -> ATermTable -> (ATermTable, [MorphExtension])
ShATermConvertible Sublogic Source #
Instance details Methods toShATermAux :: ATermTable -> Sublogic -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sublogic] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sublogic) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sublogic])
ShATermConvertible Frequency Source #
Instance details Methods toShATermAux :: ATermTable -> Frequency -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Frequency] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Frequency) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Frequency])