CurryInfo: cpm-3.3.0 / CPM.LookupSet.setLocallyIgnored

definition:
setLocallyIgnored :: LookupSet -> [String] -> LookupSet
setLocallyIgnored (LookupSet ls o) pkgs =
  LookupSet ls (o { ignoreLocalVersions = pkgs })
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- Set the set of packages whose locally installed versions are ignored when
--- finding all package versions.
failfree:
(_, _)
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({LookupSet},_) |-> {LookupSet}}
name:
setLocallyIgnored
precedence:
no precedence defined
result-values:
{LookupSet}
signature:
LookupSet -> [String] -> LookupSet
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms