| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Datatype.Newtype
Contents
Synopsis
- newNewtype :: String -> DataBuilder () -> Q NewtypeD
- module Language.Haskell.TH.Natural.Syntax.Datatype.Data
Documentation
newNewtype :: String -> DataBuilder () -> Q NewtypeD Source #
Allows defining a newtype using a DataBuilder.
Will throw at compile-time (and thus interupt compilation) if the newtype
- has more than one constructor
- that constructor has more than one field