@@ -126,10 +126,12 @@ createTable table columns constraints = UnsafeDefinition $
127-- | `createTable` adds a table to the schema.
127-- | `createTable` adds a table to the schema.
129−-- >>> :set -XOverloadedLabels
129+-- >>> :set -XOverloadedLabels -XTypeApplications
130+-- >>> type Table = '[] :=> '["a" ::: 'NoDef :=> 'Null 'PGint4, "b" ::: 'NoDef :=> 'Null 'PGfloat4]
131+-- >>> type Schema = '["tab" ::: Table]
131−-- renderDefinition $
133+-- renderDefinition
132−-- createTableIfNotExists #tab (int `As` #a :* real `As` #b :* Nil) Nil
134+-- (createTableIfNotExists #tab (int `As` #a :* real `As` #b :* Nil) Nil :: Definition Schema Schema)
134-- "CREATE TABLE IF NOT EXISTS tab (a int, b real);"
136-- "CREATE TABLE IF NOT EXISTS tab (a int, b real);"
135createTableIfNotExists
137createTableIfNotExists