liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/src/Language/Fixpoint/Minimize.dump-hi
==================== FINAL INTERFACE ====================
2019-09-22 14:52:54.93774 UTC
interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Minimize 8065
interface hash: fe879c4a86a73acd220874da875c7757
ABI hash: e941bb6b52946ad1ad891537e1cb7464
export-list hash: 3c339244b0eac7c117bb24be10fa31cb
orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e
flag hash: aa3545f85ba0f0dbcefcd35c641d921f
opt_hash: d0a78e7b344f95c7406be35c9b75e196
hpc_hash: 93b885adfe0da089cdf634904fd59f71
plugin_hash: ad164012d6b1e14942349d58b1132007
sig of: Nothing
used TH splices: False
where
exports:
Language.Fixpoint.Minimize.minKvars
Language.Fixpoint.Minimize.minQuals
Language.Fixpoint.Minimize.minQuery
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.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.Tuple c719fc29608fe81c10bee9a1bf1e05ff
import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26
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
safeHead dcdb2c8e020a5390eda7caeb23102929
import -/ Language.Fixpoint.Types 9cb1a9068dc49504c64c97f35a33862f
exports: 62d26edd591b195eabce115b8380fe6e
import -/ Language.Fixpoint.Types.Config 134020671d47a57ffc8e89be204594cd
exports: b55741973d8e26ddd46c69a42379ac12
Config 3988ec36858b82afed711ea7ff67ff00
minimize 3988ec36858b82afed711ea7ff67ff00
minimizeKs 3988ec36858b82afed711ea7ff67ff00
minimizeQs 3988ec36858b82afed711ea7ff67ff00
queryFile 24dfc95af04dba576b5be5b6594619e1
srcFile 3988ec36858b82afed711ea7ff67ff00
import -/ Language.Fixpoint.Types.Constraints 5290ca1fe775ef899496b3cb4cf11436
FInfo b6d52641b5c0c13c0e61844e2114eb16
Result 9b37020b88a84332f42c4a4efcccc0c2
Solver 5f11195f89eea9e971cb52093960dc22
cm 90ef96c47f269969affd7c3639af34f3
isSafe ccdd8b8057f79a12e91c390f27a8ab7c
quals 90ef96c47f269969affd7c3639af34f3
saveQuery 547dfa1885614d5beeb6bfd5ba6a1b3c
srhs 1844afeba4cbd3ee9cea173e868f8ce9
ws 90ef96c47f269969affd7c3639af34f3
import -/ Language.Fixpoint.Types.PrettyPrint 2104c549ff18167e86668f84d86b14a0
Fixpoint 98d26628e0637967f879c1c12cfa20b7
import -/ Language.Fixpoint.Types.Refinements e312fbfecbcc511c18b2a4b463f3a6dc
KVar f4ebd74e51621c4f10e9fc003e3885a9
PTrue 1c366fec6a192dc993b90d2b711bd4f4
isNonTrivial 3a097c5f9ea6e7dca22bab5a2f3df362
import -/ Language.Fixpoint.Types.Visitor f18ce5f6a562022e9c59dbca8db1edad
exports: 483fcd13e73dd85ffa64d4931a72ac90
mapKVars af441d27aeda370329d09896076c30f8
import -/ Language.Fixpoint.Utils.Files b2b779ebebf03f66af4a684b17d25d25
exports: 061e3dd63eb42c6c413f2db46ae3d0cb
Ext 2200547bd69549ec4bc703e1fe4c80e1
Min 8e69d4d116f2f13abcecb39697611507
MinKVars 17a5f90333cf9c377ced1cd641e52d83
MinQuals 8e167890ad501626176bce2109a259a5
import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc
import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b
ba5efe9dd46e43893b0470d36e565190
$trModule :: GHC.Types.Module
b2e4aa6c4f3a8097a50a7ab2de7d2943
type Oracle a c =
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Constraints.Solver a
-> Language.Fixpoint.Types.Constraints.FInfo a
-> [c]
-> GHC.Types.IO GHC.Types.Bool
9eff144d27bd764e1971ce9b28fa54e4
minKvars ::
(Control.DeepSeq.NFData a,
Language.Fixpoint.Types.PrettyPrint.Fixpoint a) =>
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Constraints.Solver a
-> Language.Fixpoint.Types.Constraints.FInfo a
-> GHC.Types.IO
(Language.Fixpoint.Types.Constraints.Result
(GHC.Integer.Type.Integer, a))
667f6a6a437290acf0ee4cb8ef93292b
minQuals ::
(Control.DeepSeq.NFData a,
Language.Fixpoint.Types.PrettyPrint.Fixpoint a) =>
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Constraints.Solver a
-> Language.Fixpoint.Types.Constraints.FInfo a
-> GHC.Types.IO
(Language.Fixpoint.Types.Constraints.Result
(GHC.Integer.Type.Integer, a))
82a6cea7516f24f1e6679a5bd62453c3
minQuery ::
(Control.DeepSeq.NFData a,
Language.Fixpoint.Types.PrettyPrint.Fixpoint a) =>
Language.Fixpoint.Types.Config.Config
-> Language.Fixpoint.Types.Constraints.Solver a
-> Language.Fixpoint.Types.Constraints.FInfo a
-> GHC.Types.IO
(Language.Fixpoint.Types.Constraints.Result
(GHC.Integer.Type.Integer, a))
trusted: none
require own pkg trusted: False
module header:
Nothing
declaration docs:
arg docs: