Data.PlanarGraph.Dart

Data type for representing Darts (edges) in a planar graph.

Documentation

>>> :{
let dart i s = Dart (Arc i) (read s)
:}

newtype Arc s

An Arc is a directed edge in a planar graph. The type s is used to tie this arc to a particular graph.

Constructors

Arc

Fields

• _unArc :: Int

Instances

Bounded (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

minBound :: Arc s

maxBound :: Arc s

Enum (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

succ :: Arc s -> Arc s

pred :: Arc s -> Arc s

toEnum :: Int -> Arc s

fromEnum :: Arc s -> Int

enumFrom :: Arc s -> [Arc s]

enumFromThen :: Arc s -> Arc s -> [Arc s]

enumFromTo :: Arc s -> Arc s -> [Arc s]

enumFromThenTo :: Arc s -> Arc s -> Arc s -> [Arc s]

Eq (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

(==) :: Arc s -> Arc s -> Bool

(/=) :: Arc s -> Arc s -> Bool

Ord (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

compare :: Arc s -> Arc s -> Ordering

(<) :: Arc s -> Arc s -> Bool

(<=) :: Arc s -> Arc s -> Bool

(>) :: Arc s -> Arc s -> Bool

(>=) :: Arc s -> Arc s -> Bool

max :: Arc s -> Arc s -> Arc s

min :: Arc s -> Arc s -> Arc s

Show (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

showsPrec :: Int -> Arc s -> ShowS

show :: Arc s -> String

showList :: [Arc s] -> ShowS

Generic (Arc s)

Defined in Data.PlanarGraph.Dart

Associated Types

type Rep (Arc s) :: Type -> Type

Methods

from :: Arc s -> Rep (Arc s) x

to :: Rep (Arc s) x -> Arc s

Arbitrary (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

arbitrary :: Gen (Arc s)

shrink :: Arc s -> [Arc s]

NFData (Arc s)

Defined in Data.PlanarGraph.Dart

Methods

rnf :: Arc s -> ()

type Rep (Arc s)

Defined in Data.PlanarGraph.Dart

type Rep (Arc s) = D1 ('MetaData "Arc" "Data.PlanarGraph.Dart" "hgeometry-combinatorial-0.12.0.2-BPOszceZMWb3Na6sqXbM08" 'True) (C1 ('MetaCons "Arc" 'PrefixI 'True) (S1 ('MetaSel ('Just "_unArc") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int)))

data Direction

Darts have a direction which is either Positive or Negative (shown as +1 or -1, respectively).

Constructors

Negative

Positive

Instances

Bounded Direction

Defined in Data.PlanarGraph.Dart

Methods

minBound :: Direction

maxBound :: Direction

Enum Direction

Defined in Data.PlanarGraph.Dart

Methods

succ :: Direction -> Direction

pred :: Direction -> Direction

toEnum :: Int -> Direction

fromEnum :: Direction -> Int

enumFrom :: Direction -> [Direction]

enumFromThen :: Direction -> Direction -> [Direction]

enumFromTo :: Direction -> Direction -> [Direction]

enumFromThenTo :: Direction -> Direction -> Direction -> [Direction]

Eq Direction

Defined in Data.PlanarGraph.Dart

Methods

(==) :: Direction -> Direction -> Bool

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

Ord Direction

Defined in Data.PlanarGraph.Dart

Methods

compare :: Direction -> Direction -> Ordering

(<) :: Direction -> Direction -> Bool

(<=) :: Direction -> Direction -> Bool

(>) :: Direction -> Direction -> Bool

(>=) :: Direction -> Direction -> Bool

max :: Direction -> Direction -> Direction

min :: Direction -> Direction -> Direction

Read Direction

Defined in Data.PlanarGraph.Dart

Methods

readsPrec :: Int -> ReadS Direction

readList :: ReadS [Direction]

readPrec :: ReadPrec Direction

readListPrec :: ReadPrec [Direction]

Show Direction

Defined in Data.PlanarGraph.Dart

Methods

showsPrec :: Int -> Direction -> ShowS

show :: Direction -> String

showList :: [Direction] -> ShowS

Generic Direction

Defined in Data.PlanarGraph.Dart

Associated Types

type Rep Direction :: Type -> Type

Methods

from :: Direction -> Rep Direction x

to :: Rep Direction x -> Direction

Arbitrary Direction

Defined in Data.PlanarGraph.Dart

Methods

arbitrary :: Gen Direction

shrink :: Direction -> [Direction]

NFData Direction

Defined in Data.PlanarGraph.Dart

Methods

rnf :: Direction -> ()

type Rep Direction

Defined in Data.PlanarGraph.Dart

type Rep Direction = D1 ('MetaData "Direction" "Data.PlanarGraph.Dart" "hgeometry-combinatorial-0.12.0.2-BPOszceZMWb3Na6sqXbM08" 'False) (C1 ('MetaCons "Negative" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Positive" 'PrefixI 'False) (U1 :: Type -> Type))

rev :: Direction -> Direction

Reverse the direcion

data Dart s

A dart represents a bi-directed edge. I.e. a dart has a direction, however the dart of the oposite direction is always present in the planar graph as well.

Constructors

Dart

Fields

• _arc :: !(Arc s)
• _direction :: !Direction

Instances

Enum (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

succ :: Dart s -> Dart s

pred :: Dart s -> Dart s

toEnum :: Int -> Dart s

fromEnum :: Dart s -> Int

enumFrom :: Dart s -> [Dart s]

enumFromThen :: Dart s -> Dart s -> [Dart s]

enumFromTo :: Dart s -> Dart s -> [Dart s]

enumFromThenTo :: Dart s -> Dart s -> Dart s -> [Dart s]

Eq (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

(==) :: Dart s -> Dart s -> Bool

(/=) :: Dart s -> Dart s -> Bool

Ord (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

compare :: Dart s -> Dart s -> Ordering

(<) :: Dart s -> Dart s -> Bool

(<=) :: Dart s -> Dart s -> Bool

(>) :: Dart s -> Dart s -> Bool

(>=) :: Dart s -> Dart s -> Bool

max :: Dart s -> Dart s -> Dart s

min :: Dart s -> Dart s -> Dart s

Show (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

showsPrec :: Int -> Dart s -> ShowS

show :: Dart s -> String

showList :: [Dart s] -> ShowS

Generic (Dart s)

Defined in Data.PlanarGraph.Dart

Associated Types

type Rep (Dart s) :: Type -> Type

Methods

from :: Dart s -> Rep (Dart s) x

to :: Rep (Dart s) x -> Dart s

Arbitrary (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

arbitrary :: Gen (Dart s)

shrink :: Dart s -> [Dart s]

NFData (Dart s)

Defined in Data.PlanarGraph.Dart

Methods

rnf :: Dart s -> ()

HasDataOf (PlanarGraph s w v e f) (Dart s)

Defined in Data.PlanarGraph.Core

Associated Types

type DataOf (PlanarGraph s w v e f) (Dart s)

Methods

dataOf :: Dart s -> Lens' (PlanarGraph s w v e f) (DataOf (PlanarGraph s w v e f) (Dart s))

type Rep (Dart s)

Defined in Data.PlanarGraph.Dart

type Rep (Dart s) = D1 ('MetaData "Dart" "Data.PlanarGraph.Dart" "hgeometry-combinatorial-0.12.0.2-BPOszceZMWb3Na6sqXbM08" 'False) (C1 ('MetaCons "Dart" 'PrefixI 'True) (S1 ('MetaSel ('Just "_arc") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 (Arc s)) :*: S1 ('MetaSel ('Just "_direction") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Direction)))

type DataOf (PlanarGraph s w v e f) (Dart s)

Defined in Data.PlanarGraph.Core

type DataOf (PlanarGraph s w v e f) (Dart s) = e

arc :: Lens' (Dart s) (Arc s)

Arc lens.

direction :: Lens' (Dart s) Direction

Direction lens.

twin :: Dart s -> Dart s

Get the twin of this dart (edge)

>>> twin (dart 0 "+1")
Dart (Arc 0) -1
>>> twin (dart 0 "-1")
Dart (Arc 0) +1

isPositive :: Dart s -> Bool

test if a dart is Positive

allDarts :: [Dart s]

Enumerates all darts such that allDarts !! i = d = i == fromEnum d