Implementation with shrink

Acyclic.hs

module Acyclic.AdjacencyMap where

import qualified AdjacencyMap as AM

newtype AdjacencyMap a = AAM {
  -- Unexported
  underlying :: AM.AdjacencyMap a
  }
  
instance Show (AdjacencyMap a) where
  show (AAM x) = show . shrink $ x
  
fromAcyclic :: AdjacencyMap a -> AM.AdjacencyMap a
fromAcyclic (AAM x) = shrink x

vertex = coerce AM.vertex

edge = coerce AM.edge

instance Num (AdjacencyMap a) where
  (AAM x) + (AAM y) = AAM (x + y)
  (AAM x) * (AAM y) = AAM (x * y)
  
topSort (AAM am) = Typed.topSort . Typed.fromAdjacencyMap . fromAcyclic $ am