| Copyright | (c) 2020 Edwin Westbrook |
|---|---|
| License | BSD3 |
| Maintainer | westbrook@galois.com |
| Stability | experimental |
| Portability | GHC |
| Safe Haskell | None |
| Language | Haskell2010 |
Data.Binding.Hobbits.NuMatchingInstances
Contents
Description
Provides a set of instances of NuMatching for standard types using the
template Haskell mkNuMatching function
Orphan instances
| NuMatching a => NuMatching (Maybe a) Source # | |
Methods nuMatchingProof :: MbTypeRepr (Maybe a) Source # | |
| (NuMatching a, NuMatching b) => NuMatching (Either a b) Source # | |
Methods nuMatchingProof :: MbTypeRepr (Either a b) Source # | |
| NuMatching (Proxy a) Source # | |
Methods nuMatchingProof :: MbTypeRepr (Proxy a) Source # | |
| NuMatching (a :~: b) Source # | |
Methods nuMatchingProof :: MbTypeRepr (a :~: b) Source # | |
| NuMatching a => NuMatching (Constant a b) Source # | |
Methods nuMatchingProof :: MbTypeRepr (Constant a b) Source # | |
| NuMatching (Member ctx a) Source # | |
Methods nuMatchingProof :: MbTypeRepr (Member ctx a) Source # | |