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

TerraHS

Contents The TeGeoObject type The TeGeoObjects class The Value type The Attribute type The Values class The Attributes class The Databases Module class The Object Module class

Synopsis

data TeDatabase = TeMySQL String String String String | TePostgreSQL class TeDatabases a where loadLayer :: Ptr a -> String -> IO TeLayerPtr errorMessage :: Ptr a -> IO String loadRaster :: Ptr a -> String -> IO (TeRaster Double) importRaster :: Ptr a -> String -> TeRaster Double -> IO Bool importRasterWParameter :: Ptr a -> String -> Double -> TeRaster Double -> IO Bool data TeGeometry = GPt TePoint | GPg TePolygon | GLn TeLine2D | GCl TeCell data TePoint = TePoint TeCoord2D data TePolygon = TePolygon [TeLinearRing] data TeLine2D = TeLine2D [TeCoord2D] data TeCell = TeCell TeBox Int32 Int32 data TeBox = TeBox Double Double Double Double data TePointSet = TePointSet [TePoint] data TePolygonSet = TePolygonSet [TePolygon] data TeLineSet = TeLineSet [TeLine2D] data TeCellSet = TeCellSet [TeCell] data TeSTInstance = TeSTInstance class Topology a b where teintersects :: a -> b -> Bool tetouches :: a -> b -> Bool tecrosses :: a -> b -> Bool tedisjoint :: a -> b -> Bool tewithin :: a -> b -> Bool teequals :: a -> b -> Bool teoverlaps :: a -> b -> Bool tecoveredby :: a -> b -> Bool tecontains :: a -> b -> Bool tecontainedBy :: b -> a -> Bool class Overlay a where teunion :: a -> a -> [TeGeometry] tedifference :: a -> a -> [TeGeometry] teintersection :: a -> a -> [TeGeometry] 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 TeRaster a = TeRaster (Grd a) loadRasterFile :: String -> IO (TeRaster Double) class Rasters r where getValues :: r a -> [[a]] setValues :: [[a]] -> r a 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 class Connection c where open :: c -> IO (Ptr c) close :: Ptr c -> IO () class Connection c => Databases a c where retrieve :: Ptr c -> String -> IO a store :: Ptr c -> String -> a -> IO Bool class Pointer a where new :: a -> IO (Ptr a) fromPointer :: Ptr a -> IO a delete :: Ptr a -> IO () class Convert a b where to :: a -> b from :: b -> a class Element a b where getElement :: Ptr a -> Int32 -> IO b class Size a where size :: Ptr a -> IO Int32

Documentation

data TeDatabase Source

Constructors TeMySQL String String String String TePostgreSQL Instances Connection TeDatabase Pointer TeDatabase TeDatabases TeDatabase Databases ([] ([] TeGeometry)) TeDatabase Databases ([] TeGeoObject) TeDatabase Databases (TeRaster Double) TeDatabase

class TeDatabases a where Source

Methods loadLayer :: Ptr a -> String -> IO TeLayerPtr Source Load information about a particular layer errorMessage :: Ptr a -> IO String Source Gets the last error message loadRaster :: Ptr a -> String -> IO (TeRaster Double) Source importRaster :: Ptr a -> String -> TeRaster Double -> IO Bool Source importRasterWParameter :: Ptr a -> String -> Double -> TeRaster Double -> IO Bool Source Instances TeDatabases TeDatabase

data TeGeometry Source

Constructors GPt TePoint GPg TePolygon GLn TeLine2D GCl TeCell Instances Eq TeGeometry Show TeGeometry TeRelations TeGeometry TeGeometry Topology TeGeometry TeGeometry TopologyOps TeGeometry TeGeometry Geometries TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double

data TePoint Source

The type TePoint represents 2D Points. Constructors TePoint TeCoord2D Instances Eq TePoint Ord TePoint Show TePoint Pointer TePoint Element TePointSet TePoint Points TePoint Double TeRelations TePoint TeLine2D TeRelations TePoint TePolygon Topology TePoint TePoint Topology TePoint TeCell Topology TePoint TeLine2D Topology TePoint TePolygon Topology TeCell TePoint Relations TePoint TeLine2D Relations TePoint TePolygon TopologyOps TePoint TePoint TopologyOps TePoint TeCell TopologyOps TePoint TeLine2D TopologyOps TePoint TePolygon TopologyOps TeCell TePoint Geometries TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double

data TePolygon Source

The type TePolygon represents a 2D polygon . In TerraLib, a 2D polygon consists of an outer ring and a list of inner ring In Haskell, a 2D polygon consists of a list TeLinearRing Constructors TePolygon [TeLinearRing] Instances Eq TePolygon Show TePolygon Pointer TePolygon TeCentroid TePolygon Centroid TePolygon Set TePolygon Element TePolygonSet TePolygon TeRelations TePoint TePolygon TeRelations TeLine2D TePolygon TeRelations TePolygon TePolygon Topology TePoint TePolygon Topology TeCell TePolygon Topology TeLine2D TePolygon Topology TePolygon TeCell Topology TePolygon TePolygon Relations TePoint TePolygon Relations TeLine2D TePolygon Relations TePolygon TePolygon TopologyOps TePoint TePolygon TopologyOps TeCell TePolygon TopologyOps TeLine2D TePolygon TopologyOps TePolygon TeCell TopologyOps TePolygon TePolygon Polygons TePolygon TeLine2D Double Geometries TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double

data TeLine2D Source

The type TeLine2D represents a simple 2D line, composed of 2D xy points Constructors TeLine2D [TeCoord2D] Instances Eq TeLine2D Ord TeLine2D Show TeLine2D Pointer TeLine2D Element TeLineSet TeLine2D Lines TeLine2D Double TeRelations TePoint TeLine2D TeRelations TeLine2D TePolygon Topology TePoint TeLine2D Topology TeCell TeLine2D Topology TeLine2D TeCell Topology TeLine2D TeLine2D Topology TeLine2D TePolygon Relations TePoint TeLine2D Relations TeLine2D TePolygon TopologyOps TePoint TeLine2D TopologyOps TeCell TeLine2D TopologyOps TeLine2D TeCell TopologyOps TeLine2D TeLine2D TopologyOps TeLine2D TePolygon Polygons TePolygon TeLine2D Double Geometries TeGeometry TePolygon TeLine2D TePoint Double GeoObjects TeGeoObject ObjectId Attribute Value TeGeometry TePolygon TeLine2D TePoint Double

data TeCell Source

Constructors TeCell TeBox Int32 Int32 Instances Eq TeCell Show TeCell Pointer TeCell Element TeCellSet TeCell Topology TePoint TeCell Topology TeCell TePoint Topology TeCell TeCell Topology TeCell TeLine2D Topology TeCell TePolygon Topology TeLine2D TeCell Topology TePolygon TeCell TopologyOps TePoint TeCell TopologyOps TeCell TePoint TopologyOps TeCell TeCell TopologyOps TeCell TeLine2D TopologyOps TeCell TePolygon TopologyOps TeLine2D TeCell TopologyOps TePolygon TeCell

data TeBox Source

The type TeBox represents a rectangular box. Used by all geometrical representations in TerraLib Library Constructors TeBox Double Double Double Double Instances Eq TeBox Show TeBox Pointer TeBox

data TePointSet Source

The type TePointSet represents a sets of 2D Points. Constructors TePointSet [TePoint] Instances Size TePointSet Pointer TePointSet TeCentroid TePointSet Centroid TePointSet Element TePointSet TePoint

data TePolygonSet Source

The type TePolygonSet represents a set of 2D polygon . Constructors TePolygonSet [TePolygon] Instances Eq TePolygonSet Show TePolygonSet Size TePolygonSet Pointer TePolygonSet TeCentroid TePolygonSet Overlay TePolygonSet Centroid TePolygonSet Element TePolygonSet TePolygon

data TeLineSet Source

The type TeLineSet is a set of a simple 2D line Constructors TeLineSet [TeLine2D] Instances Size TeLineSet Pointer TeLineSet TeCentroid TeLineSet Centroid TeLineSet Element TeLineSet TeLine2D

data TeCellSet Source

Constructors TeCellSet [TeCell] Instances Size TeCellSet Pointer TeCellSet Element TeCellSet TeCell

data TeSTInstance Source

The type TeSTInstance represent an instance in a time of a spatial element Constructors TeSTInstance Instances Pointer TeSTInstance

class Topology a b where Source

Operators that test topologival relation between two objects. Methods teintersects :: a -> b -> Bool Source tetouches :: a -> b -> Bool Source tecrosses :: a -> b -> Bool Source tedisjoint :: a -> b -> Bool Source tewithin :: a -> b -> Bool Source teequals :: a -> b -> Bool Source teoverlaps :: a -> b -> Bool Source tecoveredby :: a -> b -> Bool Source tecontains :: a -> b -> Bool Source tecontainedBy :: b -> a -> Bool Source Instances Topology TePoint TePoint Topology TePoint TeCell Topology TePoint TeCell Topology TePoint TeLine2D Topology TePoint TeLine2D Topology TePoint TePolygon Topology TePoint TePolygon Topology TeCell TePoint Topology TeCell TePoint Topology TeCell TeCell Topology TeCell TeLine2D Topology TeCell TeLine2D Topology TeCell TePolygon Topology TeCell TePolygon Topology TeLine2D TeCell Topology TeLine2D TeCell Topology TeLine2D TeLine2D Topology TeLine2D TePolygon Topology TeLine2D TePolygon Topology TePolygon TeCell Topology TePolygon TeCell Topology TePolygon TePolygon Topology TeGeometry TeGeometry

class Overlay a where Source

Returns the result of objects overlay Methods teunion :: a -> a -> [TeGeometry] Source tedifference :: a -> a -> [TeGeometry] Source teintersection :: a -> a -> [TeGeometry] Source Instances Overlay TePolygonSet

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

data TeRaster a Source

The type TeRaster represents a geographic layer Constructors TeRaster (Grd a) Instances Funct TeRaster Rasters TeRaster Show a => Show (TeRaster a) Pointer (TeRaster Double) Databases (TeRaster Double) TeDatabase

loadRasterFile :: String -> IO (TeRaster Double) Source

class Rasters r where Source

Methods getValues :: r a -> [[a]] Source setValues :: [[a]] -> r a Source Instances Rasters TeRaster

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

The Databases Module class

class Connection c where Source

Methods open :: c -> IO (Ptr c) Source open a connection to a database close :: Ptr c -> IO () Source close a opened connection Instances Connection TeDatabase

class Connection c => Databases a c where Source

Methods retrieve :: Ptr c -> String -> IO a Source load a object list from database store :: Ptr c -> String -> a -> IO Bool Source save a object list a to database Foreign.Ptr.Ptr c Instances Databases ([] ([] TeGeometry)) TeDatabase Databases ([] ([] TeGeometry)) TeDatabase Databases ([] TeGeoObject) TeDatabase Databases ([] TeGeoObject) TeDatabase Databases (TeRaster Double) TeDatabase Databases (TeRaster Double) TeDatabase

The Object Module class

class Pointer a where Source

The class Pointer is a class for handling pointers to objects, ex: TePoint and TePointPtr Methods new :: a -> IO (Ptr a) Source create a pointer from haskell object fromPointer :: Ptr a -> IO a Source create a haskell object from a pointer delete :: Ptr a -> IO () Source delete a pointer from memory Instances Pointer TeDatabase Pointer TePointSet Pointer TePoint Pointer TeBox Pointer TeCellSet Pointer TeCell Pointer TeTable Pointer TeLineSet Pointer TeLine2D Pointer TePolygonSet Pointer TePolygon Pointer TeSTInstance Pointer TeLayer Pointer TeQuerier Pointer (TeRaster Double)

class Convert a b where Source

The class Convert permit the converts from diferents objects Methods to :: a -> b Source convert from a to b from :: b -> a Source convert from b to a

class Element a b where Source

Methods getElement :: Ptr a -> Int32 -> IO b Source Instances Element TePointSet TePoint Element TePointSet TePoint Element TeCellSet TeCell Element TeCellSet TeCell Element TeLineSet TeLine2D Element TeLineSet TeLine2D Element TePolygonSet TePolygon Element TePolygonSet TePolygon

class Size a where Source

Methods size :: Ptr a -> IO Int32 Source Instances Size TePointSet Size TeCellSet Size TeLineSet Size TePolygonSet

Produced by Haddock version 2.4.2