Language.Fixpoint.Misc
data Moods
moodColor
wrapStars
wrapStarsWithOptStars
withColor
colorStrLn
colorPhaseLn
startPhase
doneLine
colorPhaseLnWithOptStars
startPhaseWithOptStars
doneLineWithOptStars
donePhase
donePhaseWithOptStars
data Empty
unIntersperse
(=>>)
wrap
repeats
errorstar
errortext
putDocLn
assertstar
findWithDefaultL
fst3
snd3
thd3
single
mapFst
mapSnd
mapFst3
mapSnd3
mapThd3
expandSnd
mapPair
mlookup
safeLookup
mfromJust
boxStrCat
tryIgnore
traceShow
warnShow
inserts
concatMaps
group
groupBase
groupList
mkGraph
groupMap
sortNub
sortDiff
folds
distinct
tr_reverse
tr_foldr'
safeZip
safeZipWith
safeFromList
safeUnion
type ListNE a
safeHead
safeLast
safeInit
safeUncons
safeUnsnoc
memoIndex
checkFail
chopAfter
chopPrefix
firstElem
chopAlt
firstElems
splitters
bchopAlts
chopAlts
findFirst
testM
stripParens
ifM
executeShellCommand
executeShellCommandWithOptStars
checkExitCode
hashMapToAscList
hashMapMapWithKey
hashMapMapKeys
applyNonNull
concatMapM
angleBrackets
dot
arrow
dcolon
intersperse
tshow
foldlMap
mapEither
(<$$>)