From 883eb6642292d0c43d65cab535885572d4194050 Mon Sep 17 00:00:00 2001 From: Rob Rix Date: Fri, 11 May 2018 14:12:13 -0400 Subject: [PATCH] Define a serialization format type. --- src/Serializing/Format.hs | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/src/Serializing/Format.hs b/src/Serializing/Format.hs index 6c1700598..da9b82677 100644 --- a/src/Serializing/Format.hs +++ b/src/Serializing/Format.hs @@ -1 +1,11 @@ -module Serializing.Format where +{-# LANGUAGE GADTs #-} +module Serializing.Format +( Format(..) +, Builder +) where + +import Algebra.Graph.Class +import Data.ByteString.Builder + +data Format input where + DOT :: (Ord vertex, ToGraph graph, ToVertex graph ~ vertex) => Style vertex Builder -> Format graph