Data.Registry.Internal.Operations

Nested datatype to track the resolution algorithm

From this data type we can draw a graph of the full instantation of a value

Documentation

type Operations = [AppliedFunction]

A list of function applications created when creating a value out of the Registry

data AppliedFunction

A function application with an output value and a list of input values

Constructors

AppliedFunction

Fields

• _outputValue :: Value
• _inputValues :: [Value]

Instances

Show AppliedFunction

Defined in Data.Registry.Internal.Operations

Methods

showsPrec :: Int -> AppliedFunction -> ShowS

show :: AppliedFunction -> String

showList :: [AppliedFunction] -> ShowS

makeEdges :: Operations -> [(Value, Value)]

Make a list of graph edges from the list of function applications

DOT GRAPH

newtype Dot

A DOT graph

Constructors

Dot

Fields

• unDot :: Text

Instances

Eq Dot

Defined in Data.Registry.Internal.Operations

Methods

(==) :: Dot -> Dot -> Bool

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

Show Dot

Defined in Data.Registry.Internal.Operations

Methods

showsPrec :: Int -> Dot -> ShowS

show :: Dot -> String

showList :: [Dot] -> ShowS

toDot :: Operations -> Dot

Make a DOT graph out of all the function applications

toDotEdge :: (Value, Value) -> Text

A DOT edge representing the dependency between 2 values

nodeDescription :: ValueDescription -> Text

Description of a Value in the DOT graph

adjust :: Text -> Text

We need to process the node descriptions - we add quotes arountd the text - we remove quotes (") inside the text - we escape newlines

removeQuotes :: Text -> Text

Remove quotes from a textual description to avoid breaking the DOT format

escapeNewlines :: Text -> Text

Replace n with \n so that newlines are kept in node descriptions