search

morphismtech / squeal

Squeal, a deep embedding of SQL in Haskell
362 stars 32 forks source link

Schema inference documentation #307

Closed echatav closed 3 years ago

echatav commented 3 years ago

Add some documentation to demonstrate how the result db :: SchemasType can be inferred from a Definition db0 db.

echatav commented 3 years ago

Hmmm, I don't like how the inferred type is half evaluated strictly (i.e. using '(,) instead of (:::)) and half lazily evaluated. Very weird and I don't think I want to include it in the docs as it raises more questions than it answers.