| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GhcApi.Predicate
Synopsis
- mkPrimEqPred :: Type -> Type -> Type
Documentation
mkPrimEqPred :: Type -> Type -> Type #
Creates a primitive type equality predicate. Invariant: the types are not Coercions
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GhcApi.Predicate
mkPrimEqPred :: Type -> Type -> Type #
Creates a primitive type equality predicate. Invariant: the types are not Coercions