Safe Haskell | None |
---|---|
Language | Haskell2010 |
Fixed versions of reifyInstances
and isInstance
as per
the following ghc issue:
https://ghc.haskell.org/trac/ghc/ticket/7066.
Synopsis
- 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 Bool Source #
Same as isInstance
, but also checks the constraints.
typesSatisfyDecConstraints :: [Type] -> InstanceDec -> Q Bool Source #
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.