對於我的主鍵，可以使用Code First的幻像類型嗎？ 我有這樣的事情： class Id<TEntity, TKey>
where TEntity : Entity
{
// implementation
}
class Entity<TEntity, TKey> {
[Key]
public Id<MyEntity, Guid> Id { ge
我用Haskell聲明瞭一個像這樣的幻像類型。 newtype Length (a::UnitLength) b = Length b deriving (Eq,Show)
data UnitLength = Meter
| KiloMeter
| Miles
deriving (Eq,Show)
現在，我想寫一些函數來使用這種類型。但是我沒有
我有一個模塊插槽使用虛擬類型執行一些簡單的訪問控制： module Socket : sig
type 'a t
val ro : string -> [ `Read ] t
val rw : string -> [ `Read | `Write ] t
end
我想在Container.t記錄來包裝一個Socket.t，但有沒有一些方法也傳播幻像類型參數到
讓我們有以下的數據類型： data Foo1 a = Foo1
data Foo2 a = Foo2 (Foo3 a)
data Foo3 a = C1 (Foo1 a) | C2 Int
而現在我們希望能夠從Foo1或int得到Foo3。 一個解決方案是使用類型類： class ToFoo3 a where
toFoo3 :: a -> Foo3 b -- Here start