==================== FINAL INTERFACE ==================== 2019-09-22 14:52:49.976423 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph.Partition 8065 interface hash: 2c23efc346c7e7711f144c0d77d58762 ABI hash: 10b792bb9300a0bfeef35f9a6335155b export-list hash: f177a010be01f53501cf29b1043f9946 orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: f04a00b888e60e7f6999cba0f4cca719 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Partition.dumpPartitions Language.Fixpoint.Graph.Partition.mcInfo Language.Fixpoint.Graph.Partition.partition Language.Fixpoint.Graph.Partition.partition' Language.Fixpoint.Graph.Partition.partitionN Language.Fixpoint.Graph.Partition.CPart{Language.Fixpoint.Graph.Partition.CPart pcm pws} Language.Fixpoint.Graph.Partition.MCInfo{Language.Fixpoint.Graph.Partition.MCInfo mcCores mcMaxPartSize mcMinPartSize} module dependencies: Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Reducible 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 fgl-5.7.0.1 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 fgl-5.7.0.1:Data.Graph.Inductive.PatriciaTree 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:Control.Monad 07eaec7fd256019b318d048d00f45b1c import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Functor 069b2025a03e32fd228e74a86a58a075 import -/ base-4.12.0.0:Data.List 17d0c71c557e42abe196f130788fd997 import -/ base-4.12.0.0:Data.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Semigroup 77d0b010ed701f8a1da4f6d7b4d5812e import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Conc a58be285a0644f0fcf5703314b511833 import -/ base-4.12.0.0:GHC.Conc.Sync 275e94c5ede09d3593e4c106b892e4f5 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Graph.Deps f58fb5bc911772ff16e90c021342fd77 exports: 7deeeee1d668195264f1154820a52680 decompose 4773457816fb7844595c6cce724cae20 import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3 exports: 68162b3a5b2b3dfa40ecf54da514ced3 Cstr fb3e234b3b6ba6293e60b57759fd6db5 KVComps def5a7dc502d951c9d5669d25bead965 KVar c4a8980acc6c70ca8becabae4f5f5f0a import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e ListNE 34c095e41b29e7147eb4001d73367295 applyNonNull 40b42461aae0e8b66421eafcc31fc750 errorstar e47c2d482124b43e020a405f809adcff groupMap 135c39744041342903077ebc32cf0599 safeLookup de93685c8ce33b5619842061a589410f import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 cores 3988ec36858b82afed711ea7ff67ff00 maxPartSize 3988ec36858b82afed711ea7ff67ff00 minPartSize 3988ec36858b82afed711ea7ff67ff00 queryFile 24dfc95af04dba576b5be5b6594619e1 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 GInfo 90ef96c47f269969affd7c3639af34f3 Result 9b37020b88a84332f42c4a4efcccc0c2 TaggedC ec47f4df806fb3eb50e32a07ab4ee371 WfC ad7a627c031dc594c719d4e423bdd067 cm 90ef96c47f269969affd7c3639af34f3 toFixpoint 45b39b5a071a079c10972832dc83941b ws 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 Fixpoint 98d26628e0637967f879c1c12cfa20b7 import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc KVar f4ebd74e51621c4f10e9fc003e3885a9 import -/ Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25 exports: 061e3dd63eb42c6c413f2db46ae3d0cb Part 9245f0b9967fcd6cf47f1f2c64cb661b import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b 34f38a4d10574cd66bf22ef00cee91aa $fMonoidCPart :: GHC.Base.Monoid (Language.Fixpoint.Graph.Partition.CPart c a) DFunId 34f38a4d10574cd66bf22ef00cee91aa $fSemigroupCPart :: GHC.Base.Semigroup (Language.Fixpoint.Graph.Partition.CPart c a) DFunId 1310569d9441a00e5d026d0ba60274b5 $fShowMCInfo :: GHC.Show.Show Language.Fixpoint.Graph.Partition.MCInfo DFunId e2701ad011e9693a0f72f349c37f903b $tc'CPart :: GHC.Types.TyCon f56002c6b41af618663b7fa394d90971 $tc'MCInfo :: GHC.Types.TyCon 64cf008be5fb5527ffb08734f0b70906 $tcCPart :: GHC.Types.TyCon aca9e11a3cb6054c62a289ee99c11431 $tcMCInfo :: GHC.Types.TyCon c33e0c5505b38ee5f799be03df4760a6 $trModule :: GHC.Types.Module 34f38a4d10574cd66bf22ef00cee91aa type role CPart representational nominal data CPart (c :: * -> *) a = CPart {pws :: !(Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a)), pcm :: !(Data.HashMap.Base.HashMap GHC.Integer.Type.Integer (c a))} 1310569d9441a00e5d026d0ba60274b5 data MCInfo = MCInfo {mcCores :: !GHC.Types.Int, mcMinPartSize :: !GHC.Types.Int, mcMaxPartSize :: !GHC.Types.Int} 93693c3e82826f99bc2371287f9887f0 type PartitionCtor (c :: * -> *) a b = Language.Fixpoint.Types.Constraints.GInfo c a -> Data.HashMap.Base.HashMap GHC.Types.Int [(GHC.Integer.Type.Integer, c a)] -> Data.HashMap.Base.HashMap GHC.Types.Int [(Language.Fixpoint.Types.Refinements.KVar, Language.Fixpoint.Types.Constraints.WfC a)] -> GHC.Types.Int -> b b22c89a9aec0774421cedaa5595dfbce dumpPartitions :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a), Language.Fixpoint.Types.PrettyPrint.Fixpoint a) => Language.Fixpoint.Types.Config.Config -> [Language.Fixpoint.Types.Constraints.GInfo c a] -> GHC.Types.IO () 1310569d9441a00e5d026d0ba60274b5 mcCores :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 1b954f79e466123de525c83e62f723ee mcInfo :: Language.Fixpoint.Types.Config.Config -> GHC.Types.IO Language.Fixpoint.Graph.Partition.MCInfo 1310569d9441a00e5d026d0ba60274b5 mcMaxPartSize :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 1310569d9441a00e5d026d0ba60274b5 mcMinPartSize :: Language.Fixpoint.Graph.Partition.MCInfo -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Partition.MCInfo 00f9f31dc845d7647e1224fc08a89d10 partition :: (Language.Fixpoint.Types.PrettyPrint.Fixpoint a, Language.Fixpoint.Types.PrettyPrint.Fixpoint (c a), Language.Fixpoint.Types.Constraints.TaggedC c a) => Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.GInfo c a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) 604dec4b5afaf691202e7ed2938aa872 partition' :: Language.Fixpoint.Types.Constraints.TaggedC c a => GHC.Maybe.Maybe Language.Fixpoint.Graph.Partition.MCInfo -> Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Types.Constraints.GInfo c a] 2a353cadac6e10dd4186111d3ddb7653 partitionN :: Language.Fixpoint.Graph.Partition.MCInfo -> Language.Fixpoint.Types.Constraints.GInfo c a -> [Language.Fixpoint.Graph.Partition.CPart c a] -> [Language.Fixpoint.Types.Constraints.GInfo c a] 34f38a4d10574cd66bf22ef00cee91aa pcm :: Language.Fixpoint.Graph.Partition.CPart c a -> Data.HashMap.Base.HashMap GHC.Integer.Type.Integer (c a) RecSel Left Language.Fixpoint.Graph.Partition.CPart 34f38a4d10574cd66bf22ef00cee91aa pws :: Language.Fixpoint.Graph.Partition.CPart c a -> Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar (Language.Fixpoint.Types.Constraints.WfC a) RecSel Left Language.Fixpoint.Graph.Partition.CPart instance GHC.Base.Monoid [Language.Fixpoint.Graph.Partition.CPart] = Language.Fixpoint.Graph.Partition.$fMonoidCPart instance GHC.Base.Semigroup [Language.Fixpoint.Graph.Partition.CPart] = Language.Fixpoint.Graph.Partition.$fSemigroupCPart instance GHC.Show.Show [Language.Fixpoint.Graph.Partition.MCInfo] = Language.Fixpoint.Graph.Partition.$fShowMCInfo trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: