CurryInfo: verify-non-fail-2.0.0 / Verify.NonFailConditions.nonFailCondsOfModule

 
nonFailCondsOfModule :: Prog -> [(QName,NonFailCond)]
nonFailCondsOfModule prog = map toNFCond nfconds
 where
  toNFCond fdecl = (stripNF (funcName fdecl),
                    (ruleTVars,
                     trRule (\_ exp -> exp) (const fcTrue) (funcRule fdecl)))
   where
    ruleTVars = zip (trRule (\args _ -> args) (const []) (funcRule fdecl))
                    (argTypes (funcType fdecl))

  stripNF (mn,fn) = (mn, take (length fn - length nonfailSuffix) fn)

  nfconds = filter ((nonfailSuffix `isSuffixOf`) . snd . funcName)
                   (progFuncs prog)

 no demanded arguments

 deterministic operation

 
Extracts explicit non-fail conditions specified in a module as
operations with suffix `'nonfail`.

 _

 referentially transparent operation

 no fixity defined

 {(_) |-> {:,[]}}

 nonFailCondsOfModule

 no precedence defined

 {:,[]}

 FlatCurry.Types.Prog
-> [((String, String), ([(Prelude.Int, FlatCurry.Types.TypeExpr)], FlatCurry.Types.Expr))]

 operation might suspend on free variables

 possibly non-terminating

 reducible on all ground data terms