CurryInfo: curry-source-1.2.0 / Language.Curry.StringClassifier.isText

definition:
isText :: Token -> Bool
isText x = case x of 
                    Text _ -> True
                    _ -> False
demand:
argument 1
deterministic:
deterministic operation
documentation:
--- test for category "Text" (String)
failfree:
_
indeterministic:
referentially transparent operation
infix:
no fixity defined
iotype:
{({Text}) |-> {True} || ({SmallComment}) |-> _ || ({BigComment}) |-> _ || ({Letter}) |-> _ || ({Code}) |-> _ || ({ModuleHead}) |-> _ || ({Meta}) |-> _}
name:
isText
precedence:
no precedence defined
result-values:
{False,True}
signature:
Token -> Prelude.Bool
solution-complete:
operation might suspend on free variables
terminating:
yes
totally-defined:
reducible on all ground data terms