==================== FINAL INTERFACE ==================== 2019-09-22 14:52:22.227491 UTC interface liquid-fixpoint-0.8.0.2-FcQLKVO4y2e40hxwxPr9ep:Language.Fixpoint.Misc 8065 interface hash: cb2b644b06b89893e8cef24046978f8d ABI hash: 1a50b0be98f5d556c823a27b0843feb5 export-list hash: c71e07620cb71e48240d161f1a37aa5e orphan hash: 693e9af84d3dfcc71e640e005bdc5e2e flag hash: 4130aeff2438b4b2b195f2352acf0f48 opt_hash: d0a78e7b344f95c7406be35c9b75e196 hpc_hash: 93b885adfe0da089cdf634904fd59f71 plugin_hash: ad164012d6b1e14942349d58b1132007 sig of: Nothing used TH splices: False where exports: Language.Fixpoint.Misc.<$$> Language.Fixpoint.Misc.<<= Language.Fixpoint.Misc.=>> Language.Fixpoint.Misc.allCombinations Language.Fixpoint.Misc.allMap Language.Fixpoint.Misc.applyNonNull Language.Fixpoint.Misc.argMin 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.duplicates Language.Fixpoint.Misc.editDistance Language.Fixpoint.Misc.ensurePath Language.Fixpoint.Misc.errorP Language.Fixpoint.Misc.errorstar Language.Fixpoint.Misc.exTopo Language.Fixpoint.Misc.executeShellCommand Language.Fixpoint.Misc.fM Language.Fixpoint.Misc.findNearest Language.Fixpoint.Misc.firstMaybe Language.Fixpoint.Misc.fold1M 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.hashNub Language.Fixpoint.Misc.hashNubWith Language.Fixpoint.Misc.headMb Language.Fixpoint.Misc.ifM Language.Fixpoint.Misc.inserts Language.Fixpoint.Misc.intersperse Language.Fixpoint.Misc.isRight 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.nubDiff Language.Fixpoint.Misc.nubOrd Language.Fixpoint.Misc.pair Language.Fixpoint.Misc.powerset Language.Fixpoint.Misc.putBlankLn Language.Fixpoint.Misc.removes Language.Fixpoint.Misc.repeats Language.Fixpoint.Misc.revMapM Language.Fixpoint.Misc.safeFromList 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.sccsWith 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.topoSortWith Language.Fixpoint.Misc.traceShow Language.Fixpoint.Misc.triple 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: 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 bytestring-0.10.8.2 cmdargs-0.10.20 colour-2.3.5 containers-0.6.0.1 deepseq-1.4.4.0 directory-1.3.3.0 filepath-1.4.2.1 ghc-prim-0.5.3 hashable-1.2.7.0 integer-gmp-1.0.2.0 pretty-1.1.3.6 process-1.6.5.0 stm-2.5.0.0 text-1.2.3.1 time-1.8.0.2 unix-2.7.2.2 unordered-containers-0.2.9.0 orphans: 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 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 -/ ansi-terminal-0.8.2:System.Console.ANSI 4df89658d441a730678e2c7fdadab153 import -/ ansi-terminal-0.8.2:System.Console.ANSI.Types 93dadbe7f8cee741a808885db70b77d7 import -/ ansi-terminal-0.8.2:System.Console.ANSI.Unix 12fb57293ac645cb9a473fda213a4ac6 import -/ array-0.5.3.0:Data.Array 92f4b3399a96adb44649ce9a9d6cd419 import -/ async-2.2.1:Control.Concurrent.Async ecd5354e8c6efc2569b6e1bebd9be055 import -/ base-4.12.0.0:Control.Arrow cda881e865dd3141fb08ed18f2efcca7 import -/ base-4.12.0.0:Control.Exception 041da5b6267cf6b639ff5716d5b299a9 import -/ base-4.12.0.0:Control.Exception.Base 28f76dc5daa23d33c2b03285506ae9fc import -/ base-4.12.0.0:Control.Monad 07eaec7fd256019b318d048d00f45b1c import -/ base-4.12.0.0:Data.Either 423bee738f25e5ee983d072216009be8 import -/ base-4.12.0.0:Data.Foldable efb37371da929e7bc88d896298d2d979 import -/ base-4.12.0.0:Data.Function 739684530bf19978a9a47e63c494ac7b 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.Maybe 9b76a39e833465c3c5b3c078b431417f import -/ base-4.12.0.0:Data.OldList e931cf456dc87f11ee6e6fb153bca23e import -/ base-4.12.0.0:Data.Traversable d2c09bff1e4f0c871306c3ff8aa4dc36 import -/ base-4.12.0.0:Data.Tuple c719fc29608fe81c10bee9a1bf1e05ff import -/ base-4.12.0.0:Data.Unique b50cc307077f4dfe79605cfac84b4b7d import -/ base-4.12.0.0:Debug.Trace 60f75ad789dcddb29321db1cb21ccd4c import -/ base-4.12.0.0:GHC.Arr ec26aa94fff9ed31a6fa85d884b35f3c import -/ base-4.12.0.0:GHC.Base c00b75f0b052d05c55ba6a4dd1c63b26 import -/ base-4.12.0.0:GHC.Err ea5e313ef4146b40b5d8b27aa168e736 import -/ base-4.12.0.0:GHC.IO 898d4ddbf00eb4732e5f462760aa42ae import -/ base-4.12.0.0:GHC.IO.Exception 77722984940ee6ccf9e2f7dab10b83a4 import -/ base-4.12.0.0:GHC.IO.Handle fe51659cf05ea3ecd36fe5e2d515d89a import -/ base-4.12.0.0:GHC.IO.Handle.FD 815f4d400e6239c7550e040518bdbf45 import -/ base-4.12.0.0:GHC.List 4014a3c8a3b7c31c8325f6bcf1feea4a import -/ base-4.12.0.0:GHC.Num c2039f03637c68f47b0bbff4c18ec616 import -/ base-4.12.0.0:GHC.Show 838a5d039379d82d9626aae53dfce276 import -/ base-4.12.0.0:GHC.Stack 2e7ebbc83674265f5754688ee2a2c7af import -/ base-4.12.0.0:GHC.Stack.Types cc5765ec7323d457f659b1d744594490 import -/ base-4.12.0.0:Prelude 3c779dfd6448bdd8e234c336802c2acb import -/ base-4.12.0.0:System.Exit 3c945ec7c596067c067092c41083c3d0 import -/ base-4.12.0.0:System.IO c961e5ee6731c0683a6e879272c9e9f6 import -/ cmdargs-0.10.20:System.Console.CmdArgs.Verbosity fa5402dbe76d4158a9bd93730fac6d67 import -/ containers-0.6.0.1:Data.Graph 681805d2edd6844f7f403edb3665ef4a import -/ containers-0.6.0.1:Data.Tree 241fc3b8487c8d8df54670f45b16e9e5 import -/ directory-1.3.3.0:System.Directory 49a915596c61b7c4c6db58cd4e1272c2 import -/ filepath-1.4.2.1:System.FilePath 15c54060cebd29621bfc77f7f6fce3ff import -/ filepath-1.4.2.1:System.FilePath.Posix 807571ae31e154c61d0c6bb61ff8b097 import -/ ghc-prim-0.5.3:GHC.Classes 0f6fd7d7db53fc48f6e1f01803cc6c9d import -/ ghc-prim-0.5.3:GHC.Types 57064c9f957b09bc2e360061ad5cae0b import -/ hashable-1.2.7.0:Data.Hashable 52de7ce057cbb2207689571a9d126e28 import -/ hashable-1.2.7.0:Data.Hashable.Class b7859f24482b682acf3c154276b2252b import -/ Text.PrettyPrint.HughesPJ.Compat 491482a68b656322a284b5eee89aaeb7 exports: b9ce07b355a8008b66354a61d479f549 <-> a6bccb4500bca89f567c047995747774 import -/ pretty-1.1.3.6:Text.PrettyPrint.HughesPJ ef695c6d575f5332a78b2f4f2292e474 import -/ process-1.6.5.0:System.Process 2e810cee2a417b14ed03c6fbb00362a9 import -/ unordered-containers-0.2.9.0:Data.HashMap.Base 1ebd58c91fc697de98c663daee05aafc import -/ unordered-containers-0.2.9.0:Data.HashMap.Strict e1685ce3be897bf737e3d6453c27576b import -/ unordered-containers-0.2.9.0:Data.HashSet cbd07cbc3d5c6a0b2f41f60d9e126613 addDependentFile "/Users/niki/.stack/programs/x86_64-osx/ghc-8.6.5/lib/ghc-8.6.5/include/ghcversion.h" 43db44f9bb88490c2fa995e5f5ec33f2 addDependentFile ".stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/autogen/cabal_macros.h" 5d4a89af56b14b9a96821af0abd9deca 43d8b4e46e02103f91bf763e63c99cb1 $tc'Angry :: GHC.Types.TyCon 9c408466c63e77390fc1d1d2fc31d68a $tc'Happy :: GHC.Types.TyCon 6e261bcd2c6b2537d7b6dbe9448b504c $tc'Loud :: GHC.Types.TyCon 9c3bca5ddb19ea725adb4af6d3f5575d $tc'Ok :: GHC.Types.TyCon 42e82e620c3b92175d75bb7e38b11e5a $tc'Sad :: GHC.Types.TyCon bbc26c645e8d429eb34684d2afab7499 $tcMoods :: GHC.Types.TyCon f58752b5e03291af414e9a5102a200b6 $trModule :: GHC.Types.Module f244c7fc8096aeb8cdce308fe12a467d (<$$>) :: GHC.Base.Monad m => (a -> m b) -> [a] -> m [b] b1f65e3f844edc3bdb6d36249a6903fa (<<=) :: GHC.Base.Monad m => (b -> m a) -> m b -> m b 21ec24011fb4691ae5317942d8561057 (=>>) :: GHC.Base.Monad m => m b -> (b -> m a) -> m b 79bdac5fefa8b4ed8831e4fda91014a1 type EqHash a = (GHC.Classes.Eq a, GHC.Classes.Ord a, Data.Hashable.Class.Hashable a) :: GHC.Types.Constraint 34c095e41b29e7147eb4001d73367295 type ListNE a = [a] b7dbbbd191c6a2df3bc3a2a7ba79f5da data Moods = Ok | Loud | Sad | Happy | Angry 7d64122a596fe1d6aad34004bb377232 allCombinations :: [[a]] -> [[a]] 32f15b851bfd0407331f74d69f0f6086 allMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (v -> GHC.Types.Bool) -> Data.HashMap.Base.HashMap k v -> GHC.Types.Bool 40b42461aae0e8b66421eafcc31fc750 applyNonNull :: b -> ([a] -> b) -> [a] -> b 5792d9fb57b3dedd9e39e5ac248ffeb1 argMin :: GHC.Classes.Ord k => [(k, v)] -> GHC.Maybe.Maybe v 5a4fc60f076797fa5668bf47ca130f4a arrow :: Text.PrettyPrint.HughesPJ.Doc 370bf19dc84bf4ffc8257d03329373c5 asyncMapM :: (a -> GHC.Types.IO b) -> [a] -> GHC.Types.IO [b] ab3a1791c20bfa18062187434ad6d461 coalesce :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [Language.Fixpoint.Misc.ListNE v] bdc482186df6891d89e542bdaef3d8d4 coalesceEdges :: Language.Fixpoint.Misc.EqHash v => [Language.Fixpoint.Misc.ListNE v] -> [(v, v, [v])] 3620422d0d4244ca35ddc1b3a0d190cc colorPhaseLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Base.String -> GHC.Types.IO () 94a997a5ff4a362d7dc6b86c7da76ad9 colorStrLn :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () 07b1e107ee5aa6a1c4cb57f6f7b9b347 componentsWith :: GHC.Classes.Ord c => (a -> [(b, c, [c])]) -> a -> [[b]] 0e218eb0bd335b3db6cb1b4f7471e024 count :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [k] -> [(k, GHC.Types.Int)] ba01109a6284d3ed091e5d8bb605afb3 dcolon :: Text.PrettyPrint.HughesPJ.Doc bc980f5e3558dde7c879446d612f697b doneLine :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () 8c86f9b1cc5432363fae6c5796ca46cf donePhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () d1304ab040956004c9c6642b26f2fec2 duplicates :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [k] -> [k] 587ac5fa396a6a444285dff1b86b6779 editDistance :: GHC.Classes.Eq a => [a] -> [a] -> GHC.Types.Int b92908154869eb5d0777411abad08aef ensurePath :: GHC.IO.FilePath -> GHC.Types.IO () 8b6641fabdff6a325292788280107bba errorP :: GHC.Base.String -> GHC.Base.String -> a e47c2d482124b43e020a405f809adcff errorstar :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> a 5e7b02c8ba05a0d3fef8f569f0b9dae6 exTopo :: [GHC.Types.Int] a2788b454f25b4cbe8703a94d31a09c4 executeShellCommand :: GHC.Base.String -> GHC.Base.String -> GHC.Types.IO GHC.IO.Exception.ExitCode fc0ed533fb3547ed8f3e5e90f6f89b62 fM :: GHC.Base.Monad m => (a -> b) -> a -> m b af2763700611cd812d6c225fc141a362 findNearest :: (GHC.Classes.Ord i, GHC.Num.Num i) => i -> [(i, a)] -> GHC.Maybe.Maybe a a87a0a57f92daf4b7959a9880ed114c3 firstMaybe :: (a -> GHC.Maybe.Maybe b) -> [a] -> GHC.Maybe.Maybe b 6d8bfd028d8d4de7427ceaeed0c50080 fold1M :: GHC.Base.Monad m => (a -> a -> m a) -> [a] -> m a f5278b30747d6e9b343f3260d38ec0b3 fst3 :: (a, b, c) -> a 87b3e9d985b668caa31e1a621eef5ba5 getUniqueInt :: GHC.Types.IO GHC.Types.Int 89622853601fa33661a1ceef6d1ea621 group :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> Data.HashMap.Base.HashMap k [v] 70f3dbc2ff3e869f251f7434b809ce1b groupBase :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => Data.HashMap.Base.HashMap k [v] -> [(k, v)] -> Data.HashMap.Base.HashMap k [v] 89ce0af3d82aae7a2d9f3f3c1cde0d05 groupList :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [(k, v)] -> [(k, [v])] 135c39744041342903077ebc32cf0599 groupMap :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => (a -> k) -> [a] -> Data.HashMap.Base.HashMap k [a] 9dc450088704c65ccbcd800833302942 hashMapToAscList :: GHC.Classes.Ord a => Data.HashMap.Base.HashMap a b -> [(a, b)] ffbfe6b323d9b9a6b0c8a57a5eb3b302 hashNub :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => [k] -> [k] 05bb6b801bbee56eec8c492a88e0b78a hashNubWith :: (GHC.Classes.Eq b, Data.Hashable.Class.Hashable b) => (a -> b) -> [a] -> [a] 35f3da58a3872671146237b30e9b2695 headMb :: [a] -> GHC.Maybe.Maybe a d7f050aeb10642f40c0b0be743e6fc74 ifM :: GHC.Base.Monad m => m GHC.Types.Bool -> m a -> m a -> m a 7de1379eef9de67bec15b409215a296e inserts :: (GHC.Classes.Eq k, Data.Hashable.Class.Hashable k) => k -> v -> Data.HashMap.Base.HashMap k [v] -> Data.HashMap.Base.HashMap k [v] 3560fd9d33e532745e7669346fe553d7 intersperse :: Text.PrettyPrint.HughesPJ.Doc -> [Text.PrettyPrint.HughesPJ.Doc] -> Text.PrettyPrint.HughesPJ.Doc f4551a792161e60315318922bc115578 isRight :: Data.Either.Either a b -> GHC.Types.Bool 4383b15868765f1740092e71bb83e4b2 mapEither :: (a -> Data.Either.Either b c) -> [a] -> ([b], [c]) a682b107c685b3ee1d7890f4d99a54b7 mapFst :: (a -> c) -> (a, b) -> (c, b) 56a8c287203c2790b4db9115db2b9192 mapSnd :: (b -> c) -> (a, b) -> (a, c) 9c8b28fdf1584226a8ed2f48418902d1 mfromJust :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> GHC.Maybe.Maybe a -> a 654d1c9b3eaae1610a3367570c91a4ac 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 61875c106e06dfc12aa695d75cc4d8b6 moodColor :: Language.Fixpoint.Misc.Moods -> System.Console.ANSI.Types.Color 6c1e2ed188278bb0c29202c8108eada9 nubDiff :: (GHC.Classes.Eq a, Data.Hashable.Class.Hashable a) => [a] -> [a] -> Data.HashSet.HashSet a 3df5ee71618a0821bf8c46d3e97a9934 nubOrd :: GHC.Classes.Eq a => [a] -> [a] a0ea80ee10f6057dcc06b897c1fa82a3 pair :: a -> a -> [a] f6f97c36e421afcbe642f8c629a9ff2a powerset :: [a] -> [[a]] 599431e910c9da5be1b342255407635f putBlankLn :: GHC.Types.IO () 4683717e765f64eba96ee60a912fe364 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] dd43dc3ba61c5bfe57b1ea4be71b71ec repeats :: GHC.Types.Int -> [a] -> [a] bc8a91dc477b39d09c9488d950d9a908 revMapM :: GHC.Base.Monad m => (a -> m b) -> [a] -> m [b] ffb512f65f2eeddc9493ad364e135e8d safeFromList :: (?callStack::GHC.Stack.Types.CallStack, GHC.Classes.Eq k, Data.Hashable.Class.Hashable k, GHC.Show.Show k) => GHC.Base.String -> [(k, v)] -> Data.HashMap.Base.HashMap k v dcdb2c8e020a5390eda7caeb23102929 safeHead :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a 0c0155120d58a3a9d08d7b7f94c7c537 safeInit :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> [a] c9ab5c83087bbf6cd016b1d44fd496ea safeLast :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> a de93685c8ce33b5619842061a589410f 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 1e3d0122d2ff8ea02076cc889c3ef1c0 safeUncons :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> (a, [a]) f6034730d1ee3e0bed2e800af90a264d safeUnsnoc :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> Language.Fixpoint.Misc.ListNE a -> ([a], a) 64cf942e02bda202dee1b52faca534f1 safeZip :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> [a] -> [b] -> [(a, b)] 3d58aa1a570afc5de511e2ee2308b8f0 safeZipWith :: (?callStack::GHC.Stack.Types.CallStack) => GHC.Base.String -> (a -> b -> c) -> [a] -> [b] -> [c] ee0ce3d5a6bde0b3862fcf6587b87cf1 sccsWith :: GHC.Classes.Ord v => (a -> (v, [v])) -> [a] -> [[a]] 769157a40c452ca0ad3ada0e937271df secondM :: GHC.Base.Functor f => (b -> f c) -> (a, b) -> f (a, c) 97b526e417a2b3b8195f25197f3181e9 singleton :: a -> [a] 4148f6cf88913a5dcfb4f2521a1e63ca snd3 :: (a, b, c) -> b 7d73d874da71f31bd97dc544f8572fc4 sortNub :: GHC.Classes.Ord a => [a] -> [a] fbfbb890abf46cf054a7c8f1902dad5c startPhase :: Language.Fixpoint.Misc.Moods -> GHC.Base.String -> GHC.Types.IO () dfe29e2962bef4e3ce1a81bee4147489 thd3 :: (a, b, c) -> c ca252148d4b344142f646ae939deff89 topoSortWith :: GHC.Classes.Ord v => (a -> (v, [v])) -> [a] -> [a] 5a966bc4722339ae23a5a94d9933f475 traceShow :: GHC.Show.Show a => GHC.Base.String -> a -> a 84cf554fb4d9361caec7de506d1352bb triple :: a -> a -> a -> [a] 044dfce5ef708f72e5ca59e37dc09756 tshow :: GHC.Show.Show a => a -> Text.PrettyPrint.HughesPJ.Doc a3b69cfe2f4fe4d3b8d17685af1c8112 whenM :: GHC.Base.Monad m => m GHC.Types.Bool -> m () -> m () 79db8292f019cdece943f38c99855701 withColor :: System.Console.ANSI.Types.Color -> GHC.Types.IO () -> GHC.Types.IO () d12ffeef035a47d87849891a6e05a16f wrap :: [a] -> [a] -> [a] -> [a] 50dd11ec15872773f4ad8289e894d1f6 wrapStars :: GHC.Base.String -> GHC.Base.String da0cc108bb5411bb5d6b91b83e620d3c writeLoud :: GHC.Base.String -> GHC.Types.IO () c7ce61710008a169af16044477857a27 type (|->) a b = Data.HashMap.Base.HashMap a b trusted: none require own pkg trusted: False module header: Nothing declaration docs: arg docs: