| Copyright | (c) Marcelo Garlet Milani 2026 |
|---|---|
| License | MIT |
| Maintainer | mgmilani@pm.me |
| Stability | stable |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Nauty.Graph6
Contents
Description
This module functions for encoding and decoding graphs in graph6 format.
If you want to work with a more general interface instead, use Nauty.
Synopsis
- data AdjacencyMatrix = AdjacencyMatrix {}
- areAdjacent :: AdjacencyMatrix -> Word64 -> Word64 -> Bool
- fromEdgeList :: Word64 -> [(Word64, Word64)] -> AdjacencyMatrix
- toEdgeList :: AdjacencyMatrix -> (Word64, [(Word64, Word64)])
- parse :: Text -> [Either Text AdjacencyMatrix]
- graph :: Text -> Either Text AdjacencyMatrix
- encode :: AdjacencyMatrix -> Text
Graph structure
data AdjacencyMatrix Source #
A graph represented as an adjacency matrix.
Constructors
| AdjacencyMatrix | |
Instances
| Show AdjacencyMatrix Source # | |
Defined in Nauty.Graph6.Internal Methods showsPrec :: Int -> AdjacencyMatrix -> ShowS # show :: AdjacencyMatrix -> String # showList :: [AdjacencyMatrix] -> ShowS # | |
| Eq AdjacencyMatrix Source # | |
Defined in Nauty.Graph6.Internal Methods (==) :: AdjacencyMatrix -> AdjacencyMatrix -> Bool # (/=) :: AdjacencyMatrix -> AdjacencyMatrix -> Bool # | |
areAdjacent :: AdjacencyMatrix -> Word64 -> Word64 -> Bool Source #
Whether two vertices are adjacent.
Arguments
| :: Word64 | Number of vertices |
| -> [(Word64, Word64)] | List of edges |
| -> AdjacencyMatrix |
Create an adjacency matrix from a list of edges.
Vertices need to be in the range from 0 to n - 1.
toEdgeList :: AdjacencyMatrix -> (Word64, [(Word64, Word64)]) Source #
The list of edges of a graph together with the number of vertices.
Parsing
parse :: Text -> [Either Text AdjacencyMatrix] Source #
Parse all graphs in the input text. Graphs are stored one per line.
Encoding
encode :: AdjacencyMatrix -> Text Source #
Encode a graph into graph6 format.