Safe Haskell	Safe-Inferred
Language	Haskell2010

Database.Postgis.Trivial.Cast

Synopsis

type family Cast p
class (Typeable p, PointND (Cast p)) => Castable p where
- toPointND :: p -> Cast p
- fromPointND :: Cast p -> p
class (Castable p, Traversable t, Typeable t) => Trans t p where
- transTo :: t p -> t (Cast p)
- transFrom :: t (Cast p) -> t p
class (Traversable t, Typeable t) => Repl t b where
- repl :: Int -> HeaderGetter b -> HeaderGetter (t b)
class Traversable t => GeoChain t where
- count :: t p -> Int
- putChain :: PointND a => Putter (t a)
- getChain :: (Traversable t, PointND a) => HeaderGetter (t a)

Documentation

type family Cast p Source #

'Type cast' type family

Instances

Instances details

type Cast P2DS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND type Cast P2DS = P2DS
type Cast P3DMS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND type Cast P3DMS = P3DMS
type Cast P3DZS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND type Cast P3DZS = P3DZS
type Cast P4DS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND type Cast P4DS = P4DS
type Cast P2D Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND type Cast P2D = P2D
type Cast P3DM Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND type Cast P3DM = P3DM
type Cast P3DZ Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND type Cast P3DZ = P3DZ
type Cast P4D Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND type Cast P4D = P4D
type Cast P2DU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND type Cast P2DU = P2DU
type Cast P3DMU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND type Cast P3DMU = P3DMU
type Cast P3DZU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND type Cast P3DZU = P3DZU
type Cast P4DU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND type Cast P4DU = P4DU

class (Typeable p, PointND (Cast p)) => Castable p where Source #

'Type cast' procedures

Methods

toPointND :: p -> Cast p Source #

fromPointND :: Cast p -> p Source #

Instances

Instances details

Castable P2DS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND Methods toPointND :: P2DS -> Cast P2DS Source # fromPointND :: Cast P2DS -> P2DS Source #
Castable P3DMS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND Methods toPointND :: P3DMS -> Cast P3DMS Source # fromPointND :: Cast P3DMS -> P3DMS Source #
Castable P3DZS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND Methods toPointND :: P3DZS -> Cast P3DZS Source # fromPointND :: Cast P3DZS -> P3DZS Source #
Castable P4DS Source #
Instance details Defined in Database.Postgis.Trivial.Storable.PointND Methods toPointND :: P4DS -> Cast P4DS Source # fromPointND :: Cast P4DS -> P4DS Source #
Castable P2D Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND Methods toPointND :: P2D -> Cast P2D Source # fromPointND :: Cast P2D -> P2D Source #
Castable P3DM Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND Methods toPointND :: P3DM -> Cast P3DM Source # fromPointND :: Cast P3DM -> P3DM Source #
Castable P3DZ Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND Methods toPointND :: P3DZ -> Cast P3DZ Source # fromPointND :: Cast P3DZ -> P3DZ Source #
Castable P4D Source #
Instance details Defined in Database.Postgis.Trivial.Traversable.PointND Methods toPointND :: P4D -> Cast P4D Source # fromPointND :: Cast P4D -> P4D Source #
Castable P2DU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND Methods toPointND :: P2DU -> Cast P2DU Source # fromPointND :: Cast P2DU -> P2DU Source #
Castable P3DMU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND Methods toPointND :: P3DMU -> Cast P3DMU Source # fromPointND :: Cast P3DMU -> P3DMU Source #
Castable P3DZU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND Methods toPointND :: P3DZU -> Cast P3DZU Source # fromPointND :: Cast P3DZU -> P3DZU Source #
Castable P4DU Source #
Instance details Defined in Database.Postgis.Trivial.Unboxed.PointND Methods toPointND :: P4DU -> Cast P4DU Source # fromPointND :: Cast P4DU -> P4DU Source #

class (Castable p, Traversable t, Typeable t) => Trans t p where Source #

Translator of Traversables

Minimal complete definition

Nothing

Methods

transTo :: t p -> t (Cast p) Source #

transFrom :: t (Cast p) -> t p Source #

Instances

Instances details

Castable p => Trans IntMap p Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods transTo :: IntMap p -> IntMap (Cast p) Source # transFrom :: IntMap (Cast p) -> IntMap p Source #
Castable p => Trans Vector p Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods transTo :: Vector p -> Vector (Cast p) Source # transFrom :: Vector (Cast p) -> Vector p Source #
Castable p => Trans [] p Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods transTo :: [p] -> [Cast p] Source # transFrom :: [Cast p] -> [p] Source #
(Castable p, Typeable k) => Trans (Map k) p Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods transTo :: Map k p -> Map k (Cast p) Source # transFrom :: Map k (Cast p) -> Map k p Source #

class (Traversable t, Typeable t) => Repl t b where Source #

Replication procedure for different Traversables

Methods

repl :: Int -> HeaderGetter b -> HeaderGetter (t b) Source #

Instances

Instances details

Repl Vector b Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods repl :: Int -> HeaderGetter b -> HeaderGetter (Vector b) Source #
Repl [] b Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods repl :: Int -> HeaderGetter b -> HeaderGetter [b] Source #

class Traversable t => GeoChain t where Source #

Point chain is a base structural component of geometries

Minimal complete definition

count, getChain

Methods

count :: t p -> Int Source #

putChain :: PointND a => Putter (t a) Source #

getChain :: (Traversable t, PointND a) => HeaderGetter (t a) Source #

Instances

Instances details

GeoChain IntMap Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods count :: IntMap p -> Int Source # putChain :: PointND a => Putter (IntMap a) Source # getChain :: (Traversable IntMap, PointND a) => HeaderGetter (IntMap a) Source #
GeoChain Vector Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods count :: Vector p -> Int Source # putChain :: PointND a => Putter (Vector a) Source # getChain :: (Traversable Vector, PointND a) => HeaderGetter (Vector a) Source #
GeoChain [] Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods count :: [p] -> Int Source # putChain :: PointND a => Putter [a] Source # getChain :: (Traversable [], PointND a) => HeaderGetter [a] Source #
GeoChain (Map Int) Source #
Instance details Defined in Database.Postgis.Trivial.Cast Methods count :: Map Int p -> Int Source # putChain :: PointND a => Putter (Map Int a) Source # getChain :: (Traversable (Map Int), PointND a) => HeaderGetter (Map Int a) Source #