Data.Witness

Documentation

module Data.Witness.WitnessDict

module Data.Witness.Any

module Data.Witness.Representative

module Data.Witness.Type

module Data.Witness.SimpleWitness

module Data.Witness.EqualType

module Data.Witness.List

matchIs :: (SimpleWitness w, Is w a, Is w b) => Type (w ()) -> Maybe (EqualType a b)

See whether two represented and witnessed types are the same.