khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-11-29 14:45:51 +03:00
Code Issues Projects Releases Wiki Activity

Remove Persistable class.

Browse Source
This commit is contained in:
Kei Hibino 2014-07-29 14:35:59 +09:00
parent 3c2fd276aa
commit bcaba84c9e
1 changed files with 1 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

17
persistable-record/src/Database/Record/Persistable.hs
View File

@ -34,8 +34,7 @@ module Database.Record.Persistable (
PersistableType(..), sqlNullValue,
PersistableValue (..), fromSql, toSql,
derivedPersistableValueRecord,
PersistableWidth (..), derivedWidth,
Persistable (..)
PersistableWidth (..), derivedWidth
) where
@ -147,10 +146,6 @@ persistableFromValue :: PersistableRecordWidth a -> PersistableSqlValue q a -> P
persistableFromValue pw pv =
persistableRecord pw (toValue pv . head) ((:[]) . fromValue pv)
-- | Axiom of 'PersistableRecord' for Haskell unit () type.
persistableVoid :: PersistableRecord q ()
persistableVoid = persistableRecord voidWidth (const ()) (const [])
-- | Interface of inference rule for 'PersistableSqlType' proof object
class Eq q => PersistableType q where
@ -199,13 +194,3 @@ toSql = fromValue persistableValue
-- | Inferred 'PersistableRecord' when Haskell type 'a' is single column type.
derivedPersistableValueRecord :: (PersistableWidth a, PersistableValue q a) => PersistableRecord q a
derivedPersistableValueRecord = persistableFromValue persistableWidth persistableValue
-- | Interface of inference rule for 'PersistableRecord' proof object
class PersistableWidth a => Persistable q a where
-- | Infer 'PersistableRecord' proof object.
persistable :: PersistableRecord q a
-- | Axiom of 'PersistableRecord' for Haskell unit () type.
instance Persistable q () where
persistable = persistableVoid