module Unison.Settings where

debugNoteLoc, debugNoteSummary, debugRevealForalls :: Bool
debugNoteLoc :: Bool
debugNoteLoc = Bool
False
debugNoteSummary :: Bool
debugNoteSummary = Bool
False
debugRevealForalls :: Bool
debugRevealForalls = Bool
False

renderTermMaxLength :: Int
renderTermMaxLength :: Int
renderTermMaxLength = Int
30

demoHideVarNumber :: Bool
demoHideVarNumber :: Bool
demoHideVarNumber = Bool
False

removePureEffects :: Bool
removePureEffects :: Bool
removePureEffects = Bool
True

cleanupTypes :: Bool
cleanupTypes :: Bool
cleanupTypes = Bool
True