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
mfromJust
boxStrCat
tryIgnore
traceShow
warnShow
inserts
concatMaps
group
groupList
groupMap
sortNub
sortDiff
distinct
tr_reverse
tr_foldr'
safeZip
safeZipWith
safeFromList
safeUnion
safeHead
safeLast
safeInit
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
(<$$>)