foo.hs

{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE FunctionalDependencies #-}
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE ScopedTypeVariables #-}
import Data.Proxy
data UTCTime
data ID a
data GenTable a

data Connection


-- class DbSerializable a where
--     type RowType a

--     table :: GenTable a


class Repository entity where
  type NewEntity entity
  type RowType entity
  makeNewRow :: Proxy entity -> NewEntity entity -> UTCTime -> RowType entity
  makeRow :: entity -> UTCTime -> RowType entity
  litteral :: entity -> RowType entity
  idPredicate :: (ID entity) -> RowType entity -> Bool
  table :: GenTable entity