Database.Record.Persistable

Specify SQL type

data PersistableSqlType q

runPersistableNullValue

unsafePersistableSqlTypeFromNull

Specify record width

data PersistableRecordWidth a

runPersistableRecordWidth

unsafePersistableRecordWidth

unsafeValueWidth

(<&>)

maybeWidth

Bidirectional conversion between single column type and SQL type

data PersistableSqlValue q a

persistableSqlValue

toValue

fromValue

Inference rules for proof objects

class PersistableType q

sqlNullValue

class PersistableValue q a

fromSql

toSql

class PersistableWidth a

derivedWidth