liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/src/Language/Fixpoint/Graph.dump-hi
==================== FINAL INTERFACE ====================
2019-09-22 14:52:50.213298 UTC
interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Graph 8065
interface hash: 25a41b31939700e54c60f3f32f83bf8f
ABI hash: 59334fea55dc8d64130719f78eeb5109
export-list hash: 70a8f3bb9be3a7f9430fb829908b4dcf
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: 3afb024a66b98a7771e7ad37a80911a1
opt_hash: d0a78e7b344f95c7406be35c9b75e196
hpc_hash: 93b885adfe0da089cdf634904fd59f71
plugin_hash: ad164012d6b1e14942349d58b1132007
sig of: Nothing
used TH splices: False
where
exports:
Language.Fixpoint.Graph.Deps.decompose
Language.Fixpoint.Graph.Deps.elimDeps
Language.Fixpoint.Graph.Deps.elimVars
Language.Fixpoint.Graph.Deps.graphStatistics
Language.Fixpoint.Graph.Deps.isTarget
Language.Fixpoint.Graph.Deps.kvEdges
Language.Fixpoint.Graph.Deps.slice
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.Reducible.isReducible
Language.Fixpoint.Graph.Types.isRealEdge
Language.Fixpoint.Graph.Types.lookupCMap
Language.Fixpoint.Graph.Types.writeEdges
Language.Fixpoint.Graph.Types.writeGraph
Language.Fixpoint.Graph.Deps.Elims{Language.Fixpoint.Graph.Deps.Deps depCuts depNonCuts}
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}
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.EBind 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.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:Prelude 3c779dfd6448bdd8e234c336802c2acb
import -/ Language.Fixpoint.Graph.Deps f58fb5bc911772ff16e90c021342fd77
exports: 7deeeee1d668195264f1154820a52680
Deps c3cb706eed279b0e33e459517fdc62fc
Elims c993725cef81addc46fa6e960ae18a56
decompose 4773457816fb7844595c6cce724cae20
depCuts c993725cef81addc46fa6e960ae18a56
depNonCuts c993725cef81addc46fa6e960ae18a56
elimDeps dc3d3bae02683f6ae264dac8243bec09
elimVars 4be3da868d909f2205fdad0e4d0d5b05
graphStatistics 0c1e1a0a1a853779537b29a9aa270680
isTarget d1daed292929204f16030b2bb40ffd2e
kvEdges 686b8200ce806f2031e4d7483f206668
slice ebd8822ee891d60be909112e676bd8ce
import -/ Language.Fixpoint.Graph.Partition 10b792bb9300a0bfeef35f9a6335155b
exports: f177a010be01f53501cf29b1043f9946
CPart 599f41feda32e84d86385ce81d2e8faf
CPart 34f38a4d10574cd66bf22ef00cee91aa
MCInfo 4b71420ed2c5df045c4d7cdd7f6ad778
MCInfo 1310569d9441a00e5d026d0ba60274b5
dumpPartitions b22c89a9aec0774421cedaa5595dfbce
mcCores 1310569d9441a00e5d026d0ba60274b5
mcInfo 1b954f79e466123de525c83e62f723ee
mcMaxPartSize 1310569d9441a00e5d026d0ba60274b5
mcMinPartSize 1310569d9441a00e5d026d0ba60274b5
partition 00f9f31dc845d7647e1224fc08a89d10
partition' 604dec4b5afaf691202e7ed2938aa872
partitionN 2a353cadac6e10dd4186111d3ddb7653
pcm 34f38a4d10574cd66bf22ef00cee91aa
pws 34f38a4d10574cd66bf22ef00cee91aa
import -/ Language.Fixpoint.Graph.Reducible 7036b2a613444e3bf30da08908c4d9d5
exports: bf921c869217837466c3fa389c66ce1c
isReducible 547323ed729071407cd453530e983e3c
import -/ Language.Fixpoint.Graph.Types 90354efadf49650a4d644eca42325aa3
exports: 68162b3a5b2b3dfa40ecf54da514ced3
CDeps fb08c7abe463f57655419905998c9e3c
CDs d9f2f987efef35ec0ef051129b12d887
CEdge 5926a8a79eef96a67d64e7e2de539c49
CGraph e39736edd224acccd8417b0edf19aa1e
CGraph 66236c65d66a8151ebba5e6b1bf5230c
CVertex 4c2dcbf4968a23ede6d681da7c0332b4
Comps 73dc5a86a8a8cae61cc19bbc3d9fc43d
Cstr fb3e234b3b6ba6293e60b57759fd6db5
DKVar 4aa9c49c4eda2fada0ea4da9ae537843
DepEdge 4e73444bc8aa8dcc78647298be9df38e
EBind 99874c354c29806b18442958f2188464
KVComps def5a7dc502d951c9d5669d25bead965
KVGraph a7ba87c7553ab45ba4fa623963e90126
KVGraph fe819e3425a3bf9de917a8ddb59b6513
KVRead 46544e1280bc1665457446550a616b1f
KVar c4a8980acc6c70ca8becabae4f5f5f0a
Rank eab4b6d561fa41bd7aab47eb6968cbf6
Rank cf29aa20410874c45eb55b88a9039fa1
SI acae40c3d81f5865f3bafc419a2516f3
Slice 53737e181653c6696ab008e006cd2b7b
Slice c9f558b1c2b09536b1215379ef863bfc
SolverInfo 9a73d9e092f73b37b6476ae70547e961
cNumScc fb08c7abe463f57655419905998c9e3c
cPrev fb08c7abe463f57655419905998c9e3c
cRank fb08c7abe463f57655419905998c9e3c
cSucc fb08c7abe463f57655419905998c9e3c
gEdges 66236c65d66a8151ebba5e6b1bf5230c
gRanks 66236c65d66a8151ebba5e6b1bf5230c
gSccs 66236c65d66a8151ebba5e6b1bf5230c
gSucc 66236c65d66a8151ebba5e6b1bf5230c
isRealEdge dfc0340045fc5c818e72018ad55a3050
kvgEdges fe819e3425a3bf9de917a8ddb59b6513
lookupCMap 39b9410ac905fdea8ba0cbc0cd18b14b
rIcc cf29aa20410874c45eb55b88a9039fa1
rScc cf29aa20410874c45eb55b88a9039fa1
rTag cf29aa20410874c45eb55b88a9039fa1
siDeps 9a73d9e092f73b37b6476ae70547e961
siQuery 9a73d9e092f73b37b6476ae70547e961
siSol 9a73d9e092f73b37b6476ae70547e961
siVars 9a73d9e092f73b37b6476ae70547e961
slConcCs c9f558b1c2b09536b1215379ef863bfc
slEdges c9f558b1c2b09536b1215379ef863bfc
slKVarCs c9f558b1c2b09536b1215379ef863bfc
writeEdges ef51f742359e1b490dcec54af017b86e
writeGraph d4282ed4e9a464fdcbf0fdae2a09bb51
import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436
SubcId 311c8f398e2d0f5e23e664bacb45f905
import -/ Language.Fixpoint.Types.Solutions 0b8a944fa50bd0859885907efb6ca971
CMap f6eaa2c8b036cb0052c0242863f4089d
f9f2f8723a4790077d4f612f316d2991
$trModule :: GHC.Types.Module
trusted: none
require own pkg trusted: False
module header:
Nothing
declaration docs:
arg docs: