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 #