Searched defs:setupScriptOptions (Results 1 – 6 of 6) sorted by relevance
44 let setupScriptOptions = defaultSetupScriptOptions { useDistPref = distPref } function
134 , setupScriptOptions :: SetupScriptOptions function311 , setupScriptOptions = options'' function
322 let setupScriptOptions = defaultSetupScriptOptions { useDistPref = distPref } function669 setupScriptOptions = defaultSetupScriptOptions function693 let setupScriptOptions = defaultSetupScriptOptions function
374 let setupScriptOptions = defaultSetupScriptOptions { useDistPref = distPref } function804 setupScriptOptions = defaultSetupScriptOptions function828 let setupScriptOptions = defaultSetupScriptOptions function