`Const` ve bir functor ürünü için bir isim?

SF zaten bir yerde tanımlanmış mı, yoksa en azından bir adı var mı?`Const` ve bir functor ürünü için bir isim?

type SF a f = (,) a :. f

functor-combo gösterimi kullanılarak gibi

data SF a f x = SF a (f x) 

instance Functor f => Functor (SF a f) where 
    fmap g (SF a fx) = SF a (fmap g fx)

2014-10-02 Artyom

Başka bir functor içeren bir functor ilan ettiğinize benziyor. –

AFAIK zaten orada bir tane yok, ama bu hiç kullanmadığım bazı rastgele paketlerin köşesinde bulunmadığı anlamına gelmiyor. – bheklilr

@ Kod-Çırak, bir functor trafo tanımlıyorum. SF f f, funger 'f' ile aynıdır, ancak buna ekli bir“ a ”tipi ek bir değer taşır. – Artyom

Kişisel funktoru görünüyor.

(Ben her nasılsa kompozisyonu kullanılarak yerine ürünü ve Const kullanarak bakmayı tercih.)

2014-10-02 19:59:28 chi

': .' için' main 'bir isim daha' transformatör 'paketinden 'Compose'. –

sadece tanımlayabiliriz funktor ürünleri

data (f :* g) a = P (f a) (g a) deriving Functor

ve sonra doğrudan

type SF a f = Const a :* f

yazmak

2014-10-03 15:10:32

cevap