Database.Groundhog.Postgresql.Geometry

Documentation

data Point

Constructors

Point Double Double

Instances

Eq Point

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Point -> Point -> Bool

(/=) :: Point -> Point -> Bool

Show Point

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Point -> ShowS

show :: Point -> String

showList :: [Point] -> ShowS

PersistField Point

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Point -> String

toPersistValues :: PersistBackend m => Point -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Point, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Point -> DbType

PrimitivePersistField Point

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Point -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Point

data Line

It is not fully implemented in PostgreSQL yet. It is kept just to match all geometric types.

Constructors

Line Point Point

Instances

Eq Line

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Line -> Line -> Bool

(/=) :: Line -> Line -> Bool

Show Line

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Line -> ShowS

show :: Line -> String

showList :: [Line] -> ShowS

PersistField Line

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Line -> String

toPersistValues :: PersistBackend m => Line -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Line, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Line -> DbType

PrimitivePersistField Line

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Line -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Line

data Lseg

Constructors

Lseg Point Point

Instances

Eq Lseg

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Lseg -> Lseg -> Bool

(/=) :: Lseg -> Lseg -> Bool

Show Lseg

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Lseg -> ShowS

show :: Lseg -> String

showList :: [Lseg] -> ShowS

PersistField Lseg

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Lseg -> String

toPersistValues :: PersistBackend m => Lseg -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Lseg, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Lseg -> DbType

PrimitivePersistField Lseg

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Lseg -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Lseg

data Box

Constructors

Box Point Point

Instances

Eq Box

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Box -> Box -> Bool

(/=) :: Box -> Box -> Bool

Show Box

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Box -> ShowS

show :: Box -> String

showList :: [Box] -> ShowS

PersistField Box

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Box -> String

toPersistValues :: PersistBackend m => Box -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Box, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Box -> DbType

PrimitivePersistField Box

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Box -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Box

data Path

Constructors

ClosedPath [Point]

OpenPath [Point]

Instances

Eq Path

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Path -> Path -> Bool

(/=) :: Path -> Path -> Bool

Show Path

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Path -> ShowS

show :: Path -> String

showList :: [Path] -> ShowS

PersistField Path

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Path -> String

toPersistValues :: PersistBackend m => Path -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Path, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Path -> DbType

PrimitivePersistField Path

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Path -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Path

data Polygon

Constructors

Polygon [Point]

Instances

Eq Polygon

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Polygon -> Polygon -> Bool

(/=) :: Polygon -> Polygon -> Bool

Show Polygon

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Polygon -> ShowS

show :: Polygon -> String

showList :: [Polygon] -> ShowS

PersistField Polygon

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Polygon -> String

toPersistValues :: PersistBackend m => Polygon -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Polygon, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Polygon -> DbType

PrimitivePersistField Polygon

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Polygon -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Polygon

data Circle

Constructors

Circle Point Double

Instances

Eq Circle

Defined in Database.Groundhog.Postgresql.Geometry

Methods

(==) :: Circle -> Circle -> Bool

(/=) :: Circle -> Circle -> Bool

Show Circle

Defined in Database.Groundhog.Postgresql.Geometry

Methods

showsPrec :: Int -> Circle -> ShowS

show :: Circle -> String

showList :: [Circle] -> ShowS

PersistField Circle

Defined in Database.Groundhog.Postgresql.Geometry

Methods

persistName :: Circle -> String

toPersistValues :: PersistBackend m => Circle -> m ([PersistValue] -> [PersistValue])

fromPersistValues :: PersistBackend m => [PersistValue] -> m (Circle, [PersistValue])

dbType :: DbDescriptor db => proxy db -> Circle -> DbType

PrimitivePersistField Circle

Defined in Database.Groundhog.Postgresql.Geometry

Methods

toPrimitivePersistValue :: Circle -> PersistValue

fromPrimitivePersistValue :: PersistValue -> Circle

(+.) :: (SqlDb db, Plus a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Expr db r a infixl 6

Translation

box '((0,0),(1,1))' + point '(2.0,0)' = box '(3,1),(2,0)'

(-.) :: (SqlDb db, BoxCirclePathPoint a, ExpressionOf db r x a, ExpressionOf db r y Point) => x -> y -> Expr db r a infixl 6

Translation

box '((0,0),(1,1))' - point '(2.0,0)' = box '(-1,1),(-2,0)'

(*.) :: (SqlDb db, BoxCirclePathPoint a, ExpressionOf db r x a, ExpressionOf db r y Point) => x -> y -> Expr db r a infixl 7

Scaling/rotation

box '((0,0),(1,1))' * point '(2.0,0)' = box '(2,2),(0,0)'

(/.) :: (SqlDb db, BoxCirclePathPoint a, ExpressionOf db r x a, ExpressionOf db r y Point) => x -> y -> Expr db r a infixl 7

Scaling/rotation

box '((0,0),(2,2))' / point '(2.0,0)' = box '(1,1),(0,0)'

(#) :: (SqlDb db, BoxLineLseg a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Expr db r a

Point or box of intersection

lseg '((1,-1),(-1,1))' # '((1,1),(-1,-1))' = point '(0,0)'

box '((1,-1),(-1,1))' # '((1,1),(-1,-1))' = box '(1,1),(-1,-1)'

(##) :: (SqlDb db, Closest a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Expr db r Point

Closest point to first operand on second operand

point '(0,0)' ## lseg '((2,0),(0,2))' = point '(1,1)'

(<->) :: (SqlDb db, Distance a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Expr db r Double

Distance between

circle '((0,0),1)' - circle '((5,0),1)' = 3

(&&) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Overlaps?

box '((0,0),(1,1))' && box '((0,0),(2,2))' = true

(<<) :: (SqlDb db, BoxCirclePointPolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is strictly left of?

circle '((0,0),1)' << circle '((5,0),1)' = true

(>>) :: (SqlDb db, BoxCirclePointPolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is strictly right of?

circle '((5,0),1)' >> circle '((0,0),1)' = true

(&<) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Does not extend to the right of? box '((0,0),(1,1))' &< box '((0,0),(2,2))' = t

(&>) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Does not extend to the left of?

box '((0,0),(3,3))' &> box '((0,0),(2,2))' = true

(<<|) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is strictly below?

box '((0,0),(3,3))' <<| box '((3,4),(5,5))' = true

(|>>) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is strictly above?

box '((3,4),(5,5))' |>> box '((0,0),(3,3))'

(&<|) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Does not extend above?

box '((0,0),(1,1))' &<| box '((0,0),(2,2))' = true

(|&>) :: (SqlDb db, BoxCirclePolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Does not extend below?

box '((0,0),(3,3))' |&> box '((0,0),(2,2))' = true

(<^) :: (SqlDb db, BoxPoint a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is below (allows touching)?

circle '((0,0),1)' <^ circle '((0,5),1)' = true

(>^) :: (SqlDb db, BoxPoint a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is above (allows touching)?

circle '((0,5),1)' >^ circle '((0,0),1)' = true

(?#) :: (SqlDb db, Intersects a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Cond db r

Intersects?

lseg '((-1,0),(1,0))' ?# box '((-2,-2),(2,2))' = true

(?-) :: (SqlDb db, ExpressionOf db r x Point, ExpressionOf db r y Point) => x -> y -> Cond db r

Are horizontally aligned?

point '(1,0)' ?- point '(0,0)' = true

(?|) :: (SqlDb db, ExpressionOf db r x Point, ExpressionOf db r y Point) => x -> y -> Cond db r

Are vertically aligned?

point '(0,1)' ?| point '(0,0)' = true

(?-|) :: (SqlDb db, LineLseg a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Is perpendicular?

lseg '((0,0),(0,1))' ?-| lseg '((0,0),(1,0))' = true

(?||) :: (SqlDb db, LineLseg a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Are parallel?

lseg '((-1,0),(1,0))' ?|| lseg '((-1,2),(1,2))' = true

(@>) :: (SqlDb db, Contains a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Cond db r

Contains?

circle '((0,0),2)' @> point '(1,1)' = true

(<@) :: (SqlDb db, Contained a b, ExpressionOf db r x a, ExpressionOf db r y b) => x -> y -> Cond db r

Contained in or on?

point '(1,1)' <@ circle '((0,0),2)' = true

(~=) :: (SqlDb db, BoxCirclePointPolygon a, ExpressionOf db r x a, ExpressionOf db r y a) => x -> y -> Cond db r

Same as?

polygon '((0,0),(1,1))' ~= polygon '((1,1),(0,0))' = true