| definition: |
rcValue :: [(String, String)] -> String -> String rcValue rcdefs var = strip $ maybe "" id $ lookup (map toLower var) (map (first (map toLower)) rcdefs) where first f (x, y) = (f x, y) strip = reverse . dropWhile isSpace . reverse . dropWhile isSpace |
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- Look up a configuration variable in the list of variables from the rc file. --- Uppercase/lowercase is ignored for the variable names and the empty --- string is returned for an undefined variable. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,_) |-> _}
|
| name: |
rcValue |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
[(String, String)] -> String -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |