| definition: |
instanceDecl :: Parser IDecl
instanceDecl =
convert IInstanceDecl <$>
(tokenInstance *!*> (case1 <|> case2)) <*!*>
(tokenCurlyBracketL *!*> parseList tokenSemicolon methodImpl <*!* tokenCurlyBracketR) <*>
(optional (skipSomeWs *> modulePragma))
where
case1 :: Parser (Context, QualIdent, InstanceType)
case1 = (,,) <$> contextList <*!*> qualIdent <*!*> instanceType
case2 :: Parser (Context, QualIdent, InstanceType)
case2 = ((,) <$> qualIdent <*!*> instanceType) *>= decide
decide :: (QualIdent, InstanceType) -> Parser (Context, QualIdent, InstanceType)
decide (qi, it) =
(skipSomeWs *> tokenDoubleArrow *!*> ((,,) [Constraint qi it] <$> qualIdent <*!*> instanceType)) <!>
yield ([], qi, it)
convert :: (Context -> QualIdent -> InstanceType -> a) -> (Context, QualIdent, InstanceType) -> a
convert f (ctx, qi, it) = f ctx qi it
|
| demand: |
no demanded arguments |
| deterministic: |
deterministic operation |
| documentation: |
--- A parser for an Instance Declaration | instance [Context =>] QualIdent InstanceType \{ MethodImplList \} [ModulePragma]
|
| failfree: |
<FAILING> |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{() |-> {<*>._#lambda10}}
|
| name: |
instanceDecl |
| precedence: |
no precedence defined |
| result-values: |
{<*>._#lambda10}
|
| signature: |
String -> [(CurryInterface.Types.IDecl, String)] |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |