CurryInfo: abstract-haskell-3.0.0 / AbstractHaskell.Goodies.renameSymbolInPat

 
renameSymbolInPat :: (QName -> QName) -> Pattern -> Pattern
renameSymbolInPat ren pat = case pat of
  PComb qf pats    -> PComb (ren qf) (map (renameSymbolInPat ren) pats)
  PAs var apat     -> PAs var (renameSymbolInPat ren apat)
  PTuple ps        -> PTuple (map (renameSymbolInPat ren) ps)
  PList ps         -> PList (map (renameSymbolInPat ren) ps)
  _                -> pat -- PVar or PLit

 argument 2

 deterministic operation

 (_, _)

 referentially transparent operation

 no fixity defined

 {(_,{PComb}) |-> {PComb} || (_,{PAs}) |-> {PAs} || (_,{PTuple}) |-> {PTuple} || (_,{PList}) |-> {PList} || (_,{PVar}) |-> {PVar} || (_,{PLit}) |-> {PLit}}

 renameSymbolInPat

 no precedence defined

 _

 ((String, String) -> (String, String)) -> AbstractHaskell.Types.Pattern
-> AbstractHaskell.Types.Pattern

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms