==================== FINAL INTERFACE ==================== 2017-05-15 08:53:22.261209 UTC interface liquid-fixpoint-0.6.0.1-3eFMjv17Mf8EVbYNi5msgi:Language.Fixpoint.Misc 8002 interface hash: f44d5e3124399bf684a6cc3c6ac18ad4 ABI hash: 8dcc45892a5330e586784ea12f52dd65 export-list hash: 3408045fd5294879efb3c76c6b2e957b orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: aa523689299a73c717110ac922c91b7d sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Misc.allCombinations Language.Fixpoint.Misc.allMap Language.Fixpoint.Misc.applyNonNull Language.Fixpoint.Misc.arrow Language.Fixpoint.Misc.asyncMapM Language.Fixpoint.Misc.coalesce Language.Fixpoint.Misc.coalesceEdges Language.Fixpoint.Misc.colorPhaseLn Language.Fixpoint.Misc.colorStrLn Language.Fixpoint.Misc.componentsWith Language.Fixpoint.Misc.count Language.Fixpoint.Misc.dcolon Language.Fixpoint.Misc.doneLine Language.Fixpoint.Misc.donePhase Language.Fixpoint.Misc.editDistance Language.Fixpoint.Misc.ensurePath Language.Fixpoint.Misc.errorstar Language.Fixpoint.Misc.executeShellCommand Language.Fixpoint.Misc.fM Language.Fixpoint.Misc.firstMaybe Language.Fixpoint.Misc.fst3 Language.Fixpoint.Misc.getUniqueInt Language.Fixpoint.Misc.group Language.Fixpoint.Misc.groupBase Language.Fixpoint.Misc.groupList Language.Fixpoint.Misc.groupMap Language.Fixpoint.Misc.hashMapToAscList Language.Fixpoint.Misc.inserts Language.Fixpoint.Misc.intersperse Language.Fixpoint.Misc.mapEither Language.Fixpoint.Misc.mapFst Language.Fixpoint.Misc.mapSnd Language.Fixpoint.Misc.mfromJust Language.Fixpoint.Misc.mlookup Language.Fixpoint.Misc.moodColor Language.Fixpoint.Misc.powerset Language.Fixpoint.Misc.putBlankLn Language.Fixpoint.Misc.removes Language.Fixpoint.Misc.repeats Language.Fixpoint.Misc.safeHead Language.Fixpoint.Misc.safeInit Language.Fixpoint.Misc.safeLast Language.Fixpoint.Misc.safeLookup Language.Fixpoint.Misc.safeUncons Language.Fixpoint.Misc.safeUnsnoc Language.Fixpoint.Misc.safeZip Language.Fixpoint.Misc.safeZipWith Language.Fixpoint.Misc.secondM Language.Fixpoint.Misc.singleton Language.Fixpoint.Misc.snd3 Language.Fixpoint.Misc.sortNub Language.Fixpoint.Misc.startPhase Language.Fixpoint.Misc.thd3 Language.Fixpoint.Misc.traceShow Language.Fixpoint.Misc.tshow Language.Fixpoint.Misc.whenM Language.Fixpoint.Misc.withColor Language.Fixpoint.Misc.wrap Language.Fixpoint.Misc.wrapStars Language.Fixpoint.Misc.writeLoud Language.Fixpoint.Misc.EqHash Language.Fixpoint.Misc.ListNE Language.Fixpoint.Misc.Moods{Language.Fixpoint.Misc.Angry Language.Fixpoint.Misc.Happy Language.Fixpoint.Misc.Loud Language.Fixpoint.Misc.Ok Language.Fixpoint.Misc.Sad} Language.Fixpoint.Misc.|-> module dependencies: 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 bytestring-0.10.8.1@bytestring-0.10.8.1 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 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 located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3 pretty-1.1.3.3@pretty-1.1.3.3 process-1.4.3.0@process-1.4.3.0 stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve text-1.2.2.1@text-1.2.2.1-Ji7hMs2U4BkBwavd4taEVR time-1.6.0.1@time-1.6.0.1 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 hashable-1.2.6.0@hashable-1.2.6.0-3EXxoqeEgbfAKr6aGkye6x:Data.Hashable.Generic stm-2.4.4.1@stm-2.4.4.1-JQn4hNPyYjP5m9AcbI88Ve:Control.Monad.STM 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 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 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 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI e739319fbbd4966bdcd546dfbbe469b3 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI.Common ac77f9b0df69073483b183add28b39b1 import -/ ansi-terminal-0.6.2.3@ansi-terminal-0.6.2.3-4HPxin1iv6RAndS8lH3nzo:System.Console.ANSI.Unix 6ea483f5e4efc8e715d9a53f8f28b4a4 import -/ array-0.5.1.1@array-0.5.1.1:Data.Array 01310623526f8acc73d1bb69e9d9530a import -/ async-2.1.1@async-2.1.1-4n6HEMPJR2eJK0JpvCfuPK:Control.Concurrent.Async 955fb68f82189e74bba4ac5b1bd4273e import -/ base-4.9.1.0:Control.Arrow 70754b538e7d75521cd68162917b6946 import -/ base-4.9.1.0:Control.Exception a76dd9666251322fe34dbcca3a0817bf import -/ base-4.9.1.0:Control.Exception.Base 1e106916283856f4d9caeddab92cd861 import -/ base-4.9.1.0:Control.Monad a6784c5dab0d75c63dabec5a37843f98 import -/ base-4.9.1.0:Data.Either 20b09ef8d0a5b74fdec011c40c1587f5 import -/ base-4.9.1.0:Data.Foldable 3e0b6967a1da89945d0e2d47266337a2 import -/ base-4.9.1.0:Data.Function 7aca86bfbd92366def5f260e30cb2628 import -/ base-4.9.1.0:Data.Functor 5ab1dc703df5b482e77efb697833ca3c import -/ base-4.9.1.0:Data.List 07ae2acca6538aa0800bd0a993ac6ac1 import -/ base-4.9.1.0:Data.Maybe d876c4ffe4b3c43755a781e8ad860d88 import -/ base-4.9.1.0:Data.OldList 27987919d8da2f92e3f472ca81f730f8 import -/ base-4.9.1.0:Data.Traversable 556020d7cf3c4a34a774600512918a37 import -/ base-4.9.1.0:Data.Tuple 7dc4bbb45d2e69c991ffac438beeca11 import -/ base-4.9.1.0:Data.Unique 83bc144bd7a6b4a9dd53b82bc143c029 import -/ base-4.9.1.0:Debug.Trace a9edf3aec504f4423d8ba829ab373a25 import -/ base-4.9.1.0:GHC.Arr dbae05e7a9c0aba55cc706ecf0406507 import -/ base-4.9.1.0:GHC.Base c4231c43c07e46080a26bf94094c7aa1 import -/ base-4.9.1.0:GHC.Err 3bba35a16538d33d424682ce66876cdd import -/ base-4.9.1.0:GHC.IO eb504c57b397cf133849f8586f15dafb import -/ base-4.9.1.0:GHC.IO.Exception 5064be4c355632a1d1c4f2322f56ac52 import -/ base-4.9.1.0:GHC.IO.Handle ba98a5b34d78cbf48b41fe58a3735c69 import -/ base-4.9.1.0:GHC.IO.Handle.FD bf0291e0f2b6c0eca5446f986999f1cc import -/ base-4.9.1.0:GHC.List ab8c4e523e6c479c549d3bcd5fc4a439 import -/ base-4.9.1.0:GHC.Num 00bfaa7b2f9d6084913c0697a8a49ec8 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.Exit 068ba078eb20417d7af66db8b8ab4db1 import -/ base-4.9.1.0:System.IO c9de64c5f5407c4cf1c52500c4d15200 import -/ cmdargs-0.10.17@cmdargs-0.10.17-IWa8ygdJhnJBShkQXN8V9I:System.Console.CmdArgs.Verbosity 7bf06f3afbdc9ccb1d15f1e14eae9da1 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Graph 54c0f58a4ccb634fc9eab39368f95434 import -/ containers-0.5.7.1@containers-0.5.7.1:Data.Tree d0006987ba7e0d1855cb2cb448efc980 import -/ directory-1.3.0.0@directory-1.3.0.0:System.Directory 23e4e3d52f91c33b21f0667cd90aa164 import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath a3d1d13ac7dd86705b5dfaf58a5c0b9e import -/ filepath-1.4.1.1@filepath-1.4.1.1:System.FilePath.Posix 6a5e3ee74184fdcc5da09a368e7c40f5 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 -/ located-base-0.1.1.0@located-base-0.1.1.0-HUdCVrbsrYd4xCcb0zuvg3:GHC.Err.Located e7c2cc2fce5606967665701f9d888898 import -/ pretty-1.1.3.3@pretty-1.1.3.3:Text.PrettyPrint.HughesPJ 0c3d66734497c26d70ab123829dd1cb4 import -/ process-1.4.3.0@process-1.4.3.0:System.Process 1ee59b956b7cad68338d3f6ab3e772ed 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 addDependentFile "/usr/local/lib/ghc-8.0.2/include/ghcversion.h" addDependentFile ".stack-work/dist/x86_64-osx/Cabal-1.24.2.0/build/autogen/cabal_macros.h" 0787c942b804b94c7caebb71b9c17594 $tc'Angry :: GHC.Types.TyCon ebc7e8d67ef7072793c4f23ab065c220 $tc'Happy :: GHC.Types.TyCon 09f9261ac491ebe4bdab3c6d50422c81 $tc'Loud :: GHC.Types.TyCon 63754c6dce6f84073fffb43a57895763 $tc'Ok :: GHC.Types.TyCon ef2950592ac4346812f6f317cfd60f27 $tc'Sad :: GHC.Types.TyCon 1c86ef8512cb87d9414c0b44c63926f3 $tcMoods :: GHC.Types.TyCon 8b99ad4dd83a3181ee06b5cef3d733c6 $trModule :: GHC.Types.Module fb2b0603f93d0165c761c3a372717c12 type EqHash a = (GHC.Classes.Eq a, GHC.Classes.Ord a, Data.Hashable.Class.Hashable a) :: GHC.Types.Constraint 96545dcc18370491ee873ce561f5184d type ListNE a = [a] 5dd4ad7f7abd907bc0d1f0ba7b34e597 data Moods = Ok | Loud | Sad | Happy | Angry 86bea08e149ae84bf42deb20de196ecd allCombinations :: [[a]] -> [[a]] e9441e1b01d6db94b5a72eb073f02e64 allMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (v -> GHC.Types.Bool) -> Data.HashMap.Base.HashMap k v -> GHC.Types.Bool fc15c8a280d60ac6528268fbca57a703 applyNonNull :: b -> ([a] -> b) -> [a] -> b f9a4bbdce33f70d16cb8239706f5b13b arrow :: Text.PrettyPrint.HughesPJ.Doc 2448a43d1eef2a62f2010abe411c4274 asyncMapM :: (a -> GHC.Types.IO b) -> [a] -> GHC.Types.IO [b] 7cce060457148488bcd50def295f216a coalesce :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [Language.Fixpoint.Misc.ListNE v] dce18dd292c997a485bd194cdd6fc301 coalesceEdges :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [(v, v, [v])] 7c6a212bb67b7c7932042a5f526a042c colorPhaseLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Base.String -> GHC.Types.IO () 8cd892c125e9882667706336292de668 colorStrLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () 2a9902e941dd0e29701c44566d6e4083 componentsWith :: GHC.Classes.Ord c => (a -> [(b, c, [c])]) -> a -> [[b]] 1eefc6525a5a5f8d1aabac11af375add count :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [k] -> [(k, GHC.Types.Int)] 9b11c0f662df903135900f2683646fde dcolon :: Text.PrettyPrint.HughesPJ.Doc d557b6f83b62674f6c499eefe5432ed2 doneLine :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () b6fb7118857d10a65ac764dc0346f808 donePhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () 94a6a7f17010d83ba3a4523a668ef4db editDistance :: GHC.Classes.Eq a => [a] -> [a] -> GHC.Types.Int 21e1e1616d926a53d0ba292f5100191d ensurePath :: GHC.IO.FilePath -> GHC.Types.IO () 38cc16c0836e03b9af68d3c95faef762 errorstar :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> a e40a84ec391d2b40ec3871e224162208 executeShellCommand :: GHC.Base.String -> GHC.Base.String -> GHC.Types.IO GHC.IO.Exception.ExitCode 46afd0d234bec8eb6496890b5027bd3e fM :: GHC.Base.Monad m => (a -> b) -> a -> m b e7dd4146171cb20aead0a4f917daadc9 firstMaybe :: (a -> GHC.Base.Maybe b) -> [a] -> GHC.Base.Maybe b c2fb078f91ea47d89f334b40271f00d5 fst3 :: (a, b, c) -> a f64391f53b4373995d9226fc8b4b6467 getUniqueInt :: GHC.Types.IO GHC.Types.Int ddaaecd54e69c0dd277c3bddd2025c2e group :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> Data.HashMap.Base.HashMap k [v] 849b64e3c7d8ef0059baf39f7edcc75c groupBase :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Data.HashMap.Base.HashMap k [v] -> [(k, v)] -> Data.HashMap.Base.HashMap k [v] a38f3ffef5c093f815d9eacf9823aaec groupList :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> [(k, [v])] 12cafba4287bf538b7b908909b5e6dc0 groupMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (a -> k) -> [a] -> Data.HashMap.Base.HashMap k [a] ef6d3b5c0a3d204a98d399458c03670c hashMapToAscList :: GHC.Classes.Ord a => Data.HashMap.Base.HashMap a b -> [(a, b)] dca83463f129a2b8a218b17aa88141ac inserts :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => k -> v -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] dbfdf6e9d51ac2b8589b2dc3bd858af5 intersperse :: Text.PrettyPrint.HughesPJ.Doc -> [Text.PrettyPrint.HughesPJ.Doc] -> Text.PrettyPrint.HughesPJ.Doc ee404601d10a6f90860c67c4dab47773 mapEither :: (a -> Data.Either.Either b c) -> [a] -> ([b], [c]) 2708a6a034aba1a57be4beb08bb14910 mapFst :: (a -> c) -> (a, b) -> (c, b) f65111045c3b2a9d41f6f3caa9da6536 mapSnd :: (b -> c) -> (a, b) -> (a, c) f3252816453c1aedfe1184ff4f06cf29 mfromJust :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> GHC.Base.Maybe a -> a ed031499c225551e3740f711a7cc16cf mlookup :: (?callStack::GHC.Stack.Types.CallStack, GHC.Classes.Eq k, GHC.Show.Show k, Data.Hashable.Class.Hashable k) => Data.HashMap.Base.HashMap k v -> k -> v 9aac47dbab14407e0364a3466a32a5df moodColor :: Language.Fixpoint.Misc.Moods -> System.Console.ANSI.Common.Color 07bc58ca61634199acae932cf3d5ad54 powerset :: [a] -> [[a]] 6c8eb538b79a38433ce4c9c9a6ac09e1 putBlankLn :: GHC.Types.IO () 44725a8d3b773cc3254a999aa9487299 removes :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k, GHC.Classes.Eq v) => k -> v -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] efd2bcd4c1e94b94f315bc5f5d47267e repeats :: GHC.Types.Int -> [a] -> [a] 3f5eb11a91aa40b218555bb74d3c5c63 safeHead :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a 8fc3b0e229a2edbeda0916826b7a32a4 safeInit :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> [a] 60663e0bd51b3055719baf6d6b3e947e safeLast :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a 83a26670063b15f3c02c66aa1d8bb8da safeLookup :: (?callStack::GHC.Stack.Types.CallStack, GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => GHC.Base.String -> k -> Data.HashMap.Base.HashMap k v -> v fb780995a149cace87638dedcc38e8b4 safeUncons :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> (a, [a]) 9686a763290b33911b106159c6ee9621 safeUnsnoc :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> ([a], a) 89f1ba766ac5a5bdce52f649efe7016d safeZip :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> [a] -> [b] -> [(a, b)] 02ee9f8e4394cdc68b294d868222abaa safeZipWith :: ?callStack::GHC.Stack.Types.CallStack => GHC.Base.String -> (a -> b -> c) -> [a] -> [b] -> [c] caed93a0a49c852b39e269ed44e001a6 secondM :: GHC.Base.Functor f => (b -> f c) -> (a, b) -> f (a, c) 2ca78f0fdeec38228ed4178a223ec14c singleton :: a -> [a] 04376486690d5f5078e95019210506a0 snd3 :: (a, b, c) -> b 84a7619417d4bda4412d2f78a0fc0398 sortNub :: GHC.Classes.Ord a => [a] -> [a] 9d17256398f48f0d7bfdaf3e29926cdf startPhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () a3d12468d25f98643f8778e86522f8c9 thd3 :: (a, b, c) -> c 11160d09cb994b045089190273211953 traceShow :: GHC.Show.Show a => GHC.Base.String -> a -> a 6b8c68197267609218874f3cacce684a tshow :: GHC.Show.Show a => a -> Text.PrettyPrint.HughesPJ.Doc 244f7264130d27c8f8fd50243d803fdb whenM :: GHC.Base.Monad m => m GHC.Types.Bool -> m () -> m () fa912cc59984d6bf65a40b40a4ead337 withColor :: System.Console.ANSI.Common.Color -> GHC.Types.IO () -> GHC.Types.IO () 03a5c49a6890b97243461b753fd9db8e wrap :: [a] -> [a] -> [a] -> [a] d9616dff7f1cd1df57b5fe9e90b121b1 wrapStars :: GHC.Base.String -> GHC.Base.String 0519d388dd549cf2f7de1af145aa8896 writeLoud :: GHC.Base.String -> GHC.Types.IO () e1dbbe827e448a721c38b0981fa178e7 type (|->) a b = Data.HashMap.Base.HashMap a b vectorised variables: vectorised tycons: vectorised reused tycons: parallel variables: parallel tycons: trusted: none require own pkg trusted: False