| Copyright | (c) Sirui Lu 2021-2024 |
|---|---|
| License | BSD-3-Clause (see the LICENSE file) |
| Maintainer | siruilu@cs.washington.edu |
| Stability | Experimental |
| Portability | GHC only |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Grisette.Internal.SymPrim.Prim.Internal.Utils
Description
Synopsis
- pattern Dyn :: (Typeable a, Typeable b) => a -> b
- cmpHetero :: forall a b. (Typeable a, Typeable b) => (a -> a -> Bool) -> a -> b -> Bool
- eqHetero :: forall a b. (Typeable a, Typeable b, Eq a) => a -> b -> Bool
- cmpHeteroRep :: forall a b. TypeRep a -> TypeRep b -> (a -> a -> Bool) -> a -> b -> Bool
- eqHeteroRep :: forall a b. Eq a => TypeRep a -> TypeRep b -> a -> b -> Bool
- eqTypeRepBool :: forall ka kb (a :: ka) (b :: kb). TypeRep a -> TypeRep b -> Bool
Documentation
cmpHetero :: forall a b. (Typeable a, Typeable b) => (a -> a -> Bool) -> a -> b -> Bool Source #
Compare two values of different types.
eqHetero :: forall a b. (Typeable a, Typeable b, Eq a) => a -> b -> Bool Source #
Compare two values of different types for equality.
cmpHeteroRep :: forall a b. TypeRep a -> TypeRep b -> (a -> a -> Bool) -> a -> b -> Bool Source #
Compare two values of different types, resolve the type equality using the type representation.