동축 코모도어의 전개 할 수없는 인스턴스

Question

unfold/coiter과 Control.Comonad.Cofree 및 unfold/ana에서 Data.Control.Fixedpoint 사이의 차이점을 파악하려고합니다. Hackage 라이브러리가 있습니다. free 및 recursion-schemes.

Cofree 및 Fix은 사촌 인 것처럼 보입니다. 나는 그 중 무엇이 가능하고 무엇이 가능한지 알아 내려고하고 있습니다.

나는 내가 unfold/coiter에서 얻은 무료 모나드에 cata을 적용 할 수 있습니다 Cofree에 대한 Foldable의 인스턴스를 작성할 수

:

type instance Base (Cofree f a) = f 

instance Functor f => Foldable (Cofree f a) where 
    project = unwrap 

하지만이 인스턴스를 만들 수 없습니다 :

instance Functor f => Unfoldable (Cofree f a) where 
    embed = xembed 

xembed :: Functor f => f (Cofree f a) -> Cofree f a 
xembed = undefined 

을 전혀 가능합니까?

Answer 1

아니요, 일반적으로 Cofree에이 기능을 쓸 수 없습니다.

xembed :: Proxy (Cofree Proxy a) -> Cofree Proxy a 
-- i.e. 
xembed ::() -> a 

가 갑자기 밖으로 a를 얻을 수 있습니다 f ~ Proxy (data Proxy a = Proxy) 고려하십시오.

Free : wrap :: f (Free f a) -> Free f a에 대해 xembed을 쓸 수 있습니다. 그리고 마찬가지로 일반적으로 xproject :: Free f a -> f (Free f a)을 쓸 수 없습니다.