CurryInfo: currypp-3.2.0 / CPP.ICode.ParseMonad.combinePMs

 
combinePMs :: (a -> b -> c) -> PM a -> PM b -> PM c
combinePMs f (PM p1) (PM p2) = warnPM (combinePRs f (discardWarnings p1)
                                          (discardWarnings p2))
                            (concatWarns p1 p2)
  where
   concatWarns (WM _ w1) (WM _ w2) = w1 ++ w2

 arguments 2 3

 deterministic operation

 
combines two PMs by function f, throws error if at least one of
the two carries an error

 (_, _, _)

 referentially transparent operation

 no fixity defined

 {(_,{PM},{PM}) |-> {PM}}

 combinePMs

 no precedence defined

 {PM}

 (a -> b -> c) -> PM a -> PM b -> PM c

 operation might suspend on free variables

 yes

 reducible on all ground data terms