on dev help sign in
remove label for functions
e5049b2Eitan Chatav
squeal-postgresql/exe/Example.hs+5−5
@@ -41,14 +41,14 @@ type Schema =
41setup :: Definition '[] Schema
41setup :: Definition '[] Schema
42setup =
42setup =
43 createTable #users
43 createTable #users
44− ( #id serial :*
44+ ( serial `As` #id :*
45− #name (text & notNull) :* Nil )
45+ (text & notNull) `As` #name :* Nil )
46 ( primaryKey (Column #id :* Nil) `As` #pk_id :* Nil )
46 ( primaryKey (Column #id :* Nil) `As` #pk_id :* Nil )
47 >>>
47 >>>
48 createTable #emails
48 createTable #emails
49− ( #id serial :*
49+ ( serial `As` #id :*
50− #user_id (int & notNull) :*
50+ (int & notNull) `As` #user_id :*
51− #email text :* Nil )
51+ text `As` #email :* Nil )
52 ( primaryKey (Column #id :* Nil) `As` #pk_id :*
52 ( primaryKey (Column #id :* Nil) `As` #pk_id :*
53 foreignKey (Column #user_id :* Nil) #users (Column #id :* Nil)
53 foreignKey (Column #user_id :* Nil) #users (Column #id :* Nil)
54 OnDeleteCascade OnUpdateCascade `As` #fk_user_id :* Nil )
54 OnDeleteCascade OnUpdateCascade `As` #fk_user_id :* Nil )
squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs−3
@@ -230,9 +230,6 @@ deriving instance Eq (expression ty)
230 => Eq (Aliased expression (alias ::: ty))
230 => Eq (Aliased expression (alias ::: ty))
231deriving instance Ord (expression ty)
231deriving instance Ord (expression ty)
232 => Ord (Aliased expression (alias ::: ty))
232 => Ord (Aliased expression (alias ::: ty))
233−instance KnownSymbol alias
234− => IsLabel alias (expression ty -> Aliased expression (alias ::: ty))
235− where fromLabel expression = expression `As` Alias @alias
236
233
237-- | >>> let renderMaybe = fromString . maybe "Nothing" (const "Just")
234-- | >>> let renderMaybe = fromString . maybe "Nothing" (const "Just")
238-- >>> renderAliasedAs renderMaybe (Just (3::Int) `As` #an_int)
235-- >>> renderAliasedAs renderMaybe (Just (3::Int) `As` #an_int)