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.11.0.0-Cktt0ZWYuCrAhHfx7XTJDd" 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.11.0.0-Cktt0ZWYuCrAhHfx7XTJDd" 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) :: Type

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.11.0.0-Cktt0ZWYuCrAhHfx7XTJDd" 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

direction :: forall s. Lens' (Dart s) Direction

arc :: forall s s. Lens (Dart s) (Dart s) (Arc s) (Arc s)

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