http://comonad.com/reader/2008/elgot-coalgebras/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1 http://comonad.com/reader/2008/elgot-coalgebras/comment-page-1/#comment-106278 JanBessai Fri, 12 Oct 2012 09:54:57 +0000 http://comonad.com/reader/2008/elgot-algebras/#comment-106278 The type signature of strength' needs to be flipped > strength' :: Functor f => f a -> t -> f (t, a) The type signature of strength’ needs to be flipped
> strength’ :: Functor f => f a -> t -> f (t, a)

]]> http://comonad.com/reader/2008/elgot-coalgebras/comment-page-1/#comment-106277 Jan Bessai Fri, 12 Oct 2012 09:41:48 +0000 http://comonad.com/reader/2008/elgot-algebras/#comment-106277 This is rather old, but apo and g_apo need a small fix: > apo psi = h .Right where h = InF . fmap h . (fmap Left . outF ||| psi) > g_apo g f = h .Right where h = InF . fmap h . (fmap Left . g ||| f) otherwise they will not typecheck. This is rather old, but apo and g_apo need a small fix:
> apo psi = h .Right where h = InF . fmap h . (fmap Left . outF ||| psi)
> g_apo g f = h .Right where h = InF . fmap h . (fmap Left . g ||| f)
otherwise they will not typecheck.

]]> http://comonad.com/reader/2008/elgot-coalgebras/comment-page-1/#comment-9528 The Comonad.Reader » Recursion Schemes: A Field Guide (Redux) Tue, 16 Jun 2009 19:49:08 +0000 http://comonad.com/reader/2008/elgot-algebras/#comment-9528 [...] Elgot coalgebra [...] [...] Elgot coalgebra [...]

]]> http://comonad.com/reader/2008/elgot-coalgebras/comment-page-1/#comment-1394 The Comonad.Reader » Elgot Algebras Tue, 20 May 2008 20:48:22 +0000 http://comonad.com/reader/2008/elgot-algebras/#comment-1394 [...] Here is the actual content.   [...] [...] Here is the actual content.   [...]

]]>