CurryInfo: filepath-3.0.0 / System.FilePath.searchPathSeparator

definition:
searchPathSeparator :: Char
searchPathSeparator = if isWindows then ';' else ':'
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
-- | The character that is used to separate the entries in the $PATH
--   environment variable.
--
-- > Windows: searchPathSeparator == ';'
-- > Posix:   searchPathSeparator == ':'
failfree:
()
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{() |-> {':',';'}}
name:
searchPathSeparator
precedence:
no precedence defined
result-values:
{':',';'}
signature:
Prelude.Char
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms