liquid-fixpoint-0.8.0.2: .stack-work/dist/x86_64-osx/Cabal-2.4.0.1/build/src/Language/Fixpoint/Misc.dump-hi
==================== 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: