CurryInfo: curry-interface-2.0.1 / CurryInterface.Parser.kind1

definition: Info
 
kind1 :: Parser KindExpr
kind1 = tokenStar *> yield Star 
    <!> tokenParenL *> kind0 <* tokenParenR 
    <!> tokenConstraint *> yield ConstraintKind
demand: Info
 no demanded arguments
deterministic: Info
 deterministic operation
documentation: Info
 
* | (kind0) | Constraint
failfree: Info
 ()
indeterministic: Info
 referentially transparent operation
infix: Info
 no fixity defined
iotype: Info
 {() |-> {<!>._#lambda7}}
name: Info
 kind1
precedence: Info
 no precedence defined
result-values: Info
 {<!>._#lambda7}
signature: Info
 String -> [(CurryInterface.Types.KindExpr, String)]
solution-complete: Info
 operation might suspend on free variables
terminating: Info
 possibly non-terminating
totally-defined: Info
 reducible on all ground data terms