Data.LineString

Refer to the GeoJSON Spec http://geojson.org/geojson-spec.html#linestring

A LinearString is a List with at least 2 elements

Type

data LineString a

a LineString has at least 2 elements

Instances

(Storable a, Eq a) => Eq (LineString a)

Methods

(==) :: LineString a -> LineString a -> Bool

(/=) :: LineString a -> LineString a -> Bool

(Show a, Storable a) => Show (LineString a)

Methods

showsPrec :: Int -> LineString a -> ShowS

show :: LineString a -> String

showList :: [LineString a] -> ShowS

Generic (LineString a)

Associated Types

type Rep (LineString a) :: * -> *

Methods

from :: LineString a -> Rep (LineString a) x

to :: Rep (LineString a) x -> LineString a

(ToJSON a, Storable a) => ToJSON (LineString a)

Methods

toJSON :: LineString a -> Value

toEncoding :: LineString a -> Encoding

toJSONList :: [LineString a] -> Value

toEncodingList :: [LineString a] -> Encoding

(FromJSON a, Show a, Storable a) => FromJSON (LineString a)

Methods

parseJSON :: Value -> Parser (LineString a)

parseJSONList :: Value -> Parser [LineString a]

NFData a => NFData (LineString a)

Methods

rnf :: LineString a -> ()

type Rep (LineString a)

type Rep (LineString a) = D1 * (MetaData "LineString" "Data.LineString" "geojson-2.0.0-83h4RRWcSVDK020mHmpqKJ" False) (C1 * (MetaCons "LineString" PrefixI False) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) ((:*:) * (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * a)) (S1 * (MetaSel (Nothing Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Vector a))))))

data ListToLineStringError

When converting a List to a LineString, here is a list of things that can go wrong:

• The list was empty
• The list only had one element

Constructors

ListEmpty

SingletonList

Instances

Eq ListToLineStringError

Methods

(==) :: ListToLineStringError -> ListToLineStringError -> Bool

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

Show ListToLineStringError

Methods

showsPrec :: Int -> ListToLineStringError -> ShowS

show :: ListToLineStringError -> String

showList :: [ListToLineStringError] -> ShowS

data VectorToLineStringError

When converting a Vector to a LineString, here is a list of things that can go wrong:

• The vector was empty
• The vector only had one element

Constructors

VectorEmpty

SingletonVector

Instances

Eq VectorToLineStringError

Methods

(==) :: VectorToLineStringError -> VectorToLineStringError -> Bool

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

Show VectorToLineStringError

Methods

showsPrec :: Int -> VectorToLineStringError -> ShowS

show :: VectorToLineStringError -> String

showList :: [VectorToLineStringError] -> ShowS

Functions

toVector :: Storable a => LineString a -> Vector a

create a vector from a LineString. LineString 1 2 [3,4] --> Vector [1,2,3,4]

combineToVector :: (Storable a, Storable b) => (a -> a -> b) -> LineString a -> Vector b

create a vector from a LineString by combining values. LineString 1 2 3,4 --> Vector [(1,2),(2,3),(3,4)]

fromVector :: (Validate v, Storable a) => Vector a -> v VectorToLineStringError (LineString a)

creates a LineString out of a vector of elements, if there are enough elements (needs at least 2) elements

fromLineString :: Storable a => LineString a -> [a]

This function converts it into a list and appends the given element to the end.

fromList :: (Validate v, Storable a) => [a] -> v ListToLineStringError (LineString a)

creates a LineString out of a list of elements, if there are enough elements (needs at least 2) elements

map :: (Storable a, Storable b) => (a -> b) -> LineString a -> LineString b

foldr :: Storable a => (a -> b -> b) -> b -> LineString a -> b

This will run through the entire ring, closing the loop by also passing the initial element in again at the end.

foldMap :: (Monoid m, Storable a) => (a -> m) -> LineString a -> m

makeLineString

Arguments

:: Storable a

=> a

The first element

-> a

The second element

-> Vector a

The rest of the optional elements

-> LineString a

Creates a LineString makeLineString x y zs creates a LineString homomorphic to the list [x, y] ++ zs

lineStringHead :: LineString a -> a

returns the element at the head of the string

lineStringLast :: Storable a => LineString a -> a

returns the last element in the string

lineStringLength :: Storable a => LineString a -> Int

returns the number of elements in the list, including the replicated element at the end of the list.