Safe Haskell | None |
---|
Fixed versions of reifyInstances
and isInstance
as per
the following ghc issue:
https://ghc.haskell.org/trac/ghc/ticket/7066.
- reifyProperInstances :: Name -> [Type] -> Q [InstanceDec]
- isProperInstance :: Name -> [Type] -> Q Bool
- typesSatisfyDecConstraints :: [Type] -> InstanceDec -> Q Bool
Documentation
reifyProperInstances :: Name -> [Type] -> Q [InstanceDec]Source
Same as reifyInstances
, but also checks the constraints.
isProperInstance :: Name -> [Type] -> Q BoolSource
Same as isInstance
, but also checks the constraints.
typesSatisfyDecConstraints :: [Type] -> InstanceDec -> Q BoolSource
Analyze the constraints of the provided instance dec to be satisfied by the provided types.
Note that this function does not analyze the equality constraints (F a ~ Bool
).
It simply considers them to be true.