e5049b2 · squeal · git.iko.soy

remove label for functions

they are bad at inference

commite5049b2620698a1053de91de0f0581ea361785ff authorEitan Chatav <eitan.chatav@gmail.com> dateFri 23 Feb 2018, 13:45 (9 years ago) parenta9b124f

2 files changed+5−8

unifiedsplit

squeal-postgresql/exe/Example.hs+5−5

@@ -41,14 +41,14 @@ type Schema =

4141setup :: Definition '[] Schema

4242setup =

4343 createTable #users

44− ( #id serial :*

45− #name (text & notNull) :* Nil )

44+ ( serial `As` #id :*

45+ (text & notNull) `As` #name :* Nil )

4646 ( primaryKey (Column #id :* Nil) `As` #pk_id :* Nil )

4747 >>>

4848 createTable #emails

49− ( #id serial :*

50− #user_id (int & notNull) :*

51− #email text :* Nil )

49+ ( serial `As` #id :*

50+ (int & notNull) `As` #user_id :*

51+ text `As` #email :* Nil )

5252 ( primaryKey (Column #id :* Nil) `As` #pk_id :*

5353 foreignKey (Column #user_id :* Nil) #users (Column #id :* Nil)

5454 OnDeleteCascade OnUpdateCascade `As` #fk_user_id :* Nil )

squeal-postgresql/src/Squeal/PostgreSQL/Schema.hs−3

@@ -230,9 +230,6 @@ deriving instance Eq (expression ty)

230230 => Eq (Aliased expression (alias ::: ty))

231231deriving instance Ord (expression ty)

232232 => 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

236233

237234-- | >>> let renderMaybe = fromString . maybe "Nothing" (const "Just")

238235-- >>> renderAliasedAs renderMaybe (Just (3::Int) `As` #an_int)