Data.PlanarGraph.AdjRep

Data types that to represent a planar graph as Adjacency Lists. The main purpose is to help encodedecode a PlanarGraph as a JSONYAML file.

Documentation

data Gr v f

Data type representing the graph in its JSON/Yaml format

Constructors

Gr

Fields

• adjacencies :: [v]
• faces :: [f]

Instances

Bifunctor Gr

Defined in Data.PlanarGraph.AdjRep

Methods

bimap :: (a -> b) -> (c -> d) -> Gr a c -> Gr b d

first :: (a -> b) -> Gr a c -> Gr b c

second :: (b -> c) -> Gr a b -> Gr a c

(Eq v, Eq f) => Eq (Gr v f)

Defined in Data.PlanarGraph.AdjRep

Methods

(==) :: Gr v f -> Gr v f -> Bool

(/=) :: Gr v f -> Gr v f -> Bool

(Show v, Show f) => Show (Gr v f)

Defined in Data.PlanarGraph.AdjRep

Methods

showsPrec :: Int -> Gr v f -> ShowS

show :: Gr v f -> String

showList :: [Gr v f] -> ShowS

Generic (Gr v f)

Defined in Data.PlanarGraph.AdjRep

Associated Types

type Rep (Gr v f) :: Type -> Type

Methods

from :: Gr v f -> Rep (Gr v f) x

to :: Rep (Gr v f) x -> Gr v f

(ToJSON v, ToJSON f) => ToJSON (Gr v f)

Defined in Data.PlanarGraph.AdjRep

Methods

toJSON :: Gr v f -> Value

toEncoding :: Gr v f -> Encoding

toJSONList :: [Gr v f] -> Value

toEncodingList :: [Gr v f] -> Encoding

(FromJSON v, FromJSON f) => FromJSON (Gr v f)

Defined in Data.PlanarGraph.AdjRep

Methods

parseJSON :: Value -> Parser (Gr v f)

parseJSONList :: Value -> Parser [Gr v f]

type Rep (Gr v f)

Defined in Data.PlanarGraph.AdjRep

type Rep (Gr v f) = D1 ('MetaData "Gr" "Data.PlanarGraph.AdjRep" "hgeometry-combinatorial-0.14-4eKKoxfw4Iy23UosEmuxsr" 'False) (C1 ('MetaCons "Gr" 'PrefixI 'True) (S1 ('MetaSel ('Just "adjacencies") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [v]) :*: S1 ('MetaSel ('Just "faces") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [f])))

data Vtx v e

A vertex, represented by an id, its adjacencies, and its data.

Constructors

Vtx

Fields

• id :: Int
• adj :: [(Int, e)]

  adjacent vertices + data on the edge. Some functions, like fromAdjRep may assume that the adjacencies are given in counterclockwise order around the vertices. This is not (yet) enforced by the data type.

• vData :: v

Instances

Bifunctor Vtx

Defined in Data.PlanarGraph.AdjRep

Methods

bimap :: (a -> b) -> (c -> d) -> Vtx a c -> Vtx b d

first :: (a -> b) -> Vtx a c -> Vtx b c

second :: (b -> c) -> Vtx a b -> Vtx a c

(Eq e, Eq v) => Eq (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

Methods

(==) :: Vtx v e -> Vtx v e -> Bool

(/=) :: Vtx v e -> Vtx v e -> Bool

(Show e, Show v) => Show (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

Methods

showsPrec :: Int -> Vtx v e -> ShowS

show :: Vtx v e -> String

showList :: [Vtx v e] -> ShowS

Generic (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

Associated Types

type Rep (Vtx v e) :: Type -> Type

Methods

from :: Vtx v e -> Rep (Vtx v e) x

to :: Rep (Vtx v e) x -> Vtx v e

(ToJSON v, ToJSON e) => ToJSON (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

Methods

toJSON :: Vtx v e -> Value

toEncoding :: Vtx v e -> Encoding

toJSONList :: [Vtx v e] -> Value

toEncodingList :: [Vtx v e] -> Encoding

(FromJSON v, FromJSON e) => FromJSON (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

Methods

parseJSON :: Value -> Parser (Vtx v e)

parseJSONList :: Value -> Parser [Vtx v e]

type Rep (Vtx v e)

Defined in Data.PlanarGraph.AdjRep

type Rep (Vtx v e) = D1 ('MetaData "Vtx" "Data.PlanarGraph.AdjRep" "hgeometry-combinatorial-0.14-4eKKoxfw4Iy23UosEmuxsr" 'False) (C1 ('MetaCons "Vtx" 'PrefixI 'True) (S1 ('MetaSel ('Just "id") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: (S1 ('MetaSel ('Just "adj") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Int, e)]) :*: S1 ('MetaSel ('Just "vData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 v))))

data Face f

Faces

Constructors

Face

Fields

• incidentEdge :: (Int, Int)

  an edge (u,v) s.t. the face is right from (u,v)

• fData :: f

Instances

Functor Face

Defined in Data.PlanarGraph.AdjRep

Methods

fmap :: (a -> b) -> Face a -> Face b

(<$) :: a -> Face b -> Face a

Eq f => Eq (Face f)

Defined in Data.PlanarGraph.AdjRep

Methods

(==) :: Face f -> Face f -> Bool

(/=) :: Face f -> Face f -> Bool

Show f => Show (Face f)

Defined in Data.PlanarGraph.AdjRep

Methods

showsPrec :: Int -> Face f -> ShowS

show :: Face f -> String

showList :: [Face f] -> ShowS

Generic (Face f)

Defined in Data.PlanarGraph.AdjRep

Associated Types

type Rep (Face f) :: Type -> Type

Methods

from :: Face f -> Rep (Face f) x

to :: Rep (Face f) x -> Face f

ToJSON f => ToJSON (Face f)

Defined in Data.PlanarGraph.AdjRep

Methods

toJSON :: Face f -> Value

toEncoding :: Face f -> Encoding

toJSONList :: [Face f] -> Value

toEncodingList :: [Face f] -> Encoding

FromJSON f => FromJSON (Face f)

Defined in Data.PlanarGraph.AdjRep

Methods

parseJSON :: Value -> Parser (Face f)

parseJSONList :: Value -> Parser [Face f]

type Rep (Face f)

Defined in Data.PlanarGraph.AdjRep

type Rep (Face f) = D1 ('MetaData "Face" "Data.PlanarGraph.AdjRep" "hgeometry-combinatorial-0.14-4eKKoxfw4Iy23UosEmuxsr" 'False) (C1 ('MetaCons "Face" 'PrefixI 'True) (S1 ('MetaSel ('Just "incidentEdge") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Int, Int)) :*: S1 ('MetaSel ('Just "fData") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 f)))