Safe Haskell | None |
---|---|
Language | Haskell98 |
- 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)
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