khibino/haskell-relational-record
1
1
Fork 0
mirror of https://github.com/khibino/haskell-relational-record.git synced 2024-12-02 08:12:49 +03:00
Code Issues Projects Releases Wiki Activity

persistable-record: generalized show.

Browse Source
This commit is contained in:
Kei Hibino 2017-03-16 10:44:57 +09:00
parent ea0131510b
commit 3a9fab8c70
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -72,8 +72,8 @@ wf `pap` prw = ProductConst $ unPC wf <*> unPC prw
runPersistableRecordWidth :: PersistableRecordWidth a -> Int
runPersistableRecordWidth = getSum . getConst . unPC
instance Show (PersistableRecordWidth a) where
show = ("PRW " ++) . show . runPersistableRecordWidth
instance Show a => Show (ProductConst a b) where
show = ("PC " ++) . show . getConst . unPC
-- | Unsafely generate 'PersistableRecordWidth' proof object from specified width of Haskell type 'a'.
unsafePersistableRecordWidth :: Int -- ^ Specify width of Haskell type 'a'