Graph.CommonGraph

Documentation

type UINode = Word32

type CGraph n e = Graph n [e]

type CGraphL n e = (Graph n [e], Map UINode (Int, Int))

type Channel = Int

data EdgeType

Constructors

NormalEdge

VerticalEdge

VirtualHorEdge

SeparatingEdge

Instances

Generic EdgeType

Defined in Graph.CommonGraph

Associated Types

type Rep EdgeType :: Type -> Type

Methods

from :: EdgeType -> Rep EdgeType x

to :: Rep EdgeType x -> EdgeType

Show EdgeType

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> EdgeType -> ShowS

show :: EdgeType -> String

showList :: [EdgeType] -> ShowS

Eq EdgeType

Defined in Graph.CommonGraph

Methods

(==) :: EdgeType -> EdgeType -> Bool

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

Ord EdgeType

Defined in Graph.CommonGraph

Methods

compare :: EdgeType -> EdgeType -> Ordering

(<) :: EdgeType -> EdgeType -> Bool

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

(>) :: EdgeType -> EdgeType -> Bool

(>=) :: EdgeType -> EdgeType -> Bool

max :: EdgeType -> EdgeType -> EdgeType

min :: EdgeType -> EdgeType -> EdgeType

type Rep EdgeType

Defined in Graph.CommonGraph

type Rep EdgeType = D1 ('MetaData "EdgeType" "Graph.CommonGraph" "layered-graph-drawing-0.1.0.0-GLDVkXvxrQkPIxH8gGuyn" 'False) ((C1 ('MetaCons "NormalEdge" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VerticalEdge" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "VirtualHorEdge" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SeparatingEdge" 'PrefixI 'False) (U1 :: Type -> Type)))

type GraphMoveX = Int

type Column = (GraphMoveX, [UINode])

class NodeClass n where

Methods

isDummy :: EdgeClass e => CGraph n e -> UINode -> Bool

isConnNode :: EdgeClass e => CGraph n e -> UINode -> Bool

isFunction :: EdgeClass e => CGraph n e -> UINode -> Bool

isMainArg :: CGraph n e -> UINode -> Bool

isSubLabel :: n -> Bool

isArgLabel :: n -> Bool

subLabels :: n -> Int

connectionNode :: n

dummyNode :: Int -> n

nestingFeatures :: n -> Maybe LayerFeatures

updateLayer :: Maybe LayerFeatures -> n -> n

verticalNumber :: n -> Maybe Word32

type ChannelNrIn = Maybe Channel

type ChannelNrOut = Channel

class EdgeClass e where

Methods

dummyEdge :: ChannelNrIn -> ChannelNrOut -> e

standard :: EdgeType -> e

edgeType :: e -> EdgeType

channelNrIn :: e -> ChannelNrIn

channelNrOut :: e -> ChannelNrOut

myFromJust :: Int -> Maybe a -> a

myhead :: Int -> [a] -> a

vhead :: Unbox a => Int -> Vector a -> a

rmdups :: Ord a => [a] -> [a]

vertBit :: Word8

virtBit :: Word8

sepBit :: Word8

childrenSeparating :: EdgeClass e => CGraph n e -> Word32 -> Vector Word32

childrenNoVertical :: EdgeClass e => Graph n [e] -> Word32 -> Vector Word32

childrenVertical :: EdgeClass e => Graph n [e] -> Word32 -> Vector Word32

parentsVertical :: EdgeClass e => Graph n [e] -> Word32 -> Vector Word32

parentsNoVertical :: EdgeClass e => Graph n [e] -> Word32 -> Vector Word32

verticallyConnectedNodes :: EdgeClass e => CGraph n e -> UINode -> [UINode]

data LayerFeatures

Constructors

LayerFeatures

Fields

• layer :: Int
• border :: Maybe Border

Instances

FromJSON LayerFeatures

Defined in Graph.CommonGraph

Methods

parseJSON :: Value -> Parser LayerFeatures

parseJSONList :: Value -> Parser [LayerFeatures]

ToJSON LayerFeatures

Defined in Graph.CommonGraph

Methods

toJSON :: LayerFeatures -> Value

toEncoding :: LayerFeatures -> Encoding

toJSONList :: [LayerFeatures] -> Value

toEncodingList :: [LayerFeatures] -> Encoding

Generic LayerFeatures

Defined in Graph.CommonGraph

Associated Types

type Rep LayerFeatures :: Type -> Type

Methods

from :: LayerFeatures -> Rep LayerFeatures x

to :: Rep LayerFeatures x -> LayerFeatures

Show LayerFeatures

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> LayerFeatures -> ShowS

show :: LayerFeatures -> String

showList :: [LayerFeatures] -> ShowS

type Rep LayerFeatures

Defined in Graph.CommonGraph

type Rep LayerFeatures = D1 ('MetaData "LayerFeatures" "Graph.CommonGraph" "layered-graph-drawing-0.1.0.0-GLDVkXvxrQkPIxH8gGuyn" 'False) (C1 ('MetaCons "LayerFeatures" 'PrefixI 'True) (S1 ('MetaSel ('Just "layer") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Int) :*: S1 ('MetaSel ('Just "border") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Border))))

lb :: Int -> Maybe LayerFeatures

rb :: Int -> Maybe LayerFeatures

tb :: Int -> Maybe LayerFeatures

bb :: Int -> Maybe LayerFeatures

ltb :: Int -> Maybe LayerFeatures

rtb :: Int -> Maybe LayerFeatures

lbb :: Int -> Maybe LayerFeatures

rbb :: Int -> Maybe LayerFeatures

mid :: Int -> Maybe LayerFeatures

data Border

Constructors

LeftBorder

RightBorder

TopBorder

BottomBorder

LeftTopBorder

RightTopBorder

LeftBottomBorder

RightBottomBorder

Instances

FromJSON Border

Defined in Graph.CommonGraph

Methods

parseJSON :: Value -> Parser Border

parseJSONList :: Value -> Parser [Border]

ToJSON Border

Defined in Graph.CommonGraph

Methods

toJSON :: Border -> Value

toEncoding :: Border -> Encoding

toJSONList :: [Border] -> Value

toEncodingList :: [Border] -> Encoding

Generic Border

Defined in Graph.CommonGraph

Associated Types

type Rep Border :: Type -> Type

Methods

from :: Border -> Rep Border x

to :: Rep Border x -> Border

Show Border

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> Border -> ShowS

show :: Border -> String

showList :: [Border] -> ShowS

type Rep Border

Defined in Graph.CommonGraph

type Rep Border = D1 ('MetaData "Border" "Graph.CommonGraph" "layered-graph-drawing-0.1.0.0-GLDVkXvxrQkPIxH8gGuyn" 'False) (((C1 ('MetaCons "LeftBorder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightBorder" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TopBorder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BottomBorder" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "LeftTopBorder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightTopBorder" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "LeftBottomBorder" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RightBottomBorder" 'PrefixI 'False) (U1 :: Type -> Type))))

Orphan instances

EdgeClass e => EdgeAttribute [e]

Methods

fastEdgeAttr :: [e] -> Word8

edgeFromAttr :: Map Word8 [e]

show_e :: Maybe [e] -> String

bases :: [e] -> [Edge8]