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 |
Automatic derivation of instances via DrIFT-rule ShATermConvertible, Json
for the type(s):
Vector3
Matrix33
Vector4
Placement
BaseObject
Object
ExtendedObject
PlacedObject
NamedObject
Sign
Orphan instances
Generic Sign Source # | |
Generic NamedObject Source # | |
type Rep NamedObject :: Type -> Type from :: NamedObject -> Rep NamedObject x to :: Rep NamedObject x -> NamedObject | |
Generic PlacedObject Source # | |
type Rep PlacedObject :: Type -> Type from :: PlacedObject -> Rep PlacedObject x to :: Rep PlacedObject x -> PlacedObject | |
Generic ExtendedObject Source # | |
type Rep ExtendedObject :: Type -> Type from :: ExtendedObject -> Rep ExtendedObject x to :: Rep ExtendedObject x -> ExtendedObject | |
Generic Object Source # | |
Generic BaseObject Source # | |
type Rep BaseObject :: Type -> Type from :: BaseObject -> Rep BaseObject x to :: Rep BaseObject x -> BaseObject | |
Generic Placement Source # | |
Generic Vector4 Source # | |
Generic Matrix33 Source # | |
Generic Vector3 Source # | |
FromJSON Sign Source # | |
parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign] | |
FromJSON NamedObject Source # | |
parseJSON :: Value -> Parser NamedObject parseJSONList :: Value -> Parser [NamedObject] | |
FromJSON PlacedObject Source # | |
parseJSON :: Value -> Parser PlacedObject parseJSONList :: Value -> Parser [PlacedObject] | |
FromJSON ExtendedObject Source # | |
parseJSON :: Value -> Parser ExtendedObject parseJSONList :: Value -> Parser [ExtendedObject] | |
FromJSON Object Source # | |
parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object] | |
FromJSON BaseObject Source # | |
parseJSON :: Value -> Parser BaseObject parseJSONList :: Value -> Parser [BaseObject] | |
FromJSON Placement Source # | |
parseJSON :: Value -> Parser Placement parseJSONList :: Value -> Parser [Placement] | |
FromJSON Vector4 Source # | |
parseJSON :: Value -> Parser Vector4 parseJSONList :: Value -> Parser [Vector4] | |
FromJSON Matrix33 Source # | |
parseJSON :: Value -> Parser Matrix33 parseJSONList :: Value -> Parser [Matrix33] | |
FromJSON Vector3 Source # | |
parseJSON :: Value -> Parser Vector3 parseJSONList :: Value -> Parser [Vector3] | |
ToJSON Sign Source # | |
ToJSON NamedObject Source # | |
toJSON :: NamedObject -> Value toEncoding :: NamedObject -> Encoding toJSONList :: [NamedObject] -> Value toEncodingList :: [NamedObject] -> Encoding | |
ToJSON PlacedObject Source # | |
toJSON :: PlacedObject -> Value toEncoding :: PlacedObject -> Encoding toJSONList :: [PlacedObject] -> Value toEncodingList :: [PlacedObject] -> Encoding | |
ToJSON ExtendedObject Source # | |
toJSON :: ExtendedObject -> Value toEncoding :: ExtendedObject -> Encoding toJSONList :: [ExtendedObject] -> Value toEncodingList :: [ExtendedObject] -> Encoding | |
ToJSON Object Source # | |
toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding | |
ToJSON BaseObject Source # | |
toJSON :: BaseObject -> Value toEncoding :: BaseObject -> Encoding toJSONList :: [BaseObject] -> Value toEncodingList :: [BaseObject] -> Encoding | |
ToJSON Placement Source # | |
toEncoding :: Placement -> Encoding toJSONList :: [Placement] -> Value toEncodingList :: [Placement] -> Encoding | |
ToJSON Vector4 Source # | |
toEncoding :: Vector4 -> Encoding toJSONList :: [Vector4] -> Value toEncodingList :: [Vector4] -> Encoding | |
ToJSON Matrix33 Source # | |
toEncoding :: Matrix33 -> Encoding toJSONList :: [Matrix33] -> Value toEncodingList :: [Matrix33] -> Encoding | |
ToJSON Vector3 Source # | |
toEncoding :: Vector3 -> Encoding toJSONList :: [Vector3] -> Value toEncodingList :: [Vector3] -> Encoding | |
ShATermConvertible Sign Source # | |
toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign]) | |
ShATermConvertible NamedObject Source # | |
toShATermAux :: ATermTable -> NamedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NamedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NamedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NamedObject]) | |
ShATermConvertible PlacedObject Source # | |
toShATermAux :: ATermTable -> PlacedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PlacedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PlacedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PlacedObject]) | |
ShATermConvertible ExtendedObject Source # | |
toShATermAux :: ATermTable -> ExtendedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ExtendedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ExtendedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExtendedObject]) | |
ShATermConvertible Object Source # | |
toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object]) | |
ShATermConvertible BaseObject Source # | |
toShATermAux :: ATermTable -> BaseObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BaseObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BaseObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BaseObject]) | |
ShATermConvertible Placement Source # | |
toShATermAux :: ATermTable -> Placement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Placement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Placement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Placement]) | |
ShATermConvertible Vector4 Source # | |
toShATermAux :: ATermTable -> Vector4 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Vector4] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Vector4) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vector4]) | |
ShATermConvertible Matrix33 Source # | |
toShATermAux :: ATermTable -> Matrix33 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Matrix33] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Matrix33) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Matrix33]) | |
ShATermConvertible Vector3 Source # | |
toShATermAux :: ATermTable -> Vector3 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Vector3] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Vector3) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vector3]) |