Database.Record.Persistable

Specify SQL type

data PersistableSqlType q

runPersistableNullValue

unsafePersistableSqlTypeFromNull

Specify record width

data PersistableRecordWidth a

runPersistableRecordWidth

unsafePersistableRecordWidth

unsafeValueWidth

(<&>)

maybeWidth

Inference rules for proof objects

class PersistableType q

sqlNullValue

class PersistableWidth a

derivedWidth