terrahs-0.5: Simple library for GIS Programs in Haskell. Source code Contents Index

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

Produced by Haddock version 2.4.2