uuagc

Safe HaskellSafe-Infered

SequentialTypes

Documentation

type Vertex = Int

type Path = [PathStep]

type Route = [Vertex]

type Edge = (Int, Int)

type EdgePath = (Edge, Path)

type EdgePaths = (Edge, Path, Path)

type EdgeRoute = (Edge, Route)

type Table a = Array Vertex a

eqClasses :: (a -> a -> Bool) -> [a] -> [[a]]