==================== FINAL INTERFACE ==================== 2017-05-08 17:11:18.14157 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Graph.Types [family instance module] 8002 interface hash: 3ad5fcac92c3dd1fe0743093045693e3 ABI hash: 2a676317037aae8a8a1993700b262a98 export-list hash: d494341c9f25170e37ef070e296d03ad orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: d06a888bb703afad0165b18a5a15b958 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Graph.Types.isRealEdge Language.Fixpoint.Graph.Types.lookupCMap Language.Fixpoint.Graph.Types.writeEdges Language.Fixpoint.Graph.Types.writeGraph Language.Fixpoint.Graph.Types.CDeps{Language.Fixpoint.Graph.Types.CDs cNumScc cPrev cRank cSucc} Language.Fixpoint.Graph.Types.CEdge Language.Fixpoint.Graph.Types.CGraph{Language.Fixpoint.Graph.Types.CGraph gEdges gRanks gSccs gSucc} Language.Fixpoint.Graph.Types.CVertex{Language.Fixpoint.Graph.Types.Cstr Language.Fixpoint.Graph.Types.DKVar Language.Fixpoint.Graph.Types.KVar} Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.DepEdge Language.Fixpoint.Graph.Types.KVComps Language.Fixpoint.Graph.Types.KVGraph{Language.Fixpoint.Graph.Types.KVGraph kvgEdges} Language.Fixpoint.Graph.Types.KVRead Language.Fixpoint.Graph.Types.Rank{Language.Fixpoint.Graph.Types.Rank rIcc rScc rTag} Language.Fixpoint.Graph.Types.Slice{Language.Fixpoint.Graph.Types.Slice slConcCs slEdges slKVarCs} Language.Fixpoint.Graph.Types.SolverInfo{Language.Fixpoint.Graph.Types.SI siDeps siQuery siSol siVars} Language.Fixpoint.Types.Constraints.SubcId Language.Fixpoint.Types.Solutions.CMap module dependencies: 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.Triggers Language.Fixpoint.Types.Utils Language.Fixpoint.Types.Visitor Language.Fixpoint.Utils.Files package dependencies: ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo array-0.5.1.1@array-0.5.1.1 async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK base-4.9.1.0 binary-0.8.3.0@binary-0.8.3.0 boxes-0.1.4@boxes-0.1.4-6YjYnmNJvyiGUQgGc0o5m bytestring-0.10.8.1@bytestring-0.10.8.1 cereal-0.5.4.0@cereal-0.5.4.0-BsAGxfp8yAs3CiRo2E875e cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I containers-0.5.7.1@containers-0.5.7.1 deepseq-1.4.2.0@deepseq-1.4.2.0 directory-1.3.0.0@directory-1.3.0.0 double-conversion-2.0.2.0@double-conversion-2.0.2.0-FB9lbzCS3eNEibeP1aq5Xr filepath-1.4.1.1@filepath-1.4.1.1 ghc-prim-0.5.0.0 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x integer-gmp-1.0.0.1 intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 mtl-2.2.1@mtl-2.2.1-BLKBelFsPB3BoFeSWSOYj6 parsec-3.1.11@parsec-3.1.11-113irVHGgd88sRnywByDNw pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 split-0.2.3.1@split-0.2.3.1-FWyXC6nhV0H3AfM8IzrEFk stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR text-format-0.3.1.1@text-format-0.3.1.1-IdImYtolSdoC3n5Y2CJ8aG time-1.6.0.1@time-1.6.0.1 transformers-0.5.2.0@transformers-0.5.2.0 unix-2.7.2.1@unix-2.7.2.1 unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o orphans: base-4.9.1.0:GHC.Base base-4.9.1.0:GHC.Float binary-0.8.3.0@binary-0.8.3.0:Data.Binary.Generic bytestring-0.10.8.1@bytestring-0.10.8.1:Data.ByteString.Builder cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Explicit.Help hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Substitutions stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM syb-0.6@syb-0.6-IcoSwlPi2Nx4zSqMmorFPS:Data.Generics.Instances text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Show time-1.6.0.1@time-1.6.0.1:Data.Time.Calendar.Gregorian time-1.6.0.1@time-1.6.0.1:Data.Time.Format.Parse time-1.6.0.1@time-1.6.0.1:Data.Time.LocalTime.LocalTime transformers-0.5.2.0@transformers-0.5.2.0:Control.Monad.Trans.Error family instance modules: base-4.9.1.0:Control.Applicative base-4.9.1.0:Data.Complex base-4.9.1.0:Data.Either base-4.9.1.0:Data.Functor.Compose base-4.9.1.0:Data.Functor.Const base-4.9.1.0:Data.Functor.Identity base-4.9.1.0:Data.Functor.Product base-4.9.1.0:Data.Functor.Sum base-4.9.1.0:Data.List.NonEmpty base-4.9.1.0:Data.Monoid base-4.9.1.0:Data.Semigroup base-4.9.1.0:Data.Type.Equality base-4.9.1.0:Data.Version base-4.9.1.0:Data.Void base-4.9.1.0:GHC.Exts base-4.9.1.0:GHC.Generics base-4.9.1.0:GHC.IO.Exception base-4.9.1.0:GHC.TypeLits containers-0.5.7.1@containers-0.5.7.1:Data.IntMap.Base containers-0.5.7.1@containers-0.5.7.1:Data.IntSet.Base containers-0.5.7.1@containers-0.5.7.1:Data.Map.Base containers-0.5.7.1@containers-0.5.7.1:Data.Sequence containers-0.5.7.1@containers-0.5.7.1:Data.Set.Base intern-0.9.1.4@intern-0.9.1.4-L6DPHi71I8uFQt9sdHfbWx:Data.Interned.Internal.Text liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Config liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Constraints liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Environments liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Errors liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Names liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Refinements liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Solutions liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Sorts liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Spans liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Types.Triggers pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.Annotated.HughesPJ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR:Data.Text.Lazy unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Generics 1dbec2bc7dd1c5bd8c89ed857eaed19b import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Show a027f5ac24879eaba752f44aa90fe511 import -/ base-4.9.1.0:GHC.Stack 1c2d76400d351d3e60c5031ba1182ad5 import -/ base-4.9.1.0:GHC.Stack.Types 51968494fa04901a60fe271cf46e18df import -/ base-4.9.1.0:Prelude 22dd289b8469a8fa8dc81cab7b237771 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ ghc-prim-0.5.0.0:GHC.Classes 0bdf3d057a415ec1b84a7b1994efbe47 import -/ ghc-prim-0.5.0.0:GHC.Types 89f8de4f08018c9177c98d979eae0e45 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable 7d10d34251a69a2590fb6d42e4140fe6 import -/ hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Class 8a5b5f72682ff3e25541f7e85c3ab8dc import -/ integer-gmp-1.0.0.1:GHC.Integer.Type 318df275d77dcdb18e0006d8d7870c2a import -/ Language.Fixpoint.Misc 8dcc45892a5330e586784ea12f52dd65 exports: 3408045fd5294879efb3c76c6b2e957b group ddaaecd54e69c0dd277c3bddd2025c2e safeLookup 83a26670063b15f3c02c66aa1d8bb8da wrap 03a5c49a6890b97243461b753fd9db8e import -/ Language.Fixpoint.Types 379a7ecf7ab7c770958c4c723e28c1d2 exports: 0af36b6c83c4ee67c2150e62bec20e14 import -/ Language.Fixpoint.Types.Constraints b990dd256cdfa37a24492fae1684cfba SInfo c4bf42c4a9b32550baf9a82ec918fc53 SubcId 026af1096155a8461a8bb708fa9cb06e Tag c0a373bad87a0eab9cc446e29001a4da import -/ Language.Fixpoint.Types.PrettyPrint eda0054495b47e5cdbd9189907beceb5 exports: 34612ba1b0c9e0c5c9e416c7877ea2a9 PPrint 78b520d4c3718d2e8c30eba678b273b4 pprint ddfd75447423a2dd5342795b308506e9 import -/ Language.Fixpoint.Types.Refinements 6e451802fe2653eaf0953ef3db6fbbf0 exports: ad3988e4da25568fd374ece65579ba09 KVar 68dcac5ad144e4854dc35cff62d456d0 kv bb2afc8e5a8d91f2d856857603fdfa52 import -/ Language.Fixpoint.Types.Solutions 01540e295b430bf658940ab1fd78ff64 exports: 1fdea0e2933fdfe32b43475d52dc3d11 CMap 4ba072cfaa176189a6c47d66be05d6b4 QBind a67be1c40186f5e1f80211f30edc5320 Sol df910f3267790c4db885d7a53ee0f365 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Base 2b46c25df89b2b3ba6c50f91554dc6fe import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashMap.Strict 05b98a538bea7df232363274cae058f8 import -/ unordered-containers-0.2.8.0@unordered-containers-0.2.8.0-1XEErQCPPPc2SEtcHHNx9o:Data.HashSet ee03eb1144d3c6624c9254dd24f4ef67 0baa3f75f48ef092e8c8a2bde9c58a38 $fEqCVertex :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.CVertex DFunId 26496422ee574ef263cabd9154cda099 $fEqRank :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Rank DFunId 2ea73990b60a39c7e77086a6159928f6 $fEqSlice :: GHC.Classes.Eq Language.Fixpoint.Graph.Types.Slice DFunId 0baa3f75f48ef092e8c8a2bde9c58a38 $fGenericCVertex :: GHC.Generics.Generic Language.Fixpoint.Graph.Types.CVertex DFunId 0baa3f75f48ef092e8c8a2bde9c58a38 $fHashableCVertex :: Data.Hashable.Class.Hashable Language.Fixpoint.Graph.Types.CVertex DFunId 0baa3f75f48ef092e8c8a2bde9c58a38 $fOrdCVertex :: GHC.Classes.Ord Language.Fixpoint.Graph.Types.CVertex DFunId 0baa3f75f48ef092e8c8a2bde9c58a38 $fPPrintCVertex :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.CVertex DFunId ab1d23f53f34d4b1d3dc9d61914a27c1 $fPPrintKVGraph :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.KVGraph DFunId 26496422ee574ef263cabd9154cda099 $fPPrintRank :: Language.Fixpoint.Types.PrettyPrint.PPrint Language.Fixpoint.Graph.Types.Rank DFunId 0baa3f75f48ef092e8c8a2bde9c58a38 $fShowCVertex :: GHC.Show.Show Language.Fixpoint.Graph.Types.CVertex DFunId 26496422ee574ef263cabd9154cda099 $fShowRank :: GHC.Show.Show Language.Fixpoint.Graph.Types.Rank DFunId 2ea73990b60a39c7e77086a6159928f6 $fShowSlice :: GHC.Show.Show Language.Fixpoint.Graph.Types.Slice DFunId 2016b9baba2a4ae5d6d469443ee35350 $tc'CDs :: GHC.Types.TyCon 6edd8a9b69f27029f7e402a036b2bc67 $tc'CGraph :: GHC.Types.TyCon 221f7ed5f2d33d250cc7a007ac82ccbb $tc'Cstr :: GHC.Types.TyCon b817cc9d79e5904560391730cb7fa8ce $tc'DKVar :: GHC.Types.TyCon ac8c3a1f0dc801e270d596cf3addcdd6 $tc'KVGraph :: GHC.Types.TyCon 81b8ba0e677f4a885e4b8440dcba94c7 $tc'KVar :: GHC.Types.TyCon 72152a668764af6c2243e61de060dccc $tc'Rank :: GHC.Types.TyCon bb58b05e0935a9a19779672aaa019d69 $tc'SI :: GHC.Types.TyCon 28f1768b8b2b69329c59fa66bab0ecab $tc'Slice :: GHC.Types.TyCon 0a4f194b7b8c4a733a6b001c2a43b419 $tcCDeps :: GHC.Types.TyCon 8de7aeb6564b5957b1d155d1e164cfca $tcCGraph :: GHC.Types.TyCon fcc1596f23891831cfba61c740d93659 $tcCVertex :: GHC.Types.TyCon da1c3d6c63577c1cf9610b35b9cfe6ba $tcKVGraph :: GHC.Types.TyCon 711a776df92419fbf4e6a3854c9f8270 $tcRank :: GHC.Types.TyCon 50c5f3ae9bcb2de0e2782dfa6d871927 $tcSlice :: GHC.Types.TyCon 8ef5500d40842c6dc4ec23a394936b60 $tcSolverInfo :: GHC.Types.TyCon fc08ce2b8f92b86f1b8d123fa13c0c29 $trModule :: GHC.Types.Module 5b3dc53e7d7182efe8772ae3b052a48a data CDeps = CDs {cSucc :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId], cPrev :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar], cRank :: !Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank, cNumScc :: !GHC.Types.Int} a2036367d67d69c8514310d041f81d16 type CEdge = (Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex) cb563b7e163c72024edee1f8b22b76fa data CGraph = CGraph {gEdges :: [Language.Fixpoint.Graph.Types.DepEdge], gRanks :: !Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int, gSucc :: !Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId], gSccs :: !GHC.Types.Int} 0baa3f75f48ef092e8c8a2bde9c58a38 data CVertex = KVar !Language.Fixpoint.Types.Refinements.KVar | DKVar !Language.Fixpoint.Types.Refinements.KVar | Cstr !GHC.Integer.Type.Integer 1fe7129b67bcc5626b325c686ba2f2b0 type Comps a = [[a]] 64e3eed034d414c1367df64227ac4b1a type DepEdge = (Language.Fixpoint.Types.Constraints.SubcId, Language.Fixpoint.Types.Constraints.SubcId, [Language.Fixpoint.Types.Constraints.SubcId]) dcdfafc92b5824d29bbba8579e583e11 type KVComps = Language.Fixpoint.Graph.Types.Comps Language.Fixpoint.Graph.Types.CVertex ab1d23f53f34d4b1d3dc9d61914a27c1 data KVGraph = KVGraph {kvgEdges :: [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])]} a0e3ca47fce00cd7b986134304daba47 type KVRead = Data.HashMap.Base.HashMap Language.Fixpoint.Types.Refinements.KVar [Language.Fixpoint.Types.Constraints.SubcId] 26496422ee574ef263cabd9154cda099 data Rank = Rank {rScc :: !GHC.Types.Int, rIcc :: !GHC.Types.Int, rTag :: !Language.Fixpoint.Types.Constraints.Tag} 0baa3f75f48ef092e8c8a2bde9c58a38 axiom Rep_CVertex:: GHC.Generics.Rep Language.Fixpoint.Graph.Types.CVertex = GHC.Generics.D1 ('GHC.Generics.MetaData "CVertex" "Language.Fixpoint.Graph.Types" "liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi" 'GHC.Types.False) (GHC.Generics.C1 ('GHC.Generics.MetaCons "KVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: (GHC.Generics.C1 ('GHC.Generics.MetaCons "DKVar" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 Language.Fixpoint.Types.Refinements.KVar)) GHC.Generics.:+: GHC.Generics.C1 ('GHC.Generics.MetaCons "Cstr" 'GHC.Generics.PrefixI 'GHC.Types.False) (GHC.Generics.S1 ('GHC.Generics.MetaSel 'GHC.Base.Nothing 'GHC.Generics.NoSourceUnpackedness 'GHC.Generics.SourceStrict 'GHC.Generics.DecidedStrict) (GHC.Generics.Rec0 GHC.Integer.Type.Integer)))) 2ea73990b60a39c7e77086a6159928f6 data Slice = Slice {slKVarCs :: [Language.Fixpoint.Types.Constraints.SubcId], slConcCs :: [Language.Fixpoint.Types.Constraints.SubcId], slEdges :: [Language.Fixpoint.Graph.Types.DepEdge]} c362b065c92c3113c1528892cd351cac type role SolverInfo nominal representational data SolverInfo a b = SI {siSol :: !Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind, siQuery :: !Language.Fixpoint.Types.Constraints.SInfo a, siDeps :: !Language.Fixpoint.Graph.Types.CDeps, siVars :: !Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar} c5881a4eacb010b021dce1070cfecdb4 cNumScc :: Language.Fixpoint.Graph.Types.CDeps -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CDeps 61697da14e037b8e57339f7aa3854848 cPrev :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Refinements.KVar] RecSel Left Language.Fixpoint.Graph.Types.CDeps d181f189312d621f71298852433ae6e4 cRank :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap Language.Fixpoint.Graph.Types.Rank RecSel Left Language.Fixpoint.Graph.Types.CDeps 0462374c6b2e1a5d14790a86590c6335 cSucc :: Language.Fixpoint.Graph.Types.CDeps -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CDeps c62a14b5a40783f104379f57ad18f2b4 gEdges :: Language.Fixpoint.Graph.Types.CGraph -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.CGraph 66acc03b09b4c839dbc647983f9880cb gRanks :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph 878c9ddce6abf71207f2c197787f6849 gSccs :: Language.Fixpoint.Graph.Types.CGraph -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.CGraph e0530c7cd12d5ca72b97a38056cf31c1 gSucc :: Language.Fixpoint.Graph.Types.CGraph -> Language.Fixpoint.Types.Solutions.CMap [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.CGraph 3a95b3b83219ccf8f3a9526ab246490f isRealEdge :: Language.Fixpoint.Graph.Types.CEdge -> GHC.Types.Bool 2d6e01fd696dec24e4e2113cd5e5548d kvgEdges :: Language.Fixpoint.Graph.Types.KVGraph -> [(Language.Fixpoint.Graph.Types.CVertex, Language.Fixpoint.Graph.Types.CVertex, [Language.Fixpoint.Graph.Types.CVertex])] RecSel Left Language.Fixpoint.Graph.Types.KVGraph 845a8cb4fb5945a16966f35a7a2a1c22 lookupCMap :: ?callStack::GHC.Stack.Types.CallStack => Language.Fixpoint.Types.Solutions.CMap a -> Language.Fixpoint.Types.Constraints.SubcId -> a fb582086dc2c1a1bc7fd6855859680f5 rIcc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank 43d00d9fc7121b5aabeecc4a851b097e rScc :: Language.Fixpoint.Graph.Types.Rank -> GHC.Types.Int RecSel Left Language.Fixpoint.Graph.Types.Rank ac1e195f51c859748e6a69defecfbe62 rTag :: Language.Fixpoint.Graph.Types.Rank -> Language.Fixpoint.Types.Constraints.Tag RecSel Left Language.Fixpoint.Graph.Types.Rank c49f9064c2c90185c51aac7cf6a93e67 siDeps :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Graph.Types.CDeps RecSel Left Language.Fixpoint.Graph.Types.SolverInfo 72baca26aaf0b3a37bbcd7d3d0a4130d siQuery :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Constraints.SInfo a RecSel Left Language.Fixpoint.Graph.Types.SolverInfo cac22876dc8dcd529a6f84c7b529a082 siSol :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Language.Fixpoint.Types.Solutions.Sol b Language.Fixpoint.Types.Solutions.QBind RecSel Left Language.Fixpoint.Graph.Types.SolverInfo 38e662a42a0435f735bc002ce5721ba7 siVars :: Language.Fixpoint.Graph.Types.SolverInfo a b -> Data.HashSet.HashSet Language.Fixpoint.Types.Refinements.KVar RecSel Left Language.Fixpoint.Graph.Types.SolverInfo aa18f409e294e329c4bebc9353a1359f slConcCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice 783e1efa7366e116d159d6f1d227c458 slEdges :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Graph.Types.DepEdge] RecSel Left Language.Fixpoint.Graph.Types.Slice 718d7b713629470d0db77ac0a3742f4e slKVarCs :: Language.Fixpoint.Graph.Types.Slice -> [Language.Fixpoint.Types.Constraints.SubcId] RecSel Left Language.Fixpoint.Graph.Types.Slice bc1cf478a249bf8fbab8486519eea9fb writeEdges :: GHC.IO.FilePath -> [Language.Fixpoint.Graph.Types.CEdge] -> GHC.Types.IO () cc75726e259f63ba241ad38574eabcf3 writeGraph :: GHC.IO.FilePath -> Language.Fixpoint.Graph.Types.KVGraph -> GHC.Types.IO () instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fEqCVertex instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fEqRank instance GHC.Classes.Eq [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fEqSlice instance GHC.Generics.Generic [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fGenericCVertex instance Data.Hashable.Class.Hashable [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fHashableCVertex instance GHC.Classes.Ord [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fOrdCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fPPrintCVertex instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.KVGraph] = Language.Fixpoint.Graph.Types.$fPPrintKVGraph instance Language.Fixpoint.Types.PrettyPrint.PPrint [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fPPrintRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.$fShowCVertex instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Rank] = Language.Fixpoint.Graph.Types.$fShowRank instance GHC.Show.Show [Language.Fixpoint.Graph.Types.Slice] = Language.Fixpoint.Graph.Types.$fShowSlice family instance GHC.Generics.Rep [Language.Fixpoint.Graph.Types.CVertex] = Language.Fixpoint.Graph.Types.Rep_CVertex vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False