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