Safe Haskell	None
Language	Haskell2010

Dot.Types

Synopsis

Documentation

data Strictness Source #

Constructors

Strict
NonStrict

Instances

Read Strictness Source #
Methods readsPrec :: Int -> ReadS Strictness # readList :: ReadS [Strictness] # readPrec :: ReadPrec Strictness # readListPrec :: ReadPrec [Strictness] #
Show Strictness Source #
Methods showsPrec :: Int -> Strictness -> ShowS # show :: Strictness -> String # showList :: [Strictness] -> ShowS #

data Directionality Source #

Constructors

Directed
Undirected

Instances

Read Directionality Source #
Methods readsPrec :: Int -> ReadS Directionality # readList :: ReadS [Directionality] # readPrec :: ReadPrec Directionality # readListPrec :: ReadPrec [Directionality] #
Show Directionality Source #
Methods showsPrec :: Int -> Directionality -> ShowS # show :: Directionality -> String # showList :: [Directionality] -> ShowS #

data CardinalDirection Source #

Constructors

North
East
South
West
Northeast
Northwest
Southeast
Southwest

Instances

Read CardinalDirection Source #
Methods readsPrec :: Int -> ReadS CardinalDirection # readList :: ReadS [CardinalDirection] # readPrec :: ReadPrec CardinalDirection # readListPrec :: ReadPrec [CardinalDirection] #
Show CardinalDirection Source #
Methods showsPrec :: Int -> CardinalDirection -> ShowS # show :: CardinalDirection -> String # showList :: [CardinalDirection] -> ShowS #

data Element Source #

Constructors

Graph
Node
Edge

Instances

Read Element Source #
Methods readsPrec :: Int -> ReadS Element # readList :: ReadS [Element] # readPrec :: ReadPrec Element # readListPrec :: ReadPrec [Element] #
Show Element Source #
Methods showsPrec :: Int -> Element -> ShowS # show :: Element -> String # showList :: [Element] -> ShowS #

data EdgeElement Source #

Constructors

EdgeSubgraph Subgraph
EdgeNode NodeId

Instances

Read EdgeElement Source #
Methods readsPrec :: Int -> ReadS EdgeElement # readList :: ReadS [EdgeElement] # readPrec :: ReadPrec EdgeElement # readListPrec :: ReadPrec [EdgeElement] #
Show EdgeElement Source #
Methods showsPrec :: Int -> EdgeElement -> ShowS # show :: EdgeElement -> String # showList :: [EdgeElement] -> ShowS #
IsString EdgeElement Source #
Methods fromString :: String -> EdgeElement #

newtype Id Source #

Constructors

Id Text

Instances

Read Id Source #
Methods readsPrec :: Int -> ReadS Id # readList :: ReadS [Id] # readPrec :: ReadPrec Id # readListPrec :: ReadPrec [Id] #
Show Id Source #
Methods showsPrec :: Int -> Id -> ShowS # show :: Id -> String # showList :: [Id] -> ShowS #
IsString Id Source #
Methods fromString :: String -> Id #

data NodeId Source #

Constructors

NodeId Id (Maybe Port)

Instances

Read NodeId Source #
Methods readsPrec :: Int -> ReadS NodeId # readList :: ReadS [NodeId] # readPrec :: ReadPrec NodeId # readListPrec :: ReadPrec [NodeId] #
Show NodeId Source #
Methods showsPrec :: Int -> NodeId -> ShowS # show :: NodeId -> String # showList :: [NodeId] -> ShowS #
IsString NodeId Source #
Methods fromString :: String -> NodeId #

data NonEmpty a Source #

Stole this from semigroups. Remove it once GHC 8.0 gains widespread adoption.

Constructors

a :| [a]

data ListTwo a Source #

Constructors

ListTwo
Fields listTwoFirst :: a listTwoSecond :: a listTwoOther :: [a]

Instances

Read a => Read (ListTwo a) Source #
Methods readsPrec :: Int -> ReadS (ListTwo a) # readList :: ReadS [ListTwo a] # readPrec :: ReadPrec (ListTwo a) # readListPrec :: ReadPrec [ListTwo a] #
Show a => Show (ListTwo a) Source #
Methods showsPrec :: Int -> ListTwo a -> ShowS # show :: ListTwo a -> String # showList :: [ListTwo a] -> ShowS #

data Port Source #

Constructors

Port
Fields portId :: Id portCompass :: Maybe CardinalDirection

Instances

Read Port Source #
Methods readsPrec :: Int -> ReadS Port # readList :: ReadS [Port] # readPrec :: ReadPrec Port # readListPrec :: ReadPrec [Port] #
Show Port Source #
Methods showsPrec :: Int -> Port -> ShowS # show :: Port -> String # showList :: [Port] -> ShowS #

data DotGraph Source #

Constructors

DotGraph Strictness Directionality (Maybe Id) [Statement]

Instances

Read DotGraph Source #
Methods readsPrec :: Int -> ReadS DotGraph # readList :: ReadS [DotGraph] # readPrec :: ReadPrec DotGraph # readListPrec :: ReadPrec [DotGraph] #
Show DotGraph Source #
Methods showsPrec :: Int -> DotGraph -> ShowS # show :: DotGraph -> String # showList :: [DotGraph] -> ShowS #

data Statement Source #

Constructors

StatementAttribute AttributeStatement
StatementNode NodeStatement
StatementEdge EdgeStatement
StatementSubgraph Subgraph
StatementEquality Id Id

Instances

Read Statement Source #
Methods readsPrec :: Int -> ReadS Statement # readList :: ReadS [Statement] # readPrec :: ReadPrec Statement # readListPrec :: ReadPrec [Statement] #
Show Statement Source #
Methods showsPrec :: Int -> Statement -> ShowS # show :: Statement -> String # showList :: [Statement] -> ShowS #

data AttributeStatement Source #

Constructors

AttributeStatement Element [Attribute]

Instances

Read AttributeStatement Source #
Methods readsPrec :: Int -> ReadS AttributeStatement # readList :: ReadS [AttributeStatement] # readPrec :: ReadPrec AttributeStatement # readListPrec :: ReadPrec [AttributeStatement] #
Show AttributeStatement Source #
Methods showsPrec :: Int -> AttributeStatement -> ShowS # show :: AttributeStatement -> String # showList :: [AttributeStatement] -> ShowS #

data Attribute Source #

Constructors

Attribute Id Id

Instances

Read Attribute Source #
Methods readsPrec :: Int -> ReadS Attribute # readList :: ReadS [Attribute] # readPrec :: ReadPrec Attribute # readListPrec :: ReadPrec [Attribute] #
Show Attribute Source #
Methods showsPrec :: Int -> Attribute -> ShowS # show :: Attribute -> String # showList :: [Attribute] -> ShowS #

data NodeStatement Source #

Constructors

NodeStatement NodeId [Attribute]

Instances

Read NodeStatement Source #
Methods readsPrec :: Int -> ReadS NodeStatement # readList :: ReadS [NodeStatement] # readPrec :: ReadPrec NodeStatement # readListPrec :: ReadPrec [NodeStatement] #
Show NodeStatement Source #
Methods showsPrec :: Int -> NodeStatement -> ShowS # show :: NodeStatement -> String # showList :: [NodeStatement] -> ShowS #

data EdgeStatement Source #

Constructors

EdgeStatement (ListTwo EdgeElement) [Attribute]

Instances

Read EdgeStatement Source #
Methods readsPrec :: Int -> ReadS EdgeStatement # readList :: ReadS [EdgeStatement] # readPrec :: ReadPrec EdgeStatement # readListPrec :: ReadPrec [EdgeStatement] #
Show EdgeStatement Source #
Methods showsPrec :: Int -> EdgeStatement -> ShowS # show :: EdgeStatement -> String # showList :: [EdgeStatement] -> ShowS #

data Subgraph Source #

Constructors

Subgraph
Fields subgraphId :: Maybe Id subgraphStatements :: [Statement]

Instances

Read Subgraph Source #
Methods readsPrec :: Int -> ReadS Subgraph # readList :: ReadS [Subgraph] # readPrec :: ReadPrec Subgraph # readListPrec :: ReadPrec [Subgraph] #
Show Subgraph Source #
Methods showsPrec :: Int -> Subgraph -> ShowS # show :: Subgraph -> String # showList :: [Subgraph] -> ShowS #