{-# OPTIONS_GHC -Wno-orphans #-}

module Test.Data.VMap.TreeDiff () where

import Data.TreeDiff.Class (ToExpr (toExpr))
import Data.VMap
import qualified Data.Vector.Generic as VG

instance (VG.Vector kv k, VG.Vector vv v, ToExpr k, ToExpr v) => ToExpr (VMap kv vv k v) where
  toExpr :: VMap kv vv k v -> Expr
toExpr = forall a. ToExpr a => a -> Expr
toExpr forall b c a. (b -> c) -> (a -> b) -> a -> c
. forall (kv :: * -> *) k (vv :: * -> *) v.
(Vector kv k, Vector vv v) =>
VMap kv vv k v -> Map k v
toMap