Topology.hs

-- Note: this is an automatically generated file. Do not edit.

-- | A model for simple graphs as adjacency lists

module Hydra.Topology where

import qualified Hydra.Core as Core
import Prelude hiding  (Enum, Ordering, decodeFloat, encodeFloat, fail, map, pure, sum)
import qualified Data.Scientific as Sci
import qualified Data.Map as M
import qualified Data.Set as S

-- | A directed graph represented as an adjacency list mapping vertices to their outgoing neighbors
type Graph = (M.Map Vertex [Vertex])

_Graph = Core.Name "hydra.topology.Graph"

-- | A pair of inverse permutations on lists, used to relate two orderings of the same elements
data OrderingIsomorphism a =
  OrderingIsomorphism {
    -- | Mapping from source ordering to target ordering
    orderingIsomorphismEncode :: ([a] -> [a]),
    -- | Mapping from target ordering to source ordering
    orderingIsomorphismDecode :: ([a] -> [a])}

_OrderingIsomorphism = Core.Name "hydra.topology.OrderingIsomorphism"

_OrderingIsomorphism_encode = Core.Name "encode"

_OrderingIsomorphism_decode = Core.Name "decode"

-- | State carried by Tarjan's strongly connected components algorithm during a depth-first traversal
data TarjanState =
  TarjanState {
    -- | Next available index for vertices in the DFS traversal
    tarjanStateCounter :: Int,
    -- | Mapping from vertices to their indices in the DFS traversal
    tarjanStateIndices :: (M.Map Vertex Int),
    -- | Mapping from vertices to their lowest reachable index in the DFS traversal
    tarjanStateLowLinks :: (M.Map Vertex Int),
    -- | Current DFS stack, with vertices in reverse order
    tarjanStateStack :: [Vertex],
    -- | Set of vertices currently on the stack, for quick lookup
    tarjanStateOnStack :: (S.Set Vertex),
    -- | Accumulated strongly connected components, each a list of vertices
    tarjanStateSccs :: [[Vertex]]}
  deriving (Eq, Ord, Read, Show)

_TarjanState = Core.Name "hydra.topology.TarjanState"

_TarjanState_counter = Core.Name "counter"

_TarjanState_indices = Core.Name "indices"

_TarjanState_lowLinks = Core.Name "lowLinks"

_TarjanState_stack = Core.Name "stack"

_TarjanState_onStack = Core.Name "onStack"

_TarjanState_sccs = Core.Name "sccs"

-- | A graph vertex, represented as a 32-bit integer identifier
type Vertex = Int

_Vertex = Core.Name "hydra.topology.Vertex"