{-# 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 = Map k v -> Expr
forall a. ToExpr a => a -> Expr
toExpr (Map k v -> Expr)
-> (VMap kv vv k v -> Map k v) -> VMap kv vv k v -> Expr
forall b c a. (b -> c) -> (a -> b) -> a -> c
. VMap kv vv k v -> Map k v
forall (kv :: * -> *) k (vv :: * -> *) v.
(Vector kv k, Vector vv v) =>
VMap kv vv k v -> Map k v
toMap