Copyright | (c) Robert Savu and Uni Bremen 2011 |
---|---|
License | GPLv2 or higher, see LICENSE.txt |
Maintainer | Robert.Savu@dfki.de |
Stability | experimental |
Portability | portable |
Safe Haskell | Safe |
FreeCAD.As
Description
Declaration of the abstract datatypes of FreeCAD terms
Synopsis
- data Vector3 = Vector3 {}
- data Matrix33 = Matrix33 {}
- data Vector4 = Vector4 {}
- data Placement = Placement {}
- data BaseObject
- data Object
- data ExtendedObject
- = Placed PlacedObject
- | Ref String
- data PlacedObject = PlacedObject {}
- data NamedObject
- = NamedObject {
- name :: String
- object :: PlacedObject
- | EmptyObject
- = NamedObject {
- type Document = [NamedObject]
- data Sign = Sign {
- objects :: Set NamedObject
Documentation
Instances
Eq Vector3 Source # | |
Data Vector3 Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vector3 -> c Vector3 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Vector3 dataTypeOf :: Vector3 -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Vector3) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Vector3) gmapT :: (forall b. Data b => b -> b) -> Vector3 -> Vector3 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vector3 -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vector3 -> r gmapQ :: (forall d. Data d => d -> u) -> Vector3 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Vector3 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vector3 -> m Vector3 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector3 -> m Vector3 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector3 -> m Vector3 | |
Ord Vector3 Source # | |
Show Vector3 Source # | |
Constructors
Matrix33 | |
Instances
Eq Matrix33 Source # | |
Data Matrix33 Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Matrix33 -> c Matrix33 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Matrix33 toConstr :: Matrix33 -> Constr dataTypeOf :: Matrix33 -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Matrix33) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Matrix33) gmapT :: (forall b. Data b => b -> b) -> Matrix33 -> Matrix33 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Matrix33 -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Matrix33 -> r gmapQ :: (forall d. Data d => d -> u) -> Matrix33 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Matrix33 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Matrix33 -> m Matrix33 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Matrix33 -> m Matrix33 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Matrix33 -> m Matrix33 | |
Ord Matrix33 Source # | |
Show Matrix33 Source # | |
Instances
Eq Vector4 Source # | |
Data Vector4 Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Vector4 -> c Vector4 gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Vector4 dataTypeOf :: Vector4 -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Vector4) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Vector4) gmapT :: (forall b. Data b => b -> b) -> Vector4 -> Vector4 gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Vector4 -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Vector4 -> r gmapQ :: (forall d. Data d => d -> u) -> Vector4 -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Vector4 -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Vector4 -> m Vector4 gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector4 -> m Vector4 gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Vector4 -> m Vector4 | |
Ord Vector4 Source # | |
Show Vector4 Source # | |
Constructors
Placement | |
Fields
|
Instances
Eq Placement Source # | |
Data Placement Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Placement -> c Placement gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Placement toConstr :: Placement -> Constr dataTypeOf :: Placement -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Placement) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Placement) gmapT :: (forall b. Data b => b -> b) -> Placement -> Placement gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Placement -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Placement -> r gmapQ :: (forall d. Data d => d -> u) -> Placement -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Placement -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Placement -> m Placement gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Placement -> m Placement gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Placement -> m Placement | |
Ord Placement Source # | |
Show Placement Source # | |
data BaseObject Source #
Constructors
Box Double Double Double | |
Cylinder Double Double Double | |
Sphere Double Double Double Double | |
Cone Double Double Double Double | |
Torus Double Double Double Double Double | |
Line Double | |
Circle Double Double Double | |
Rectangle Double Double |
Instances
Eq BaseObject Source # | |
Data BaseObject Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BaseObject -> c BaseObject gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BaseObject toConstr :: BaseObject -> Constr dataTypeOf :: BaseObject -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c BaseObject) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BaseObject) gmapT :: (forall b. Data b => b -> b) -> BaseObject -> BaseObject gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BaseObject -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BaseObject -> r gmapQ :: (forall d. Data d => d -> u) -> BaseObject -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> BaseObject -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> BaseObject -> m BaseObject gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseObject -> m BaseObject gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BaseObject -> m BaseObject | |
Ord BaseObject Source # | |
Methods compare :: BaseObject -> BaseObject -> Ordering (<) :: BaseObject -> BaseObject -> Bool (<=) :: BaseObject -> BaseObject -> Bool (>) :: BaseObject -> BaseObject -> Bool (>=) :: BaseObject -> BaseObject -> Bool max :: BaseObject -> BaseObject -> BaseObject min :: BaseObject -> BaseObject -> BaseObject | |
Show BaseObject Source # | |
Methods showsPrec :: Int -> BaseObject -> ShowS show :: BaseObject -> String showList :: [BaseObject] -> ShowS |
Constructors
Instances
Eq Object Source # | |
Data Object Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Object -> c Object gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Object dataTypeOf :: Object -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c Object) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Object) gmapT :: (forall b. Data b => b -> b) -> Object -> Object gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Object -> r gmapQ :: (forall d. Data d => d -> u) -> Object -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Object -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Object -> m Object | |
Ord Object Source # | |
Show Object Source # | |
data ExtendedObject Source #
Constructors
Placed PlacedObject | |
Ref String |
Instances
Eq ExtendedObject Source # | |
Methods (==) :: ExtendedObject -> ExtendedObject -> Bool (/=) :: ExtendedObject -> ExtendedObject -> Bool | |
Data ExtendedObject Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ExtendedObject -> c ExtendedObject gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ExtendedObject toConstr :: ExtendedObject -> Constr dataTypeOf :: ExtendedObject -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c ExtendedObject) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ExtendedObject) gmapT :: (forall b. Data b => b -> b) -> ExtendedObject -> ExtendedObject gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ExtendedObject -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ExtendedObject -> r gmapQ :: (forall d. Data d => d -> u) -> ExtendedObject -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> ExtendedObject -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> ExtendedObject -> m ExtendedObject gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtendedObject -> m ExtendedObject gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ExtendedObject -> m ExtendedObject | |
Ord ExtendedObject Source # | |
Methods compare :: ExtendedObject -> ExtendedObject -> Ordering (<) :: ExtendedObject -> ExtendedObject -> Bool (<=) :: ExtendedObject -> ExtendedObject -> Bool (>) :: ExtendedObject -> ExtendedObject -> Bool (>=) :: ExtendedObject -> ExtendedObject -> Bool max :: ExtendedObject -> ExtendedObject -> ExtendedObject min :: ExtendedObject -> ExtendedObject -> ExtendedObject | |
Show ExtendedObject Source # | |
Methods showsPrec :: Int -> ExtendedObject -> ShowS show :: ExtendedObject -> String showList :: [ExtendedObject] -> ShowS |
data PlacedObject Source #
Constructors
PlacedObject | |
Instances
Eq PlacedObject Source # | |
Data PlacedObject Source # | |
Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PlacedObject -> c PlacedObject gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PlacedObject toConstr :: PlacedObject -> Constr dataTypeOf :: PlacedObject -> DataType dataCast1 :: Typeable (* -> *) t => (forall d. Data d => c (t d)) -> Maybe (c PlacedObject) dataCast2 :: Typeable (* -> * -> *) t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PlacedObject) gmapT :: (forall b. Data b => b -> b) -> PlacedObject -> PlacedObject gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PlacedObject -> r gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PlacedObject -> r gmapQ :: (forall d. Data d => d -> u) -> PlacedObject -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> PlacedObject -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> PlacedObject -> m PlacedObject gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PlacedObject -> m PlacedObject gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PlacedObject -> m PlacedObject | |
Ord PlacedObject Source # | |
Methods compare :: PlacedObject -> PlacedObject -> Ordering (<) :: PlacedObject -> PlacedObject -> Bool (<=) :: PlacedObject -> PlacedObject -> Bool (>) :: PlacedObject -> PlacedObject -> Bool (>=) :: PlacedObject -> PlacedObject -> Bool max :: PlacedObject -> PlacedObject -> PlacedObject min :: PlacedObject -> PlacedObject -> PlacedObject | |
Show PlacedObject Source # | |
Methods showsPrec :: Int -> PlacedObject -> ShowS show :: PlacedObject -> String showList :: [PlacedObject] -> ShowS |
data NamedObject Source #
Constructors
NamedObject | |
Fields
| |
EmptyObject |
Instances
type Document = [NamedObject] Source #
Datatype for FreeCAD Signatures Signatures are just sets of named objects
Constructors
Sign | |
Fields
|
Instances