CurryInfo: residuation-analysis-3.0.0 / AnalyzeResiduation.banner

definition: Info
 
banner :: String
banner = unlines [bannerLine,bannerText,bannerLine]
 where
   bannerText = "Residuation Analysis Tool for Curry (Version of 18/12/20)"
   bannerLine = take (length bannerText) (repeat '=')
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> _}
name: Info
 banner
precedence: Info
 no precedence defined
result-values: Info
 _
signature: Info
 String
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms