Any news on merging this to master or/and resolving conflicts? I would love to use dependent-map package but I find lack of documentation frustrating...

@JavierJF Would you mind updating this so that it merges cleanly against the current master?

Of course, I will update it soon. Thanks you.

Any updates on this? I'm also trying to try this package without much success yet.

Also, where can I find the FooGADT module? Shouldn't its content be inlined into the readme for a self-contained example?

cc @JavierJF

Together with @vaibhavsagar, earlier today we were able to make some sense of this package. Here is a small, self-contained, compiling (as of latest, 0.2.4.0) example that we got to:

{-# language GADTs #-}
{-# language DeriveGeneric #-}
{-# language DeriveAnyClass #-}
{-# language TemplateHaskell #-}
{-# language StandaloneDeriving #-}

import Prelude                  (Int, String, print, ($))
import Data.GADT.Show           ()
import Data.GADT.Compare        ()
import Data.Dependent.Map       (DMap, fromList, (!))
import Data.Dependent.Sum       ((==>))
import Data.GADT.Compare.TH     (deriveGEq, deriveGCompare)
import Data.Functor.Identity    (Identity)

data Foo a where
  AnInt   :: Foo Int
  AString :: Foo String

deriveGEq      ''Foo
deriveGCompare ''Foo

dmap1 :: DMap Foo Identity
dmap1 = fromList [AnInt ==> 1, AString ==> "bar"]

main = do
  print $ dmap1 ! AnInt
  print $ dmap1 ! AString

  -- Prints:
  -- Identity 1
  -- Identity "bar"

It might make sense to put this into the readme and/or hackage/haddocs.

(Showability (e.g. print $ fromList [AnInt ==> 1]) is still a mystery to us.)

Edit: Included explicit imports to further improve understandability.

I've updated the README to a working example.