module Mpv.Data.PropertyKey where -- import Data.GADT.Compare.TH (deriveGCompare, deriveGEq) -- import Mpv.Data.Node (Node) -- data PropertyKey v where -- TextKey :: Text -> PropertyKey Text -- FlagKey :: Text -> PropertyKey Bool -- IntKey :: Text -> PropertyKey Int -- DoubleKey :: Text -> PropertyKey Double -- NodeKey :: Text -> PropertyKey Node -- NoneKey :: Text -> PropertyKey () -- deriveGEq ''PropertyKey -- deriveGCompare ''PropertyKey