Yesod - 获取实体价值的功能

Question

看一看:

myEntity :: Entity Post
myEntity = ...

myValue :: Entity Post -> Post
myValue = <someFunction>

myKey :: Entity Post -> PostId
myKey = <someOtherFunction>

是someFunction和someOtherFunction存在于yesod还是我需要创建它们？

Answer 1

你有Entity key val,然后val

> :t entityVal
entityVal :: Entity record -> record
> :i entityVal
type role Entity nominal
data Entity record where
  Entity :: PersistEntity record =>
            (Key record) -> record -> Entity record
        -- Defined in ‘persistent-2.2.1:Database.Persist.Class.PersistEntity’

或者 key

> :t entityKey
entityKey :: Entity record -> Key record
> :i entityKey
type role Entity nominal
data Entity record where
  Entity :: PersistEntity record =>
            (Key record) -> record -> Entity record
        -- Defined in ‘persistent-2.2.1:Database.Persist.Class.PersistEntity’

或两者都可以使用模式匹配,例如

> let getR (Entity k v) = (k , v)
> :t getR
getR :: Entity t -> (Key t, t)