CurryInfo: spicey-4.2.0 / Spicey.GenerationHelper.entitiesToHtmlModule

definition:
entitiesToHtmlModule :: String -> String
entitiesToHtmlModule _ = "View.EntitiesToHtml"
demand:
no demanded arguments
deterministic:
deterministic operation
documentation:
--- Name of EntitiesToHtml module.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{(_) |-> {:}}
name:
entitiesToHtmlModule
precedence:
no precedence defined
result-values:
{:}
signature:
String -> String
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms