| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TcTypeNats
Documentation
typeNatTyCons :: [TyCon] #
data BuiltInSynFamily #
Constructors
| BuiltInSynFamily | |
Fields
| |
ghc-8.6.5: The GHC API
| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
TcTypeNats
typeNatTyCons :: [TyCon] #
data BuiltInSynFamily #
Constructors
| BuiltInSynFamily | |
Fields
| |