==================== FINAL INTERFACE ==================== 2019-09-22 14:52:49.024996 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Indexed 8065 interface hash: d4f2d1609343a3a292e993021cf301ea ABI hash: 5d28372066e67e039fc277b7e008e880 export-list hash: 1af7d08065167e1ab9a37bc5e529ea5d orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 497d4927850250f8b40752e0999882e8 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Indexed.addLinks Language.Fixpoint.Graph.Indexed.delNodes Language.Fixpoint.Graph.Indexed.edgesIkvg Language.Fixpoint.Graph.Indexed.getPreds Language.Fixpoint.Graph.Indexed.getSuccs Language.Fixpoint.Graph.Indexed.ikvgEdges Language.Fixpoint.Graph.Indexed.IKVGraph{Language.Fixpoint.Graph.Indexed.IKVGraph igPred igSucc} module dependencies: Language.Fixpoint.Graph.Types Language.Fixpoint.Misc Language.Fixpoint.Smt.Theories Language.Fixpoint.Smt.Types Language.Fixpoint.SortCheck Language.Fixpoint.Types Language.Fixpoint.Types.Config Language.Fixpoint.Types.Constraints Language.Fixpoint.Types.Environments Language.Fixpoint.Types.Errors Language.Fixpoint.Types.Names Language.Fixpoint.Types.PrettyPrint Language.Fixpoint.Types.Refinements Language.Fixpoint.Types.Solutions Language.Fixpoint.Types.Sorts Language.Fixpoint.Types.Spans Language.Fixpoint.Types.Substitutions Language.Fixpoint.Types.Templates Language.Fixpoint.Types.Theories Language.Fixpoint.Types.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files Text.PrettyPrint.HughesPJ.Compat package dependencies: ansi-terminal-0.8.2 array-0.5.3.0 async-2.2.1 base-4.12.0.0 binary-0.8.6.0 boxes-0.1.5 bytestring-0.10.8.2 cereal-0.5.8.0 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 double-conversion-2.0.2.0 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 intern-0.9.2 mtl-2.2.2 parsec-3.1.13.0 pretty-1.1.3.6 process-1.6.5.0 split-0.2.3.3 stm-2.5.0.0 syb-0.7 text-1.2.3.1 text-format-0.3.2 time-1.8.0.2 transformers-0.5.6.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: transformers-0.5.6.2:Control.Monad.Trans.Error liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Smt.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints cmdargs-0.10.20:System.Console.CmdArgs.Explicit.Help liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Substitutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans syb-0.7:Data.Generics.Instances colour-2.3.5:Data.Colour time-1.8.0.2:Data.Time.Format.Parse time-1.8.0.2:Data.Time.LocalTime.Internal.ZonedTime time-1.8.0.2:Data.Time.LocalTime.Internal.LocalTime time-1.8.0.2:Data.Time.Calendar.Gregorian stm-2.5.0.0:Control.Monad.STM hashable-1.2.7.0:Data.Hashable.Generic text-1.2.3.1:Data.Text.Lazy text-1.2.3.1:Data.Text binary-0.8.6.0:Data.Binary.Generic bytestring-0.10.8.2:Data.ByteString.Builder text-1.2.3.1:Data.Text.Show 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.Complex base-4.12.0.0:Data.Functor.Compose base-4.12.0.0:Data.Functor.Const base-4.12.0.0:Data.Functor.Identity base-4.12.0.0:Data.Functor.Product base-4.12.0.0:Data.Functor.Sum base-4.12.0.0:Data.Monoid base-4.12.0.0:Data.Semigroup base-4.12.0.0:Data.Semigroup.Internal base-4.12.0.0:Data.Version base-4.12.0.0:Data.Void base-4.12.0.0:GHC.Exts base-4.12.0.0:GHC.Generics base-4.12.0.0:GHC.IO.Exception containers-0.6.0.1:Data.Graph containers-0.6.0.1:Data.IntMap.Internal containers-0.6.0.1:Data.IntSet.Internal containers-0.6.0.1:Data.Map.Internal containers-0.6.0.1:Data.Sequence.Internal containers-0.6.0.1:Data.Set.Internal containers-0.6.0.1:Data.Tree intern-0.9.2:Data.Interned.Internal.Text liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Types liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Config liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Environments liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Errors liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Names liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Spans liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Theories liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Types.Triggers pretty-1.1.3.6:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ text-1.2.3.1:Data.Text text-1.2.3.1:Data.Text.Lazy unordered-containers-0.2.9.0:Data.HashMap.Base unordered-containers-0.2.9.0:Data.HashSet 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.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 exports: 68162b3a5b2b3dfa40ecf54da514ced3 CEdge 5926a8a79eef96a67d64e7e2de539c49 CVertex 4c2dcbf4968a23ede6d681da7c0332b4 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 060fc3471bf1245ee9c6140f9cbd1765 $fShowIKVGraph :: GHC.Show.Show Language.Fixpoint.Graph.Indexed.IKVGraph DFunId 2ddb350abcd0b483dc20ccb5d1efe3c9 $tc'IKVGraph :: GHC.Types.TyCon 9cc932eaaaa999d251abe89a8b3b0544 $tcIKVGraph :: GHC.Types.TyCon 68d8ded8f41fadd4b2ca78c3763f9966 $trModule :: GHC.Types.Module 060fc3471bf1245ee9c6140f9cbd1765 data IKVGraph = IKVGraph {igSucc :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex)), igPred :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex))} 59e61579a4804ffb233a5667b6ecd00a addLinks :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CEdge] -> Language.Fixpoint.Graph.Indexed.IKVGraph 5d6f34604c580a4f6189dd97dfa08363 delNodes :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CVertex] -> Language.Fixpoint.Graph.Indexed.IKVGraph 6ce67dc8b816a5db670c8556c1200907 edgesIkvg :: [Language.Fixpoint.Graph.Types.CEdge] -> Language.Fixpoint.Graph.Indexed.IKVGraph 059c1ae752faade4df87b97f1e9d4d9a getPreds :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] 6732d41489db714e56e71f6538e2f8a1 getSuccs :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Language.Fixpoint.Graph.Types.CVertex -> [Language.Fixpoint.Graph.Types.CVertex] 060fc3471bf1245ee9c6140f9cbd1765 igPred :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) RecSel Left Language.Fixpoint.Graph.Indexed.IKVGraph 060fc3471bf1245ee9c6140f9cbd1765 igSucc :: Language.Fixpoint.Graph.Indexed.IKVGraph -> Data.HashMap.Base.HashMap Language.Fixpoint.Graph.Types.CVertex (Data.HashSet.HashSet Language.Fixpoint.Graph.Types.CVertex) RecSel Left Language.Fixpoint.Graph.Indexed.IKVGraph 834e178233044dee20d7da3adc9c5f6a ikvgEdges :: Language.Fixpoint.Graph.Indexed.IKVGraph -> [Language.Fixpoint.Graph.Types.CEdge] instance GHC.Show.Show [Language.Fixpoint.Graph.Indexed.IKVGraph] = Language.Fixpoint.Graph.Indexed.$fShowIKVGraph trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: