| definition: |
isClassContext :: TypeExpr -> Maybe (String,[TypeExpr])
isClassContext texp = case texp of
TCons (_,tc) ts -> checkDictCons tc ts
-- a class context might be represented as function `() -> Dict`:
FuncType (TCons unit []) (TCons (_,tc) ts) | unit == ("Prelude","()")
-> checkDictCons tc ts
_ -> Nothing
where
checkDictCons tc ts | take 6 tc == "_Dict#" = Just (drop 6 tc, ts)
| otherwise = Nothing
|
| demand: |
argument 1 |
| deterministic: |
deterministic operation |
| documentation: |
--- Tests whether a FlatCurry type is a class context. --- If it is the case, return the class name and the type parameters --- of the class context. |
| failfree: |
_ |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{({TCons}) |-> {Just,Nothing} || ({FuncType}) |-> _ || ({TVar}) |-> _ || ({ForallType}) |-> _}
|
| name: |
isClassContext |
| precedence: |
no precedence defined |
| result-values: |
{Just,Nothing}
|
| signature: |
FlatCurry.Types.TypeExpr -> Prelude.Maybe (String, [FlatCurry.Types.TypeExpr]) |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |