==================== FINAL INTERFACE ====================
2019-09-22 14:52:20.842084 UTC

interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Utils.Trie 8065
  interface hash: a89a2f0b9085554e21d5daf931eb6703
  ABI hash: 803578399f61dcd14fb86eebd2ed8020
  export-list hash: af39141901e86f37f89c036856df8a13
  orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
  flag hash: db7ab8c706416191fecb6434a682f1b8
  opt_hash: d0a78e7b344f95c7406be35c9b75e196
  hpc_hash: 93b885adfe0da089cdf634904fd59f71
  plugin_hash: ad164012d6b1e14942349d58b1132007
  sig of: Nothing
  used TH splices: False
  where
exports:
  Language.Fixpoint.Utils.Trie.empty
  Language.Fixpoint.Utils.Trie.fold
  Language.Fixpoint.Utils.Trie.foldM
  Language.Fixpoint.Utils.Trie.fromList
  Language.Fixpoint.Utils.Trie.insert
  Language.Fixpoint.Utils.Trie.Branch{Language.Fixpoint.Utils.Trie.Bind Language.Fixpoint.Utils.Trie.Val}
  Language.Fixpoint.Utils.Trie.Trie{Language.Fixpoint.Utils.Trie.Node}
module dependencies:
package dependencies: base-4.12.0.0* ghc-prim-0.5.3
                      integer-gmp-1.0.2.0
orphans: base-4.12.0.0:GHC.Float base-4.12.0.0:GHC.Base
family instance modules: base-4.12.0.0:Control.Applicative
                         base-4.12.0.0:Data.Functor.Const
                         base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Monoid
                         base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:GHC.Generics
                         base-4.12.0.0:GHC.IO.Exception
import  -/  base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979
import  -/  base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997
import  -/  base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
import  -/  base-4.12.0.0:GHC.Err ea5e313ef4146b40b5d8b27aa168e736
import  -/  base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276
import  -/  base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb
import  -/  ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d
8b961868e491541352bed6006163b298
  $fEqBranch ::
    GHC.Classes.Eq a =>
    GHC.Classes.Eq (Language.Fixpoint.Utils.Trie.Branch a)
  DFunId
8b961868e491541352bed6006163b298
  $fEqTrie ::
    GHC.Classes.Eq a =>
    GHC.Classes.Eq (Language.Fixpoint.Utils.Trie.Trie a)
  DFunId
8b961868e491541352bed6006163b298
  $fShowBranch ::
    GHC.Show.Show a =>
    GHC.Show.Show (Language.Fixpoint.Utils.Trie.Branch a)
  DFunId
8b961868e491541352bed6006163b298
  $fShowTrie ::
    GHC.Show.Show a =>
    GHC.Show.Show (Language.Fixpoint.Utils.Trie.Trie a)
  DFunId
cef6ef0fbc43d73161cd248bb9e0cbf6
  $tc'Bind :: GHC.Types.TyCon
094129e471ed12c5170cf5eda82b0b89
  $tc'Node :: GHC.Types.TyCon
b548ec4c285abcd3885ca3a63a2b218e
  $tc'Val :: GHC.Types.TyCon
237296c53c343e7003549b6bbe63ee01
  $tcBranch :: GHC.Types.TyCon
f7e50b3346bfcddecdf192ce5523553b
  $tcTrie :: GHC.Types.TyCon
0bf6c9f63413d14f67b37bab7cedd9c0
  $trModule :: GHC.Types.Module
8b961868e491541352bed6006163b298
  data Branch a
    = Bind !Language.Fixpoint.Utils.Trie.Key
           !(Language.Fixpoint.Utils.Trie.Trie a)
    | Val a
6f203c314893d9e1cb931073b3319f3a
  type Key = GHC.Types.Int
6efa38f2f3bd9c5e433c9a2f2d13b73f
  type Path = [Language.Fixpoint.Utils.Trie.Key]
8b961868e491541352bed6006163b298
  data Trie a = Node ![Language.Fixpoint.Utils.Trie.Branch a]
93b53981bfe2085ffe2497c3d04b6793
  empty :: Language.Fixpoint.Utils.Trie.Trie a
a892b1d7b24abba08c77f3c3c9b66811
  fold ::
    (acc -> Language.Fixpoint.Utils.Trie.Path -> a -> acc)
    -> acc -> Language.Fixpoint.Utils.Trie.Trie a -> acc
12aabac5bf45d3e5e6b0a627ba164316
  foldM ::
    GHC.Base.Monad m =>
    (acc -> Language.Fixpoint.Utils.Trie.Path -> a -> m acc)
    -> acc -> Language.Fixpoint.Utils.Trie.Trie a -> m acc
3b22c384040e87487ee22b024bbd6987
  fromList ::
    [(Language.Fixpoint.Utils.Trie.Path, a)]
    -> Language.Fixpoint.Utils.Trie.Trie a
16cf27307d01a4f194d6a2d4d9fef334
  insert ::
    Language.Fixpoint.Utils.Trie.Path
    -> a
    -> Language.Fixpoint.Utils.Trie.Trie a
    -> Language.Fixpoint.Utils.Trie.Trie a
instance [safe] GHC.Classes.Eq [Language.Fixpoint.Utils.Trie.Branch]
  = Language.Fixpoint.Utils.Trie.$fEqBranch
instance [safe] GHC.Classes.Eq [Language.Fixpoint.Utils.Trie.Trie]
  = Language.Fixpoint.Utils.Trie.$fEqTrie
instance [safe] GHC.Show.Show [Language.Fixpoint.Utils.Trie.Branch]
  = Language.Fixpoint.Utils.Trie.$fShowBranch
instance [safe] GHC.Show.Show [Language.Fixpoint.Utils.Trie.Trie]
  = Language.Fixpoint.Utils.Trie.$fShowTrie
trusted: safe
require own pkg trusted: False
module header:
  Nothing
declaration docs:
arg docs: