CurryInfo: abstract-curry-4.0.0 / AbstractCurry.Select.consVis

definition:
consVis :: CConsDecl -> CVisibility
consVis (CCons   _ vis _) = vis
consVis (CRecord _ vis _) = vis
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- Returns the visibility of a given constructor declaration.
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({CCons}) |-> _ || ({CRecord}) |-> _}
name:
consVis
precedence:
no precedence defined
result-values:
_
signature:
AbstractCurry.Types.CConsDecl -> AbstractCurry.Types.CVisibility
solution-complete:
operationally complete operation
terminating:
yes
totally-defined:
reducible on all ground data terms