Node.SQLite.Encoding

newtype SQLEncodedRecord

data SQLValue

class Encode (v :: Type)  where

Members

• encode :: v -> SQLEncodedRecord

Instances

• (RowToList r rl, EncodeSQLFields rl r er) => Encode (Record r)

class EncodeNonNull (v :: Type)  where

Members

• encodedNonNull :: v -> SQLValue

Instances

• EncodeNonNull Int
• EncodeNonNull Boolean
• EncodeNonNull Number
• EncodeNonNull String
• EncodeNonNull Char

class EncodeSQLField (v :: Type)  where

Members

• encodeField :: v -> SQLValue

Instances

• (EncodeNonNull v) => EncodeSQLField (Maybe v)
• (EncodeNonNull v) => EncodeSQLField v

class EncodeSQLFields :: RowList Type -> Row Type -> Row Type -> Constraintclass EncodeSQLFields (rl :: RowList Type) (r :: Row Type) (encoded :: Row Type) | rl -> r encoded where

Members

• encodeFields :: Proxy rl -> Record r -> Builder (Record ()) (Record encoded)

Instances

• EncodeSQLFields Nil () ()
• (IsSymbol name, EncodeSQLField ty, EncodeSQLFields tail tailR encodedTailR, Lacks name tailR, Lacks name encodedTailR, Cons name ty tailR r, Cons name SQLValue encodedTailR encodedR) => EncodeSQLFields (Cons name ty tail) r encodedR