Data.Witness

Documentation

module Data.Proxy

module Data.Type.Equality

module Data.Witness.Any

module Data.Witness.WitnessDict

module Data.Witness.WitnessFDict

module Data.Witness.Nat

module Data.Witness.ListElement

module Data.Witness.List

module Data.Witness.Representative

matchIs :: forall w a b. (TestEquality w, Is w a, Is w b) => Proxy w -> Maybe (a :~: b)

See whether two represented and witnessed types are the same.