CurryInfo: currydoc-4.0.0 / CurryDoc.Read.readCategory

definition: Info
 
readCategory :: [String] -> Category
readCategory [] = General
readCategory (catcmt:_) = case cat of
  "general"   -> General
  "algorithm" -> Algorithm
  "database"  -> Database
  "web"       -> Web
  "meta"      -> Meta
  _           -> General
 where
  (cat,_) = span isIdChar catcmt
demand: Info
 argument 1
deterministic: Info
 deterministic operation
documentation: Info
 
Determine the category for a module
failfree: Info
 _
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {({[]}) |-> {General} || ({:}) |-> {Algorithm,Database,General,Meta,Web}}
name: Info
 readCategory
precedence: Info
 no precedence defined
result-values: Info
 {Algorithm,Database,General,Meta,Web}
signature: Info
 [String] -> Category
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 possibly non-reducible on same data term