semantic/src/Data/Graph.hs

{-# LANGUAGE GeneralizedNewtypeDeriving #-}
module Data.Graph
( Graph(..)
) where

import qualified Algebra.Graph as G

newtype Graph vertex = Graph (G.Graph vertex)
  deriving (Eq, Foldable, Functor, Show, Traversable)
Derive a bunch of instances. 2018-05-11 19:08:36 +03:00			`{-# LANGUAGE GeneralizedNewtypeDeriving #-}`
Stub in a Graph newtype. 2018-05-11 19:07:05 +03:00			`module Data.Graph`
			`( Graph(..)`
			`) where`

			`import qualified Algebra.Graph as G`

			`newtype Graph vertex = Graph (G.Graph vertex)`
Derive a bunch of instances. 2018-05-11 19:08:36 +03:00			`deriving (Eq, Foldable, Functor, Show, Traversable)`