@dibblego That looks similar to the Haxl stuff done at Facebook by Simon Marlow and others.
data BiFree f a b = Done a b | More (f (BiFree f a b)) -- is this a thing? #haskell
-
-
-
@seanparsons I am doing route planning and it popped out. - Show replies
New conversation -
-
-
@dibblego Free f (a,b)? (I know this is wrong. Just not sure how) -
@davetchepak yeah its that but a monad on both sides. - Show replies
New conversation -
-
-
@jonsterling Yes, it's the binary functor property I am interested in potentially exploiting.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling If f is a Functor, BiFree f is a bi-functor.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@jonsterling I also suspect that if f is a functor then BiFree f is a bimonad. - End of conversation
New conversation -
-
-
@dibblego BiFree f a b = WriterT a (Free f b)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@dibblego Free f (a, b)Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.