Safe Haskell	Trustworthy
Language	Haskell2010

Data.Typeable.Compat

Synopsis

module Data.Typeable
heqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~~: b)
decT :: forall a b. (Typeable a, Typeable b) => Either ((a :~: b) -> Void) (a :~: b)
hdecT :: forall a b. (Typeable a, Typeable b) => Either ((a :~~: b) -> Void) (a :~~: b)

Documentation

heqT :: forall a b. (Typeable a, Typeable b) => Maybe (a :~~: b) Source #

Extract a witness of heterogeneous equality of two types

Since: 4.18.0.0

decT :: forall a b. (Typeable a, Typeable b) => Either ((a :~: b) -> Void) (a :~: b) Source #

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) Source #

Decide heterogeneous equality of two types.

Since: 4.19.0.0