espial-0.0.39: src/Types.hs

module Types where

import ClassyPrelude.Yesod
import Data.Type.Equality (type (~))

type DBM m a = (MonadUnliftIO m) => SqlPersistT m a

type DB a = forall m. DBM m a

type DBVal val =
  ( PersistEntity val,
    PersistEntityBackend val ~ SqlBackend,
    PersistStore (PersistEntityBackend val)
  )