- module Data.Witness.WitnessDict
- module Data.Witness.WitnessFDict
- module Data.Witness.Any
- module Data.Witness.Representative
- module Data.Witness.Type
- module Data.Witness.SimpleWitness
- module Data.Witness.EqualType
- module Data.Witness.Nat
- module Data.Witness.List
- matchIs :: (SimpleWitness w, Is w a, Is w b) => Type (w ()) -> Maybe (EqualType a b)
Documentation
module Data.Witness.WitnessDict
module Data.Witness.WitnessFDict
module Data.Witness.Any
module Data.Witness.Representative
module Data.Witness.Type
module Data.Witness.SimpleWitness
module Data.Witness.EqualType
module Data.Witness.Nat
module Data.Witness.List