Documentation
heqT :: forall {k1} {k2} (a :: k1) (b :: k2). (Typeable a, Typeable b) => Maybe (a :~~: b) #
decT :: forall a b. (Typeable a, Typeable b) => Either ((a :~: b) -> Void) (a :~: b) #
Decide an equality of two types
Since: 4.19.0.0
hdecT :: forall a b. (Typeable a, Typeable b) => Either ((a :~~: b) -> Void) (a :~~: b) #
Decide heterogeneous equality of two types.
Since: 4.19.0.0