layered-graph-drawing-0.1.0.0: Layered Graph Drawing after Sugiyama
Safe HaskellSafe-Inferred
LanguageHaskell2010

Graph.CommonGraph

Documentation

type UINode = Word32 Source #

type CGraph n e = Graph n [e] Source #

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

type Channel = Int Source #

data EdgeType Source #

Constructors

NormalEdge 
VerticalEdge 
VirtualHorEdge 
SeparatingEdge 

Instances

Instances details
Generic EdgeType Source # 
Instance details

Defined in Graph.CommonGraph

Associated Types

type Rep EdgeType :: Type -> Type #

Methods

from :: EdgeType -> Rep EdgeType x #

to :: Rep EdgeType x -> EdgeType #

Show EdgeType Source # 
Instance details

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> EdgeType -> ShowS #

show :: EdgeType -> String #

showList :: [EdgeType] -> ShowS #

Eq EdgeType Source # 
Instance details

Defined in Graph.CommonGraph

Methods

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

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

Ord EdgeType Source # 
Instance details

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 Source # 
Instance details

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 Source #

type Column = (GraphMoveX, [UINode]) Source #

class NodeClass n where Source #

Methods

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

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

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

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

isSubLabel :: n -> Bool Source #

isArgLabel :: n -> Bool Source #

subLabels :: n -> Int Source #

connectionNode :: n Source #

dummyNode :: Int -> n Source #

nestingFeatures :: n -> Maybe LayerFeatures Source #

updateLayer :: Maybe LayerFeatures -> n -> n Source #

verticalNumber :: n -> Maybe Word32 Source #

type ChannelNrIn = Maybe Channel Source #

type ChannelNrOut = Channel Source #

class EdgeClass e where Source #

Methods

dummyEdge :: ChannelNrIn -> ChannelNrOut -> e Source #

standard :: EdgeType -> e Source #

edgeType :: e -> EdgeType Source #

channelNrIn :: e -> ChannelNrIn Source #

channelNrOut :: e -> ChannelNrOut Source #

myFromJust :: Int -> Maybe a -> a Source #

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

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

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

vertBit :: Word8 Source #

virtBit :: Word8 Source #

sepBit :: Word8 Source #

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

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

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

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

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

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

data LayerFeatures Source #

Constructors

LayerFeatures 

Fields

Instances

Instances details
FromJSON LayerFeatures Source # 
Instance details

Defined in Graph.CommonGraph

Methods

parseJSON :: Value -> Parser LayerFeatures #

parseJSONList :: Value -> Parser [LayerFeatures] #

ToJSON LayerFeatures Source # 
Instance details

Defined in Graph.CommonGraph

Methods

toJSON :: LayerFeatures -> Value #

toEncoding :: LayerFeatures -> Encoding #

toJSONList :: [LayerFeatures] -> Value #

toEncodingList :: [LayerFeatures] -> Encoding #

Generic LayerFeatures Source # 
Instance details

Defined in Graph.CommonGraph

Associated Types

type Rep LayerFeatures :: Type -> Type #

Methods

from :: LayerFeatures -> Rep LayerFeatures x #

to :: Rep LayerFeatures x -> LayerFeatures #

Show LayerFeatures Source # 
Instance details

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> LayerFeatures -> ShowS #

show :: LayerFeatures -> String #

showList :: [LayerFeatures] -> ShowS #

type Rep LayerFeatures Source # 
Instance details

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 Source #

rb :: Int -> Maybe LayerFeatures Source #

tb :: Int -> Maybe LayerFeatures Source #

bb :: Int -> Maybe LayerFeatures Source #

ltb :: Int -> Maybe LayerFeatures Source #

rtb :: Int -> Maybe LayerFeatures Source #

lbb :: Int -> Maybe LayerFeatures Source #

rbb :: Int -> Maybe LayerFeatures Source #

mid :: Int -> Maybe LayerFeatures Source #

data Border Source #

Constructors

LeftBorder 
RightBorder 
TopBorder 
BottomBorder 
LeftTopBorder 
RightTopBorder 
LeftBottomBorder 
RightBottomBorder 

Instances

Instances details
FromJSON Border Source # 
Instance details

Defined in Graph.CommonGraph

Methods

parseJSON :: Value -> Parser Border #

parseJSONList :: Value -> Parser [Border] #

ToJSON Border Source # 
Instance details

Defined in Graph.CommonGraph

Methods

toJSON :: Border -> Value #

toEncoding :: Border -> Encoding #

toJSONList :: [Border] -> Value #

toEncodingList :: [Border] -> Encoding #

Generic Border Source # 
Instance details

Defined in Graph.CommonGraph

Associated Types

type Rep Border :: Type -> Type #

Methods

from :: Border -> Rep Border x #

to :: Rep Border x -> Border #

Show Border Source # 
Instance details

Defined in Graph.CommonGraph

Methods

showsPrec :: Int -> Border -> ShowS #

show :: Border -> String #

showList :: [Border] -> ShowS #

type Rep Border Source # 
Instance details

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] Source # 
Instance details

Methods

fastEdgeAttr :: [e] -> Word8 #

edgeFromAttr :: Map Word8 [e] #

show_e :: Maybe [e] -> String #

bases :: [e] -> [Edge8] #