postgis-trivial-0.0.1.0: PostGIS extention driver based on postgresql-simple package
Safe HaskellSafe-Inferred
LanguageHaskell2010

Database.Postgis.Trivial.Types

Synopsis

Documentation

type SRID = Maybe Int Source #

Spatial reference identifier

class Typeable a => PointND a where Source #

Inner point type class

Instances

Instances details
PointND P2DS Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.PointND

PointND P3DMS Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.PointND

PointND P3DZS Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.PointND

PointND P4DS Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.PointND

PointND P2D Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.PointND

PointND P3DM Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.PointND

PointND P3DZ Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.PointND

PointND P4D Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.PointND

PointND P2DU Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.PointND

PointND P3DMU Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.PointND

PointND P3DZU Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.PointND

PointND P4DU Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.PointND

type Putter a = a -> Put Source #

Binary putter

type Getter h = ReaderT h Get Source #

Binary getter

newtype Geo g Source #

Wrapper for geomety types (prevents collisions with default instances)

Constructors

Geo g 

Instances

Instances details
Geometry g => FromField (Geo g) Source # 
Instance details

Defined in Database.Postgis.Trivial.Types

Methods

fromField :: FieldParser (Geo g) #

Geometry g => ToField (Geo g) Source # 
Instance details

Defined in Database.Postgis.Trivial.Types

Methods

toField :: Geo g -> Action #

class Typeable a => Geometry a where Source #

Type class which defines geometry to/from binary form convertions

Instances

Instances details
(Castable p, Storable p, Storable (Cast p)) => Geometry (LineString p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

(Castable p, Storable p, Storable (Cast p)) => Geometry (MultiPoint p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

(Castable p, Storable p) => Geometry (Point p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

Castable p => Geometry (Point p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

(Castable p, Unbox p, Unbox (Cast p)) => Geometry (LineString p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Castable p, Unbox p, Unbox (Cast p)) => Geometry (MultiPoint p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Castable p, Unbox p) => Geometry (Point p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Castable p, Storable p, Storable (Cast p), GeoChain t2, Repl t2 (Vector (Cast p))) => Geometry (MultiLineString t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

(Castable p, Storable p, Storable (Cast p), GeoChain t2, Repl t2 (Vector (Cast p))) => Geometry (Polygon t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

(GeoChain t, Trans t p) => Geometry (LineString t p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

(Repl t (Cast p), GeoChain t, Trans t p) => Geometry (MultiPoint t p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

(Castable p, Unbox p, Unbox (Cast p), GeoChain t2, Repl t2 (Vector (Cast p))) => Geometry (MultiLineString t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Castable p, Unbox p, Unbox (Cast p), GeoChain t2, Repl t2 (Vector (Cast p))) => Geometry (Polygon t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Castable p, Storable p, Storable (Cast p), Repl t3 (t2 (Vector (Cast p))), Repl t2 (Vector (Cast p)), GeoChain t2, GeoChain t3) => Geometry (MultiPolygon t3 t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Storable.Geometry

(Repl t2 (t1 (Cast p)), GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (MultiLineString t2 t1 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

(Repl t2 (t1 (Cast p)), GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (Polygon t2 t1 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (Polygon t2 t1 p) Source #

getGeometry :: Get (Polygon t2 t1 p) Source #

(Castable p, Unbox p, Unbox (Cast p), Repl t3 (t2 (Vector (Cast p))), Repl t2 (Vector (Cast p)), GeoChain t2, GeoChain t3) => Geometry (MultiPolygon t3 t2 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Unboxed.Geometry

(Repl t3 (t2 (t1 (Cast p))), Repl t2 (t1 (Cast p)), GeoChain t3, GeoChain t2, GeoChain t1, Trans t1 p) => Geometry (MultiPolygon t3 t2 t1 p) Source # 
Instance details

Defined in Database.Postgis.Trivial.Traversable.Geometry

Methods

putGeometry :: Putter (MultiPolygon t3 t2 t1 p) Source #

getGeometry :: Get (MultiPolygon t3 t2 t1 p) Source #