| definition: |
isInstanceOf :: QualIdent -> IDecl -> Bool
isInstanceOf qtc idecl = case idecl of
IInstanceDecl _ _ [te] _ _ -> case te of
ConstructorType qc -> qc == qtc
ParenType pt -> funOfApply pt == Just qtc
_ -> funOfApply te == Just qtc
_ -> False
|
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| documentation: |
--- Checks if an instance of some type class is defined for a given identifier. --- --- This function is used to determine whether the `deriving` clause of a --- data declaration should be shown. If the instance of the type class --- is defined locally, it is shown; otherwise, it is not shown. --- --- Note that this only makes sense for type classes with a single type parameter. |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{IInstanceDecl}) |-> _ || (_,{IInfixDecl}) |-> _ || (_,{HidingDataDecl}) |-> _ || (_,{IDataDecl}) |-> _ || (_,{INewtypeDecl}) |-> _ || (_,{ITypeDecl}) |-> _ || (_,{IFunctionDecl}) |-> _ || (_,{HidingClassDecl}) |-> _ || (_,{IClassDecl}) |-> _}
|
| name: |
isInstanceOf |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
CurryInterface.Types.QualIdent -> CurryInterface.Types.IDecl -> Prelude.Bool |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
reducible on all ground data terms |