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

FreeCAD.ATC_FreeCAD

Contents

Description

Automatic derivation of instances via DrIFT-rule ShATermConvertible for the type(s): Vector3 Matrix33 Vector4 Placement BaseObject Object ExtendedObject PlacedObject NamedObject Sign

Orphan instances

ShATermConvertible Sign Source # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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 # 

Methods

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

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

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

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