|
definition:
|
applyFormat :: FormatStm -> String
applyFormat (SetForeground c) = txtMode (colorMode c)
applyFormat (SetBackground c) = txtMode (colorMode c + 10)
applyFormat (SetIntensity i) = txtMode (intensityMode i)
applyFormat (SetBlinkMode b) = txtMode (blinkMode b)
applyFormat (SetItalicized b) = txtMode (if b then 3 else 23)
applyFormat (SetUnderlined b) = txtMode (if b then 4 else 24)
applyFormat (SetCrossedout b) = txtMode (if b then 9 else 29)
applyFormat (InverseColoring b) = txtMode (if b then 7 else 27)
|
|
demand:
|
argument 1
|
|
deterministic:
|
deterministic operation
|
|
failfree:
|
_
|
|
indeterministic:
|
referentially transparent operation
|
|
infix:
|
no fixity defined
|
|
iotype:
|
{({SetForeground}) |-> _ || ({SetBackground}) |-> _ || ({SetIntensity}) |-> _ || ({SetBlinkMode}) |-> _ || ({SetItalicized}) |-> _ || ({SetUnderlined}) |-> _ || ({SetCrossedout}) |-> _ || ({InverseColoring}) |-> _}
|
|
name:
|
applyFormat
|
|
precedence:
|
no precedence defined
|
|
result-values:
|
_
|
|
signature:
|
FormatStm -> String
|
|
solution-complete:
|
operation might suspend on free variables
|
|
terminating:
|
possibly non-terminating
|
|
totally-defined:
|
possibly non-reducible on same data term
|