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 {
- x :: Double
- y :: Double
- z :: Double
}
data Matrix33 = Matrix33 {
- a11 :: Double
- a12 :: Double
- a13 :: Double
- a21 :: Double
- a22 :: Double
- a23 :: Double
- a31 :: Double
- a32 :: Double
- a33 :: Double
}
data Vector4 = Vector4 {
- q0 :: Double
- q1 :: Double
- q2 :: Double
- q3 :: Double
}
data Placement = Placement {
- position :: Vector3
- orientation :: Vector4
}
data BaseObject
- = 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
data Object
data ExtendedObject
- = Placed PlacedObject
- | Ref String
data PlacedObject = PlacedObject {
- p :: Placement
- o :: Object
}
data NamedObject
- = NamedObject {
  - name :: String
  - object :: PlacedObject
  }
- | EmptyObject
type Document = [NamedObject]
data Sign = Sign {
- objects :: Set NamedObject
}

Documentation

data Vector3 Source #

Constructors

Vector3
Fields x :: Double y :: Double z :: Double

Instances

Instances details

Eq Vector3 Source #
Instance details Defined in FreeCAD.As Methods (==) :: Vector3 -> Vector3 -> Bool (/=) :: Vector3 -> Vector3 -> Bool
Data Vector3 Source #
Instance details Defined in FreeCAD.As 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 toConstr :: Vector3 -> Constr 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As Methods compare :: Vector3 -> Vector3 -> Ordering (<) :: Vector3 -> Vector3 -> Bool (<=) :: Vector3 -> Vector3 -> Bool (>) :: Vector3 -> Vector3 -> Bool (>=) :: Vector3 -> Vector3 -> Bool max :: Vector3 -> Vector3 -> Vector3 min :: Vector3 -> Vector3 -> Vector3
Show Vector3 Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Vector3 -> ShowS show :: Vector3 -> String showList :: [Vector3] -> ShowS
Generic Vector3
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Vector3 :: Type -> Type Methods from :: Vector3 -> Rep Vector3 x to :: Rep Vector3 x -> Vector3
FromJSON Vector3
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Vector3 parseJSONList :: Value -> Parser [Vector3]
ToJSON Vector3
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Vector3 -> Value toEncoding :: Vector3 -> Encoding toJSONList :: [Vector3] -> Value toEncodingList :: [Vector3] -> Encoding
ShATermConvertible Vector3
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Vector3 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Vector3] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Vector3) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vector3])
Pretty Vector3 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Vector3 -> Doc Source # pretties :: [Vector3] -> Doc Source #
type Rep Vector3
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Vector3 = D1 ('MetaData "Vector3" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Vector3" 'PrefixI 'True) (S1 ('MetaSel ('Just "x") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Just "y") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "z") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))

data Matrix33 Source #

Constructors

Matrix33
Fields a11 :: Double a12 :: Double a13 :: Double a21 :: Double a22 :: Double a23 :: Double a31 :: Double a32 :: Double a33 :: Double

Instances

Instances details

Eq Matrix33 Source #
Instance details Defined in FreeCAD.As Methods (==) :: Matrix33 -> Matrix33 -> Bool (/=) :: Matrix33 -> Matrix33 -> Bool
Data Matrix33 Source #
Instance details Defined in FreeCAD.As 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As Methods compare :: Matrix33 -> Matrix33 -> Ordering (<) :: Matrix33 -> Matrix33 -> Bool (<=) :: Matrix33 -> Matrix33 -> Bool (>) :: Matrix33 -> Matrix33 -> Bool (>=) :: Matrix33 -> Matrix33 -> Bool max :: Matrix33 -> Matrix33 -> Matrix33 min :: Matrix33 -> Matrix33 -> Matrix33
Show Matrix33 Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Matrix33 -> ShowS show :: Matrix33 -> String showList :: [Matrix33] -> ShowS
Generic Matrix33
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Matrix33 :: Type -> Type Methods from :: Matrix33 -> Rep Matrix33 x to :: Rep Matrix33 x -> Matrix33
FromJSON Matrix33
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Matrix33 parseJSONList :: Value -> Parser [Matrix33]
ToJSON Matrix33
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Matrix33 -> Value toEncoding :: Matrix33 -> Encoding toJSONList :: [Matrix33] -> Value toEncodingList :: [Matrix33] -> Encoding
ShATermConvertible Matrix33
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Matrix33 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Matrix33] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Matrix33) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Matrix33])
Pretty Matrix33 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Matrix33 -> Doc Source # pretties :: [Matrix33] -> Doc Source #
type Rep Matrix33
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Matrix33 = D1 ('MetaData "Matrix33" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Matrix33" 'PrefixI 'True) (((S1 ('MetaSel ('Just "a11") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "a12") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "a13") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "a21") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :: ((S1 ('MetaSel ('Just "a22") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "a23") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "a31") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Just "a32") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "a33") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))))

data Vector4 Source #

Constructors

Vector4
Fields q0 :: Double q1 :: Double q2 :: Double q3 :: Double

Instances

Instances details

Eq Vector4 Source #
Instance details Defined in FreeCAD.As Methods (==) :: Vector4 -> Vector4 -> Bool (/=) :: Vector4 -> Vector4 -> Bool
Data Vector4 Source #
Instance details Defined in FreeCAD.As 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 toConstr :: Vector4 -> Constr 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As Methods compare :: Vector4 -> Vector4 -> Ordering (<) :: Vector4 -> Vector4 -> Bool (<=) :: Vector4 -> Vector4 -> Bool (>) :: Vector4 -> Vector4 -> Bool (>=) :: Vector4 -> Vector4 -> Bool max :: Vector4 -> Vector4 -> Vector4 min :: Vector4 -> Vector4 -> Vector4
Show Vector4 Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Vector4 -> ShowS show :: Vector4 -> String showList :: [Vector4] -> ShowS
Generic Vector4
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Vector4 :: Type -> Type Methods from :: Vector4 -> Rep Vector4 x to :: Rep Vector4 x -> Vector4
FromJSON Vector4
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Vector4 parseJSONList :: Value -> Parser [Vector4]
ToJSON Vector4
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Vector4 -> Value toEncoding :: Vector4 -> Encoding toJSONList :: [Vector4] -> Value toEncodingList :: [Vector4] -> Encoding
ShATermConvertible Vector4
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Vector4 -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Vector4] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Vector4) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Vector4])
Pretty Vector4 Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Vector4 -> Doc Source # pretties :: [Vector4] -> Doc Source #
type Rep Vector4
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Vector4 = D1 ('MetaData "Vector4" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Vector4" 'PrefixI 'True) ((S1 ('MetaSel ('Just "q0") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Just "q1") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Just "q2") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :*: S1 ('MetaSel ('Just "q3") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))

data Placement Source #

Constructors

Placement
Fields position :: Vector3 orientation :: Vector4

Instances

Instances details

Eq Placement Source #
Instance details Defined in FreeCAD.As Methods (==) :: Placement -> Placement -> Bool (/=) :: Placement -> Placement -> Bool
Data Placement Source #
Instance details Defined in FreeCAD.As 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As Methods compare :: Placement -> Placement -> Ordering (<) :: Placement -> Placement -> Bool (<=) :: Placement -> Placement -> Bool (>) :: Placement -> Placement -> Bool (>=) :: Placement -> Placement -> Bool max :: Placement -> Placement -> Placement min :: Placement -> Placement -> Placement
Show Placement Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Placement -> ShowS show :: Placement -> String showList :: [Placement] -> ShowS
Generic Placement
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Placement :: Type -> Type Methods from :: Placement -> Rep Placement x to :: Rep Placement x -> Placement
FromJSON Placement
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Placement parseJSONList :: Value -> Parser [Placement]
ToJSON Placement
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Placement -> Value toEncoding :: Placement -> Encoding toJSONList :: [Placement] -> Value toEncodingList :: [Placement] -> Encoding
ShATermConvertible Placement
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Placement -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Placement] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Placement) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Placement])
Pretty Placement Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Placement -> Doc Source # pretties :: [Placement] -> Doc Source #
type Rep Placement
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Placement = D1 ('MetaData "Placement" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Placement" 'PrefixI 'True) (S1 ('MetaSel ('Just "position") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vector3) :*: S1 ('MetaSel ('Just "orientation") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vector4)))

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

Instances details

Eq BaseObject Source #
Instance details Defined in FreeCAD.As Methods (==) :: BaseObject -> BaseObject -> Bool (/=) :: BaseObject -> BaseObject -> Bool
Data BaseObject Source #
Instance details Defined in FreeCAD.As 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As 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 #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> BaseObject -> ShowS show :: BaseObject -> String showList :: [BaseObject] -> ShowS
Generic BaseObject
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep BaseObject :: Type -> Type Methods from :: BaseObject -> Rep BaseObject x to :: Rep BaseObject x -> BaseObject
FromJSON BaseObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser BaseObject parseJSONList :: Value -> Parser [BaseObject]
ToJSON BaseObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: BaseObject -> Value toEncoding :: BaseObject -> Encoding toJSONList :: [BaseObject] -> Value toEncodingList :: [BaseObject] -> Encoding
ShATermConvertible BaseObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> BaseObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [BaseObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, BaseObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [BaseObject])
Pretty BaseObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: BaseObject -> Doc Source # pretties :: [BaseObject] -> Doc Source #
type Rep BaseObject
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep BaseObject = D1 ('MetaData "BaseObject" "FreeCAD.As" "main" 'False) (((C1 ('MetaCons "Box" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: C1 ('MetaCons "Cylinder" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :+: (C1 ('MetaCons "Sphere" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: C1 ('MetaCons "Cone" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))))) :+: ((C1 ('MetaCons "Torus" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))) :+: C1 ('MetaCons "Line" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: (C1 ('MetaCons "Circle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double))) :+: C1 ('MetaCons "Rectangle" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Double)))))

data Object Source #

Constructors

BaseObject BaseObject
Cut ExtendedObject ExtendedObject
Common ExtendedObject ExtendedObject
Fusion ExtendedObject ExtendedObject
Extrusion ExtendedObject Vector3
Section ExtendedObject ExtendedObject

Instances

Instances details

Eq Object Source #
Instance details Defined in FreeCAD.As Methods (==) :: Object -> Object -> Bool (/=) :: Object -> Object -> Bool
Data Object Source #
Instance details Defined in FreeCAD.As 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 toConstr :: Object -> Constr 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As Methods compare :: Object -> Object -> Ordering (<) :: Object -> Object -> Bool (<=) :: Object -> Object -> Bool (>) :: Object -> Object -> Bool (>=) :: Object -> Object -> Bool max :: Object -> Object -> Object min :: Object -> Object -> Object
Show Object Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Object -> ShowS show :: Object -> String showList :: [Object] -> ShowS
Generic Object
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Object :: Type -> Type Methods from :: Object -> Rep Object x to :: Rep Object x -> Object
FromJSON Object
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Object parseJSONList :: Value -> Parser [Object]
ToJSON Object
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Object -> Value toEncoding :: Object -> Encoding toJSONList :: [Object] -> Value toEncodingList :: [Object] -> Encoding
ShATermConvertible Object
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Object -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Object] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Object) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Object])
Pretty Object Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Object -> Doc Source # pretties :: [Object] -> Doc Source #
type Rep Object
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Object = D1 ('MetaData "Object" "FreeCAD.As" "main" 'False) ((C1 ('MetaCons "BaseObject" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BaseObject)) :+: (C1 ('MetaCons "Cut" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject)) :+: C1 ('MetaCons "Common" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject)))) :+: (C1 ('MetaCons "Fusion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject)) :+: (C1 ('MetaCons "Extrusion" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Vector3)) :+: C1 ('MetaCons "Section" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ExtendedObject)))))

data ExtendedObject Source #

Constructors

Placed PlacedObject
Ref String

Instances

Instances details

Eq ExtendedObject Source #
Instance details Defined in FreeCAD.As Methods (==) :: ExtendedObject -> ExtendedObject -> Bool (/=) :: ExtendedObject -> ExtendedObject -> Bool
Data ExtendedObject Source #
Instance details Defined in FreeCAD.As 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As 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 #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> ExtendedObject -> ShowS show :: ExtendedObject -> String showList :: [ExtendedObject] -> ShowS
Generic ExtendedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep ExtendedObject :: Type -> Type Methods from :: ExtendedObject -> Rep ExtendedObject x to :: Rep ExtendedObject x -> ExtendedObject
FromJSON ExtendedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser ExtendedObject parseJSONList :: Value -> Parser [ExtendedObject]
ToJSON ExtendedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: ExtendedObject -> Value toEncoding :: ExtendedObject -> Encoding toJSONList :: [ExtendedObject] -> Value toEncodingList :: [ExtendedObject] -> Encoding
ShATermConvertible ExtendedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> ExtendedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [ExtendedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, ExtendedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [ExtendedObject])
Pretty ExtendedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: ExtendedObject -> Doc Source # pretties :: [ExtendedObject] -> Doc Source #
type Rep ExtendedObject
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep ExtendedObject = D1 ('MetaData "ExtendedObject" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Placed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlacedObject)) :+: C1 ('MetaCons "Ref" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))

data PlacedObject Source #

Constructors

PlacedObject
Fields p :: Placement o :: Object

Instances

Instances details

Eq PlacedObject Source #
Instance details Defined in FreeCAD.As Methods (==) :: PlacedObject -> PlacedObject -> Bool (/=) :: PlacedObject -> PlacedObject -> Bool
Data PlacedObject Source #
Instance details Defined in FreeCAD.As 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 :: forall r r'. (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 #
Instance details Defined in FreeCAD.As 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 #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> PlacedObject -> ShowS show :: PlacedObject -> String showList :: [PlacedObject] -> ShowS
Generic PlacedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep PlacedObject :: Type -> Type Methods from :: PlacedObject -> Rep PlacedObject x to :: Rep PlacedObject x -> PlacedObject
FromJSON PlacedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser PlacedObject parseJSONList :: Value -> Parser [PlacedObject]
ToJSON PlacedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: PlacedObject -> Value toEncoding :: PlacedObject -> Encoding toJSONList :: [PlacedObject] -> Value toEncodingList :: [PlacedObject] -> Encoding
ShATermConvertible PlacedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> PlacedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [PlacedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, PlacedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [PlacedObject])
Pretty PlacedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: PlacedObject -> Doc Source # pretties :: [PlacedObject] -> Doc Source #
type Rep PlacedObject
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep PlacedObject = D1 ('MetaData "PlacedObject" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "PlacedObject" 'PrefixI 'True) (S1 ('MetaSel ('Just "p") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Placement) :*: S1 ('MetaSel ('Just "o") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Object)))

data NamedObject Source #

Constructors

NamedObject
Fields name :: String object :: PlacedObject
EmptyObject

Instances

Instances details

Eq NamedObject Source #
Instance details Defined in FreeCAD.As Methods (==) :: NamedObject -> NamedObject -> Bool (/=) :: NamedObject -> NamedObject -> Bool
Data NamedObject Source #
Instance details Defined in FreeCAD.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NamedObject -> c NamedObject gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NamedObject toConstr :: NamedObject -> Constr dataTypeOf :: NamedObject -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NamedObject) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NamedObject) gmapT :: (forall b. Data b => b -> b) -> NamedObject -> NamedObject gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NamedObject -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NamedObject -> r gmapQ :: (forall d. Data d => d -> u) -> NamedObject -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> NamedObject -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> NamedObject -> m NamedObject gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedObject -> m NamedObject gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NamedObject -> m NamedObject
Ord NamedObject Source #
Instance details Defined in FreeCAD.As Methods compare :: NamedObject -> NamedObject -> Ordering (<) :: NamedObject -> NamedObject -> Bool (<=) :: NamedObject -> NamedObject -> Bool (>) :: NamedObject -> NamedObject -> Bool (>=) :: NamedObject -> NamedObject -> Bool max :: NamedObject -> NamedObject -> NamedObject min :: NamedObject -> NamedObject -> NamedObject
Show NamedObject Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> NamedObject -> ShowS show :: NamedObject -> String showList :: [NamedObject] -> ShowS
Generic NamedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep NamedObject :: Type -> Type Methods from :: NamedObject -> Rep NamedObject x to :: Rep NamedObject x -> NamedObject
GetRange NamedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods getRange :: NamedObject -> Range Source # rangeSpan :: NamedObject -> [Pos] Source #
FromJSON NamedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser NamedObject parseJSONList :: Value -> Parser [NamedObject]
ToJSON NamedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: NamedObject -> Value toEncoding :: NamedObject -> Encoding toJSONList :: [NamedObject] -> Value toEncodingList :: [NamedObject] -> Encoding
ShATermConvertible NamedObject
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> NamedObject -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [NamedObject] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, NamedObject) fromShATermList' :: Int -> ATermTable -> (ATermTable, [NamedObject])
Pretty NamedObject Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: NamedObject -> Doc Source # pretties :: [NamedObject] -> Doc Source #
Syntax FreeCAD Document () () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods parsersAndPrinters :: FreeCAD -> Map String (PrefixMap -> AParser st Document, Document -> Doc) Source # parse_basic_spec :: FreeCAD -> Maybe (PrefixMap -> AParser st Document) Source # parseSingleSymbItem :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_items :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # parse_symb_map_items :: FreeCAD -> Maybe (PrefixMap -> AParser st ()) Source # toItem :: FreeCAD -> Document -> Item Source # symb_items_name :: FreeCAD -> () -> [String] Source #
StaticAnalysis FreeCAD Document () () () Sign FCMorphism () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods basic_analysis :: FreeCAD -> Maybe ((Document, Sign, GlobalAnnos) -> Result (Document, ExtSign Sign (), [Named ()])) Source # sen_analysis :: FreeCAD -> Maybe ((Document, Sign, ()) -> Result ()) Source # extBasicAnalysis :: FreeCAD -> IRI -> LibName -> Document -> Sign -> GlobalAnnos -> Result (Document, ExtSign Sign (), [Named ()]) Source # stat_symb_map_items :: FreeCAD -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: FreeCAD -> Sign -> [()] -> Result [()] Source # convertTheory :: FreeCAD -> Maybe ((Sign, [Named ()]) -> Document) Source # ensures_amalgamability :: FreeCAD -> ([CASLAmalgOpt], Gr Sign (Int, FCMorphism), [(Int, FCMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: FreeCAD -> FCMorphism -> [Named ()] -> Result (Sign, [Named ()]) Source # signature_colimit :: FreeCAD -> Gr Sign (Int, FCMorphism) -> Result (Sign, Map Int FCMorphism) Source # qualify :: FreeCAD -> SIMPLE_ID -> LibName -> FCMorphism -> Sign -> Result (FCMorphism, [Named ()]) Source # symbol_to_raw :: FreeCAD -> () -> () Source # id_to_raw :: FreeCAD -> Id -> () Source # matches :: FreeCAD -> () -> () -> Bool Source # empty_signature :: FreeCAD -> Sign Source # add_symb_to_sign :: FreeCAD -> Sign -> () -> Result Sign Source # signature_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # signatureDiff :: FreeCAD -> Sign -> Sign -> Result Sign Source # intersection :: FreeCAD -> Sign -> Sign -> Result Sign Source # final_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # morphism_union :: FreeCAD -> FCMorphism -> FCMorphism -> Result FCMorphism Source # is_subsig :: FreeCAD -> Sign -> Sign -> Bool Source # subsig_inclusion :: FreeCAD -> Sign -> Sign -> Result FCMorphism Source # generated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # cogenerated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # induced_from_morphism :: FreeCAD -> EndoMap () -> Sign -> Result FCMorphism Source # induced_from_to_morphism :: FreeCAD -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result FCMorphism Source # is_transportable :: FreeCAD -> FCMorphism -> Bool Source # is_injective :: FreeCAD -> FCMorphism -> Bool Source # theory_to_taxonomy :: FreeCAD -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named ()] -> Result MMiSSOntology Source # corresp2th :: FreeCAD -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named ()], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: FreeCAD -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: FreeCAD -> [IRI] -> (Sign, [Named ()]) -> Result (Sign, [Named ()]) Source #
Logic FreeCAD () Document () () () Sign (DefaultMorphism Sign) () () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods parse_basic_sen :: FreeCAD -> Maybe (Document -> AParser st ()) Source # stability :: FreeCAD -> Stability Source # data_logic :: FreeCAD -> Maybe AnyLogic Source # top_sublogic :: FreeCAD -> () Source # all_sublogics :: FreeCAD -> [()] Source # bottomSublogic :: FreeCAD -> Maybe () Source # sublogicDimensions :: FreeCAD -> [[()]] Source # parseSublogic :: FreeCAD -> String -> Maybe () Source # proj_sublogic_epsilon :: FreeCAD -> () -> Sign -> DefaultMorphism Sign Source # provers :: FreeCAD -> [Prover Sign () (DefaultMorphism Sign) () ()] Source # default_prover :: FreeCAD -> String Source # cons_checkers :: FreeCAD -> [ConsChecker Sign () () (DefaultMorphism Sign) ()] Source # conservativityCheck :: FreeCAD -> [ConservativityChecker Sign () (DefaultMorphism Sign)] Source # empty_proof_tree :: FreeCAD -> () Source # syntaxTable :: FreeCAD -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: FreeCAD -> Maybe OMCD Source # export_symToOmdoc :: FreeCAD -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: FreeCAD -> NameMap () -> () -> Result TCorOMElement Source # export_theoryToOmdoc :: FreeCAD -> SigMap () -> Sign -> [Named ()] -> Result [TCElement] Source # omdocToSym :: FreeCAD -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: FreeCAD -> SigMapI () -> TCElement -> String -> Result (Maybe (Named ())) Source # addOMadtToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [[OmdADT]] -> Result (Sign, [Named ()]) Source # addOmdocToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [TCElement] -> Result (Sign, [Named ()]) Source # sublogicOfTheo :: FreeCAD -> (Sign, [()]) -> () Source #
type Rep NamedObject
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep NamedObject = D1 ('MetaData "NamedObject" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "NamedObject" 'PrefixI 'True) (S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "object") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 PlacedObject)) :+: C1 ('MetaCons "EmptyObject" 'PrefixI 'False) (U1 :: Type -> Type))

type Document = [NamedObject] Source #

data Sign Source #

Datatype for FreeCAD Signatures Signatures are just sets of named objects

Constructors

Sign
Fields objects :: Set NamedObject

Instances

Instances details

Eq Sign Source #
Instance details Defined in FreeCAD.As Methods (==) :: Sign -> Sign -> Bool (/=) :: Sign -> Sign -> Bool
Data Sign Source #
Instance details Defined in FreeCAD.As Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Sign -> c Sign gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Sign toConstr :: Sign -> Constr dataTypeOf :: Sign -> DataType dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Sign) dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Sign) gmapT :: (forall b. Data b => b -> b) -> Sign -> Sign gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Sign -> r gmapQ :: (forall d. Data d => d -> u) -> Sign -> [u] gmapQi :: Int -> (forall d. Data d => d -> u) -> Sign -> u gmapM :: Monad m => (forall d. Data d => d -> m d) -> Sign -> m Sign gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Sign -> m Sign
Ord Sign Source #
Instance details Defined in FreeCAD.As Methods compare :: Sign -> Sign -> Ordering (<) :: Sign -> Sign -> Bool (<=) :: Sign -> Sign -> Bool (>) :: Sign -> Sign -> Bool (>=) :: Sign -> Sign -> Bool max :: Sign -> Sign -> Sign min :: Sign -> Sign -> Sign
Show Sign Source #
Instance details Defined in FreeCAD.As Methods showsPrec :: Int -> Sign -> ShowS show :: Sign -> String showList :: [Sign] -> ShowS
Generic Sign
Instance details Defined in FreeCAD.ATC_FreeCAD Associated Types type Rep Sign :: Type -> Type Methods from :: Sign -> Rep Sign x to :: Rep Sign x -> Sign
FromJSON Sign
Instance details Defined in FreeCAD.ATC_FreeCAD Methods parseJSON :: Value -> Parser Sign parseJSONList :: Value -> Parser [Sign]
ToJSON Sign
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toJSON :: Sign -> Value toEncoding :: Sign -> Encoding toJSONList :: [Sign] -> Value toEncodingList :: [Sign] -> Encoding
ShATermConvertible Sign
Instance details Defined in FreeCAD.ATC_FreeCAD Methods toShATermAux :: ATermTable -> Sign -> IO (ATermTable, Int) toShATermList' :: ATermTable -> [Sign] -> IO (ATermTable, Int) fromShATermAux :: Int -> ATermTable -> (ATermTable, Sign) fromShATermList' :: Int -> ATermTable -> (ATermTable, [Sign])
Pretty Sign Source #
Instance details Defined in FreeCAD.PrintAs Methods pretty :: Sign -> Doc Source # pretties :: [Sign] -> Doc Source #
Sentences FreeCAD () Sign FCMorphism () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods map_sen :: FreeCAD -> FCMorphism -> () -> Result () Source # simplify_sen :: FreeCAD -> Sign -> () -> () Source # negation :: FreeCAD -> () -> Maybe () Source # print_sign :: FreeCAD -> Sign -> Doc Source # print_named :: FreeCAD -> Named () -> Doc Source # sym_of :: FreeCAD -> Sign -> [Set ()] Source # mostSymsOf :: FreeCAD -> Sign -> [()] Source # symmap_of :: FreeCAD -> FCMorphism -> EndoMap () Source # sym_name :: FreeCAD -> () -> Id Source # sym_label :: FreeCAD -> () -> Maybe String Source # fullSymName :: FreeCAD -> () -> String Source # symKind :: FreeCAD -> () -> String Source # symsOfSen :: FreeCAD -> Sign -> () -> [()] Source # pair_symbols :: FreeCAD -> () -> () -> Result () Source #
StaticAnalysis FreeCAD Document () () () Sign FCMorphism () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods basic_analysis :: FreeCAD -> Maybe ((Document, Sign, GlobalAnnos) -> Result (Document, ExtSign Sign (), [Named ()])) Source # sen_analysis :: FreeCAD -> Maybe ((Document, Sign, ()) -> Result ()) Source # extBasicAnalysis :: FreeCAD -> IRI -> LibName -> Document -> Sign -> GlobalAnnos -> Result (Document, ExtSign Sign (), [Named ()]) Source # stat_symb_map_items :: FreeCAD -> Sign -> Maybe Sign -> [()] -> Result (EndoMap ()) Source # stat_symb_items :: FreeCAD -> Sign -> [()] -> Result [()] Source # convertTheory :: FreeCAD -> Maybe ((Sign, [Named ()]) -> Document) Source # ensures_amalgamability :: FreeCAD -> ([CASLAmalgOpt], Gr Sign (Int, FCMorphism), [(Int, FCMorphism)], Gr String String) -> Result Amalgamates Source # quotient_term_algebra :: FreeCAD -> FCMorphism -> [Named ()] -> Result (Sign, [Named ()]) Source # signature_colimit :: FreeCAD -> Gr Sign (Int, FCMorphism) -> Result (Sign, Map Int FCMorphism) Source # qualify :: FreeCAD -> SIMPLE_ID -> LibName -> FCMorphism -> Sign -> Result (FCMorphism, [Named ()]) Source # symbol_to_raw :: FreeCAD -> () -> () Source # id_to_raw :: FreeCAD -> Id -> () Source # matches :: FreeCAD -> () -> () -> Bool Source # empty_signature :: FreeCAD -> Sign Source # add_symb_to_sign :: FreeCAD -> Sign -> () -> Result Sign Source # signature_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # signatureDiff :: FreeCAD -> Sign -> Sign -> Result Sign Source # intersection :: FreeCAD -> Sign -> Sign -> Result Sign Source # final_union :: FreeCAD -> Sign -> Sign -> Result Sign Source # morphism_union :: FreeCAD -> FCMorphism -> FCMorphism -> Result FCMorphism Source # is_subsig :: FreeCAD -> Sign -> Sign -> Bool Source # subsig_inclusion :: FreeCAD -> Sign -> Sign -> Result FCMorphism Source # generated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # cogenerated_sign :: FreeCAD -> Set () -> Sign -> Result FCMorphism Source # induced_from_morphism :: FreeCAD -> EndoMap () -> Sign -> Result FCMorphism Source # induced_from_to_morphism :: FreeCAD -> EndoMap () -> ExtSign Sign () -> ExtSign Sign () -> Result FCMorphism Source # is_transportable :: FreeCAD -> FCMorphism -> Bool Source # is_injective :: FreeCAD -> FCMorphism -> Bool Source # theory_to_taxonomy :: FreeCAD -> TaxoGraphKind -> MMiSSOntology -> Sign -> [Named ()] -> Result MMiSSOntology Source # corresp2th :: FreeCAD -> String -> Bool -> Sign -> Sign -> [()] -> [()] -> EndoMap () -> EndoMap () -> REL_REF -> Result (Sign, [Named ()], Sign, Sign, EndoMap (), EndoMap ()) Source # equiv2cospan :: FreeCAD -> Sign -> Sign -> [()] -> [()] -> Result (Sign, Sign, Sign, EndoMap (), EndoMap ()) Source # extract_module :: FreeCAD -> [IRI] -> (Sign, [Named ()]) -> Result (Sign, [Named ()]) Source #
Logic FreeCAD () Document () () () Sign (DefaultMorphism Sign) () () () Source #
Instance details Defined in FreeCAD.Logic_FreeCAD Methods parse_basic_sen :: FreeCAD -> Maybe (Document -> AParser st ()) Source # stability :: FreeCAD -> Stability Source # data_logic :: FreeCAD -> Maybe AnyLogic Source # top_sublogic :: FreeCAD -> () Source # all_sublogics :: FreeCAD -> [()] Source # bottomSublogic :: FreeCAD -> Maybe () Source # sublogicDimensions :: FreeCAD -> [[()]] Source # parseSublogic :: FreeCAD -> String -> Maybe () Source # proj_sublogic_epsilon :: FreeCAD -> () -> Sign -> DefaultMorphism Sign Source # provers :: FreeCAD -> [Prover Sign () (DefaultMorphism Sign) () ()] Source # default_prover :: FreeCAD -> String Source # cons_checkers :: FreeCAD -> [ConsChecker Sign () () (DefaultMorphism Sign) ()] Source # conservativityCheck :: FreeCAD -> [ConservativityChecker Sign () (DefaultMorphism Sign)] Source # empty_proof_tree :: FreeCAD -> () Source # syntaxTable :: FreeCAD -> Sign -> Maybe SyntaxTable Source # omdoc_metatheory :: FreeCAD -> Maybe OMCD Source # export_symToOmdoc :: FreeCAD -> NameMap () -> () -> String -> Result TCElement Source # export_senToOmdoc :: FreeCAD -> NameMap () -> () -> Result TCorOMElement Source # export_theoryToOmdoc :: FreeCAD -> SigMap () -> Sign -> [Named ()] -> Result [TCElement] Source # omdocToSym :: FreeCAD -> SigMapI () -> TCElement -> String -> Result () Source # omdocToSen :: FreeCAD -> SigMapI () -> TCElement -> String -> Result (Maybe (Named ())) Source # addOMadtToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [[OmdADT]] -> Result (Sign, [Named ()]) Source # addOmdocToTheory :: FreeCAD -> SigMapI () -> (Sign, [Named ()]) -> [TCElement] -> Result (Sign, [Named ()]) Source # sublogicOfTheo :: FreeCAD -> (Sign, [()]) -> () Source #
type Rep Sign
Instance details Defined in FreeCAD.ATC_FreeCAD type Rep Sign = D1 ('MetaData "Sign" "FreeCAD.As" "main" 'False) (C1 ('MetaCons "Sign" 'PrefixI 'True) (S1 ('MetaSel ('Just "objects") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set NamedObject))))