Algebras.Base
 Contents The TeGeoObject type The TeGeoObjects class The Value type The Attribute type The Values class The Attributes class
Synopsis
class Num a => Points p a | p -> a where
 createPoint :: a -> a -> p getX :: p -> a getY :: p -> a equal :: p -> p -> Bool
class Num a => Lines l a | l -> a where
 createLine :: [(a, a)] -> l decompToCoords :: l -> [(a, a)]
class (Num a, Lines l a) => Polygons pg l a | pg -> l a where
 createPolygon :: [l] -> pg
class Ids a where
 createId :: String -> a id2string :: a -> String
data ObjectId = ObjectId String
class Set a where
 union :: [a] -> [a] -> [a] intersection :: [a] -> [a] -> [a] difference :: [a] -> [a] -> [a]
class Topology a b => TopologyOps a b where
 intersects :: a -> b -> Bool touches :: a -> b -> Bool crosses :: a -> b -> Bool disjoint :: a -> b -> Bool within :: a -> b -> Bool equals :: a -> b -> Bool overlaps :: a -> b -> Bool coveredby :: a -> b -> Bool contains :: a -> b -> Bool containedBy :: b -> a -> Bool
class TeRelations a b => Relations a b where
 relation :: a -> b -> TeSpatialRelation
centroid :: Centroid a => a -> TePoint
distance :: TePoint -> TePoint -> Double
llength :: TeLine2D -> Double
area :: TePolygon -> Double
data TeGeoObject = TeGeoObject ObjectId [Attribute] [TeGeometry]
class (Num n, Points p n, Lines l n, Polygons pg l n, Geometries g pg l p n, Ids i, Values v, Attributes at v) => GeoObjects a i at v g pg l p n | a -> i at v g pg l p n where
 getId :: a -> i getAttributes :: a -> [at] getGeometries :: a -> [g]
data Value
 = StValue String | DbValue Double | InValue Int32 | Undefined
data Attribute = Attr (String, Value)
class Values a where
 toString :: a -> String
class Values v => Attributes a v | a -> v where
 getName :: a -> String getValue :: a -> v
getValuebyName :: [Attribute] -> String -> Value
loadRasterFile :: String -> IO (TeRaster Double)
loadRaster :: TeDatabases a => Ptr a -> String -> IO (TeRaster Double)
class Rasters r where
 getValues :: r a -> [[a]] setValues :: [[a]] -> r a
importRaster :: TeDatabases a => Ptr a -> String -> TeRaster Double -> IO Bool
importRasterWParameter :: TeDatabases a => Ptr a -> String -> Double -> TeRaster Double -> IO Bool
Documentation
 class Num a => Points p a | p -> a where Source
Methods
 createPoint :: a -> a -> p Source
Create a point from two coordinates
 getX :: p -> a Source
Returns the X componente of the coordinate
 getY :: p -> a Source
Returns the Y componente of the coordinate
 equal :: p -> p -> Bool Source
Check if the two coordinates are equal
Instances
 Points TePoint Double Points TePoint Double
 class Num a => Lines l a | l -> a where Source
Methods
 createLine :: [(a, a)] -> l Source
Constructor - Create a line from a point list
 decompToCoords :: l -> [(a, a)] Source
decomp a line to point
Instances
 Lines TeLine2D Double Lines TeLine2D Double
 class (Num a, Lines l a) => Polygons pg l a | pg -> l a where Source
Methods
 createPolygon :: [l] -> pg Source
create a polygon from a line list
Instances
 Polygons TePolygon TeLine2D Double Polygons TePolygon TeLine2D Double Polygons TePolygon TeLine2D Double
 class Ids a where Source
Methods
 createId :: String -> a Source
 id2string :: a -> String Source
Instances
 Ids ObjectId
 data ObjectId Source
Constructors
 ObjectId String
Instances
 Eq ObjectId Show ObjectId Ids ObjectId GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double
 class Set a where Source
Methods
 union :: [a] -> [a] -> [a] Source
 intersection :: [a] -> [a] -> [a] Source
 difference :: [a] -> [a] -> [a] Source
Instances
 Set TePolygon
 class Topology a b => TopologyOps a b where Source
Methods
 intersects :: a -> b -> Bool Source
 touches :: a -> b -> Bool Source
 crosses :: a -> b -> Bool Source
 disjoint :: a -> b -> Bool Source
 within :: a -> b -> Bool Source
 equals :: a -> b -> Bool Source
 overlaps :: a -> b -> Bool Source
 coveredby :: a -> b -> Bool Source
 contains :: a -> b -> Bool Source
 containedBy :: b -> a -> Bool Source
Instances
 TopologyOps TePoint TePoint TopologyOps TePoint TeCell TopologyOps TePoint TeCell TopologyOps TePoint TeLine2D TopologyOps TePoint TeLine2D TopologyOps TePoint TePolygon TopologyOps TePoint TePolygon TopologyOps TeCell TePoint TopologyOps TeCell TePoint TopologyOps TeCell TeCell TopologyOps TeCell TeLine2D TopologyOps TeCell TeLine2D TopologyOps TeCell TePolygon TopologyOps TeCell TePolygon TopologyOps TeLine2D TeCell TopologyOps TeLine2D TeCell TopologyOps TeLine2D TeLine2D TopologyOps TeLine2D TePolygon TopologyOps TeLine2D TePolygon TopologyOps TePolygon TeCell TopologyOps TePolygon TeCell TopologyOps TePolygon TePolygon TopologyOps TeGeometry TeGeometry
 class TeRelations a b => Relations a b where Source
Methods
 relation :: a -> b -> TeSpatialRelation Source
Instances
 Relations TePoint TeLine2D Relations TePoint TeLine2D Relations TePoint TePolygon Relations TePoint TePolygon Relations TeLine2D TePolygon Relations TeLine2D TePolygon Relations TePolygon TePolygon
 centroid :: Centroid a => a -> TePoint Source
 distance :: TePoint -> TePoint -> Double Source
 llength :: TeLine2D -> Double Source
Returns the length of a Line 2D.
 area :: TePolygon -> Double Source
Returns the area of a TePolygon
The TeGeoObject type
 data TeGeoObject Source
Constructors
 TeGeoObject ObjectId [Attribute] [TeGeometry]
Instances
 Show TeGeoObject GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double
The TeGeoObjects class
 class (Num n, Points p n, Lines l n, Polygons pg l n, Geometries g pg l p n, Ids i, Values v, Attributes at v) => GeoObjects a i at v g pg l p n | a -> i at v g pg l p n where Source
Methods
 getId :: a -> i Source
Returns the object identification
 getAttributes :: a -> [at] Source
Returns the attributes list from a geoobject
 getGeometries :: a -> [g] Source
Returns the geometries list from a geoobject
Instances
 GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double
The Value type
 data Value Source
Constructors
 StValue String DbValue Double InValue Int32 Undefined
Instances
 Eq Value Num Value Show Value Values Value Attributes Attribute Value GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double
The Attribute type
 data Attribute Source
Constructors
 Attr (String, Value)
Instances
 Show Attribute Attributes Attribute Value GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double
The Values class
 class Values a where Source
Methods
 toString :: a -> String Source
Instances
 Values Value
The Attributes class
 class Values v => Attributes a v | a -> v where Source
Methods
 getName :: a -> String Source
 getValue :: a -> v Source
Instances
 Attributes Attribute Value Attributes Attribute Value
 getValuebyName :: [Attribute] -> String -> Value Source
 loadRasterFile :: String -> IO (TeRaster Double) Source
 loadRaster :: TeDatabases a => Ptr a -> String -> IO (TeRaster Double) Source
 class Rasters r where Source
Methods
 getValues :: r a -> [[a]] Source
 setValues :: [[a]] -> r a Source
Instances
 Rasters TeRaster
 importRaster :: TeDatabases a => Ptr a -> String -> TeRaster Double -> IO Bool Source
 importRasterWParameter :: TeDatabases a => Ptr a -> String -> Double -> TeRaster Double -> IO Bool Source