2015-07-04 12:17:19 +0000 <joco42> so this is the one, right?
2015-07-04 12:17:35 +0000 <joco42> with the type [DSum (EventTrigger t)] -> (forall m'. (MonadReadEvent t m') => m' a) -> m a
2015-07-04 12:17:53 +0000 <bennofs> joco42: yes
2015-07-04 12:19:08 +0000 <joco42> there is also this : subscribeEvent :: Event t a -> m (EventHandle t a) --TODO: Return a handle, and use them in fireEventsAnRead
2015-07-04 12:19:27 +0000 <joco42> is this usable somehow for this purpose ?
2015-07-04 12:19:44 +0000 <bennofs> joco42: oh right ......... you remind me that I wanted to fix the issue that EventHandle t a is actually equal to Event t a !
2015-07-04 12:19:57 +0000 <bennofs> joco42: I think you should call subscribeEvent on any event that you want to read
2015-07-04 12:20:05 +0000 <joco42> hmmm
2015-07-04 12:20:06 +0000 <joco42> ok
2015-07-04 12:20:40 +0000 <bennofs> joco42: and use the returned handle to read the event (even if it currently typchecks if you use the event directly, but I'd like to change that)
2015-07-04 12:20:55 +0000 <joco42> ok
2015-07-04 12:21:16 +0000 <joco42> I will try to modify this example then to use the push version https://github.com/ryantrinkle/try-reflex/blob/master/examples/host.hs
2015-07-04 12:21:31 +0000 <joco42> instead of the current pull version
2015-07-04 12:22:19 +0000 <joco42> that would make a pretty nice screencast in itself already
2015-07-04 12:22:25 +0000chaptastic(~textual@c-24-125-71-94.hsd1.ga.comcast.net)
2015-07-04 12:22:31 +0000 <joco42> push vs pull subscription in Reflex
2015-07-04 12:25:48 +0000joco42(~joco42@dsl-hkibrasgw4-58c03a-80.dhcp.inet.fi) (Remote host closed the connection)
2015-07-04 12:26:14 +0000joco42(~joco42@dsl-hkibrasgw4-58c03a-80.dhcp.inet.fi)
2015-07-04 12:30:22 +0000joco42(~joco42@dsl-hkibrasgw4-58c03a-80.dhcp.inet.fi) (Ping timeout: 246 seconds)
2015-07-04 12:37:20 +0000joco42(uid95472@gateway/web/irccloud.com/x-uaccnnazhjhjocgg)
2015-07-04 13:19:34 +0000chaptastic(~textual@c-24-125-71-94.hsd1.ga.comcast.net) ()
2015-07-04 14:00:38 +0000chaptastic(~textual@c-24-125-71-94.hsd1.ga.comcast.net)
2015-07-04 14:55:12 +0000bennofs(~benno@ipb2186cc7.dynamic.kabel-deutschland.de) (Ping timeout: 256 seconds)
2015-07-04 15:34:31 +0000joco42(uid95472@gateway/web/irccloud.com/x-uaccnnazhjhjocgg) (Quit: Connection closed for inactivity)
2015-07-04 16:05:31 +0000chaptastic(~textual@c-24-125-71-94.hsd1.ga.comcast.net) ()
2015-07-04 16:07:17 +0000 <saulzar_> There's altogether too many things which want to have a type variable called either 't' or 'e' !
2015-07-04 16:08:49 +0000 <saulzar_> Might have to do something radical like use more than one letter
2015-07-04 16:24:06 +0000joco42(uid95472@gateway/web/irccloud.com/x-ezlocagmuqciuqdl)
2015-07-04 16:26:58 +0000 <joco42> if i install reflex to a sandbox located in /home/joco/reflex and create another cabal project called reflex-examples in /home/joco/reflex-examples, then how can i use the reflex library installed into the sandbox at /home/joco/reflex ?
2015-07-04 16:27:23 +0000 <joco42> --add-source ?
2015-07-04 16:27:54 +0000 <joco42> or do i have to configure the reflex-examples.cabal in some special way?
2015-07-04 16:31:02 +0000 <joco42> i know this is no srictly a reflex question...
2015-07-04 16:31:28 +0000 <saulzar_> If you go to the sandbox and cabal install /home/joco/reflex-example it'll install it in the sandbox
2015-07-04 16:32:04 +0000 <saulzar_> I think if you --add-source it, then it will get recompiled/pulled in as a dependency
2015-07-04 16:32:32 +0000 <joco42> thanks