Language.REST.Dot

Documentation

data DiGraph

Constructors

DiGraph String (Set Node) (Set Edge)

type NodeID = String

data GraphType

Constructors

Tree

Dag

Min

Instances

Read GraphType

Defined in Language.REST.Dot

Methods

readsPrec :: Int -> ReadS GraphType

readList :: ReadS [GraphType]

readPrec :: ReadPrec GraphType

readListPrec :: ReadPrec [GraphType]

data Node

Constructors

Node

Fields

• nodeID :: NodeID
• label :: String
• nodeStyle :: String
• labelColor :: String

Instances

Eq Node

Defined in Language.REST.Dot

Methods

(==) :: Node -> Node -> Bool

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

Ord Node

Defined in Language.REST.Dot

Methods

compare :: Node -> Node -> Ordering

(<) :: Node -> Node -> Bool

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

(>) :: Node -> Node -> Bool

(>=) :: Node -> Node -> Bool

max :: Node -> Node -> Node

min :: Node -> Node -> Node

Show Node

Defined in Language.REST.Dot

Methods

showsPrec :: Int -> Node -> ShowS

show :: Node -> String

showList :: [Node] -> ShowS

Generic Node

Defined in Language.REST.Dot

Associated Types

type Rep Node :: Type -> Type

Methods

from :: Node -> Rep Node x

to :: Rep Node x -> Node

Hashable Node

Defined in Language.REST.Dot

Methods

hashWithSalt :: Int -> Node -> Int

hash :: Node -> Int

type Rep Node

Defined in Language.REST.Dot

type Rep Node = D1 ('MetaData "Node" "Language.REST.Dot" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" 'False) (C1 ('MetaCons "Node" 'PrefixI 'True) ((S1 ('MetaSel ('Just "nodeID") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeID) :*: S1 ('MetaSel ('Just "label") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)) :*: (S1 ('MetaSel ('Just "nodeStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "labelColor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))))

data Edge

Constructors

Edge

Fields

• from :: NodeID
• to :: NodeID
• edgeLabel :: String
• edgeColor :: String
• subLabel :: String
• edgeStyle :: String

Instances

Eq Edge

Defined in Language.REST.Dot

Methods

(==) :: Edge -> Edge -> Bool

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

Ord Edge

Defined in Language.REST.Dot

Methods

compare :: Edge -> Edge -> Ordering

(<) :: Edge -> Edge -> Bool

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

(>) :: Edge -> Edge -> Bool

(>=) :: Edge -> Edge -> Bool

max :: Edge -> Edge -> Edge

min :: Edge -> Edge -> Edge

Show Edge

Defined in Language.REST.Dot

Methods

showsPrec :: Int -> Edge -> ShowS

show :: Edge -> String

showList :: [Edge] -> ShowS

Generic Edge

Defined in Language.REST.Dot

Associated Types

type Rep Edge :: Type -> Type

Methods

from :: Edge -> Rep Edge x

to :: Rep Edge x -> Edge

Hashable Edge

Defined in Language.REST.Dot

Methods

hashWithSalt :: Int -> Edge -> Int

hash :: Edge -> Int

type Rep Edge

Defined in Language.REST.Dot

type Rep Edge = D1 ('MetaData "Edge" "Language.REST.Dot" "rest-rewrite-0.3.0-C58P8WPn3kHJiQCBn16Zwt" 'False) (C1 ('MetaCons "Edge" 'PrefixI 'True) ((S1 ('MetaSel ('Just "from") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeID) :*: (S1 ('MetaSel ('Just "to") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NodeID) :*: S1 ('MetaSel ('Just "edgeLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String))) :*: (S1 ('MetaSel ('Just "edgeColor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: (S1 ('MetaSel ('Just "subLabel") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String) :*: S1 ('MetaSel ('Just "edgeStyle") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 String)))))

type DotPath = [Node]

nodeString :: Node -> String

edgeString :: Edge -> String

graphString :: DiGraph -> String

mkGraph :: String -> DiGraph -> IO ()