Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcTypeNats (signature[?])
Documentation
typeNatTyCons :: [TyCon] Source #
data BuiltInSynFamily Source #
Constructors
BuiltInSynFamily | |
Fields
|
ghc-8.2.0.20170404: The GHC API
Safe Haskell | None |
---|---|
Language | Haskell2010 |
TcTypeNats (signature[?])
typeNatTyCons :: [TyCon] Source #
data BuiltInSynFamily Source #
Constructors
BuiltInSynFamily | |
Fields
|