==================== FINAL INTERFACE ==================== 2019-09-22 14:52:50.3052 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Utils.Statistics [family instance module] 8065 interface hash: 8718681d79b76428b329d7686760fe33 ABI hash: a8be1c26046998f1d95064c036444766 export-list hash: ba4945ac0b49e3ad40e9d67f9559776c orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 1ba6e3bfc392dcfee9b2ca9002d76b23 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Utils.Statistics.statistics module dependencies: Language.Fixpoint.Graph Language.Fixpoint.Graph.Deps Language.Fixpoint.Graph.Indexed Language.Fixpoint.Graph.Partition 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.Arrow cda881e865dd3141fb08ed18f2efcca7 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.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Generics 2b3b2e72be66983021f8ad0c2edcf290 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Real af2b985dd29515c375fb78b2c9298d42 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 -/ deepseq-1.4.4.0:Control.DeepSeq fdfe6dfd16074b891b8750f3dc0819a3 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ integer-gmp-1.0.2.0:GHC.Integer.Type 6d87087aea24143d2650f78480d954a3 import -/ Language.Fixpoint.Graph 59334fea55dc8d64130719f78eeb5109 exports: 70a8f3bb9be3a7f9430fb829908b4dcf import -/ Language.Fixpoint.Graph.Partition 10b792bb9300a0bfeef35f9a6335155b partition' 604dec4b5afaf691202e7ed2938aa872 import -/ Language.Fixpoint.Misc 1a50b0be98f5d556c823a27b0843feb5 exports: c71e07620cb71e48240d161f1a37aa5e Loud 20d9cfe47287517748c900396beb2597 applyNonNull 40b42461aae0e8b66421eafcc31fc750 donePhase 8c86f9b1cc5432363fae6c5796ca46cf import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f exports: 62d26edd591b195eabce115b8380fe6e import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd exports: b55741973d8e26ddd46c69a42379ac12 Config 3988ec36858b82afed711ea7ff67ff00 import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436 FInfo b6d52641b5c0c13c0e61844e2114eb16 Result 9b37020b88a84332f42c4a4efcccc0c2 cm 90ef96c47f269969affd7c3639af34f3 import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0 exports: 83877bba67b408c83589a0ff3bac0070 PPrint 1f29b3f207492ffa2323c20e2c1b7b4a pprint 955dc9d031db587300edf6146ac33be4 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 d371c7cc8e33fe67f4d4a2fc285b570b $fGenericStats :: GHC.Generics.Generic Language.Fixpoint.Utils.Statistics.Stats DFunId d371c7cc8e33fe67f4d4a2fc285b570b $fNFDataStats :: Control.DeepSeq.NFData Language.Fixpoint.Utils.Statistics.Stats DFunId d371c7cc8e33fe67f4d4a2fc285b570b $fPPrintStats :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Utils.Statistics.Stats DFunId d371c7cc8e33fe67f4d4a2fc285b570b $fShowStats :: GHC.Show.Show Language.Fixpoint.Utils.Statistics.Stats DFunId 9bbff84eceafe0126ad7e4092eabfd77 $tc'Stats :: GHC.Types.TyCon 6a647a82bb11841729124149c423ec8a $tcStats :: GHC.Types.TyCon bb85908b7c01e430a94d07b43455c54c $trModule :: GHC.Types.Module d371c7cc8e33fe67f4d4a2fc285b570b axiom Language.Fixpoint.Utils.Statistics.Rep_Stats:: GHC.Generics.Rep Language.Fixpoint.Utils.Statistics.Stats = GHC.Generics.D1 ('GHC.Generics.MetaData "Stats" "Language.Fixpoint.Utils.Statistics" "liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "Stats" 'GHC.Generics.PrefixI 'GHC.Types.True) ((GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cSizes") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [GHC.Types.Float]) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cFreq") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.NoSourceStrictness 'GHC.Generics.DecidedLazy) (GHC.Generics.Rec0 [(GHC.Types.Float, GHC.Types.Int)]) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cTotal") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Float))) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cMean") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: (GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cMax") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Float) GHC.Generics.:*: GHC.Generics.S1 ('GHC.Generics.MetaSel ('GHC.Maybe.Just "cSpeed") 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Types.Float))))) d371c7cc8e33fe67f4d4a2fc285b570b data Stats = Stats {cSizes :: [GHC.Types.Float], cFreq :: [(GHC.Types.Float, GHC.Types.Int)], cTotal :: !GHC.Types.Float, cMean :: !GHC.Types.Float, cMax :: !GHC.Types.Float, cSpeed :: !GHC.Types.Float} d371c7cc8e33fe67f4d4a2fc285b570b cFreq :: Language.Fixpoint.Utils.Statistics.Stats -> [(GHC.Types.Float, GHC.Types.Int)] RecSel Left Language.Fixpoint.Utils.Statistics.Stats d371c7cc8e33fe67f4d4a2fc285b570b cMax :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats d371c7cc8e33fe67f4d4a2fc285b570b cMean :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats d371c7cc8e33fe67f4d4a2fc285b570b cSizes :: Language.Fixpoint.Utils.Statistics.Stats -> [GHC.Types.Float] RecSel Left Language.Fixpoint.Utils.Statistics.Stats d371c7cc8e33fe67f4d4a2fc285b570b cSpeed :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats d371c7cc8e33fe67f4d4a2fc285b570b cTotal :: Language.Fixpoint.Utils.Statistics.Stats -> GHC.Types.Float RecSel Left Language.Fixpoint.Utils.Statistics.Stats f3a176c0c1d38972b14ed90674e8b5ea statistics :: Language.Fixpoint.Types.Config.Config -> Language.Fixpoint.Types.Constraints.FInfo a -> GHC.Types.IO (Language.Fixpoint.Types.Constraints.Result (GHC.Integer.Type.Integer, a)) instance GHC.Generics.Generic [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fGenericStats instance Control.DeepSeq.NFData [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fNFDataStats instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fPPrintStats instance GHC.Show.Show [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.$fShowStats family instance GHC.Generics.Rep [Language.Fixpoint.Utils.Statistics.Stats] = Language.Fixpoint.Utils.Statistics.Rep_Stats trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: