| Safe Haskell | Trustworthy |
|---|---|
| Language | Haskell2010 |
Data.Type.Equality.Compat
Documentation
data (a :: k1) :~~: (b :: k2) where #
Instances
| TestCoercion ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
| TestEquality ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
| a ~~ b => Bounded (a :~~: b) | |
| a ~~ b => Enum (a :~~: b) | |
Defined in GHC.Internal.Data.Type.Equality Methods succ :: (a :~~: b) -> a :~~: b # pred :: (a :~~: b) -> a :~~: b # fromEnum :: (a :~~: b) -> Int # enumFrom :: (a :~~: b) -> [a :~~: b] # enumFromThen :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] # enumFromTo :: (a :~~: b) -> (a :~~: b) -> [a :~~: b] # enumFromThenTo :: (a :~~: b) -> (a :~~: b) -> (a :~~: b) -> [a :~~: b] # | |
| a ~~ b => Read (a :~~: b) | |
| Show (a :~~: b) | |
| Eq (a :~~: b) | |
| Ord (a :~~: b) | |
Defined in GHC.Internal.Data.Type.Equality | |
class TestEquality (f :: k -> Type) where #
Methods
testEquality :: forall (a :: k) (b :: k). f a -> f b -> Maybe (a :~: b) #
Instances
| TestEquality (TypeRep :: k -> Type) | |
Defined in GHC.Internal.Data.Typeable.Internal | |
| TestEquality ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
| TestEquality ((:~~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
| TestEquality f => TestEquality (Compose f g :: k2 -> Type) | |
Defined in Data.Functor.Compose | |
data (a :: k) :~: (b :: k) where #
Instances
| TestCoercion ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Coercion | |
| TestEquality ((:~:) a :: k -> Type) | |
Defined in GHC.Internal.Data.Type.Equality | |
| a ~ b => Bounded (a :~: b) | |
| a ~ b => Enum (a :~: b) | |
Defined in GHC.Internal.Data.Type.Equality Methods succ :: (a :~: b) -> a :~: b # pred :: (a :~: b) -> a :~: b # fromEnum :: (a :~: b) -> Int # enumFrom :: (a :~: b) -> [a :~: b] # enumFromThen :: (a :~: b) -> (a :~: b) -> [a :~: b] # enumFromTo :: (a :~: b) -> (a :~: b) -> [a :~: b] # enumFromThenTo :: (a :~: b) -> (a :~: b) -> (a :~: b) -> [a :~: b] # | |
| a ~ b => Read (a :~: b) | |
| Show (a :~: b) | |
| Eq (a :~: b) | |
| Ord (a :~: b) | |
Defined in GHC.Internal.Data.Type.Equality | |
apply :: forall {k1} {k2} (f :: k1 -> k2) (g :: k1 -> k2) (a :: k1) (b :: k1). (f :~: g) -> (a :~: b) -> f a :~: g b #