CurryInfo: curry-repl-1.2.0 / REPL.Compiler.showCompilerOptionDescr

definition: Info
 
showCompilerOptionDescr :: CCOption -> (String,String)
showCompilerOptionDescr (CCOption s1 s2 _) = (s1, s2)
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
Maps a compiler option into the pair of their short and long description.
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({CCOption}) |-> {(,)}}
name: Info
 showCompilerOptionDescr
precedence: Info
 no precedence defined
result-values: Info
 {(,)}
signature: Info
 CCOption -> (String, String)
solution-complete: Info
 operationally complete operation
terminating: Info
 yes
totally-defined: Info
 reducible on all ground data terms