haskell - Transformation under Transformers -


i'm having bit of difficulty monad transformers @ moment. i'm defining few different non-deterministic relations make use of transformers. unfortunately, i'm having trouble understanding how translate cleanly 1 effectful model another.

suppose these relations "foo" , "bar". suppose "foo" relates , bs cs; suppose "bar" relates bs , cs ds. define "bar" in terms of "foo". make matters more interesting, computation of these relations fail in different ways. (since bar relation depends on foo relation, failure cases superset.) therefore give following type definitions:

data foofailure = foofailure string data barfailure = barspecificfailure | barfoofailure foofailure type foom = listt (eithert foofailure (reader context)) type barm = listt (eithert barfailure (reader context))

i expect able write relations following function signatures:

foo :: -> b -> foom c bar :: b -> c -> barm d

my problem that, when writing definition "bar", need able receive errors "foo" relation , represent them in "bar" space. i'd fine function of form

convert :: (e -> e') -> listt (eithert e (reader context)                      -> listt (eithert e' (reader context)

i can write little beast running listt, mapping on eithert, , reassembling listt (because happens m [a] can converted listt m a). seems... messy.

there's reason can't run transformer, stuff under it, , generically "put back"; transformer ran might have effects , can't magically undo them. there way in can lift function far enough transformer stack work me don't have write convert function shown above?

i think convert answer, , using control.monad.morph , control.monad.trans.either it's (almost) simple write:

convert :: (monad m, functor m, mfunctor t)            => (e -> e')            -> t (eithert e m) b -> t (eithert e' m) b convert f = hoist (bimapeithert f id)

the slight problem listt isn't instance of mfunctor. think author boycotting listt because doesn't follow monad transformer laws though because it's easy write type-checking instance

instance mfunctor listt hoist nat (listt mas) = listt (nat mas)

anyway, take @ control.monad.morph dealing natural transformations on (parts of) transformer stacks. i'd fits definition of lifting function "just enough" stack.


Comments

Post a Comment

Popular posts from this blog

jquery - How can I dynamically add a browser tab? -

since using iframes house external pages are, accounts "not preferred method" , disallowed sites (flickr, one), want dynamically generate browser tabs. e.g., when user submits form, want dynamically generate tab on browser in response submitted. e.g., might want add new tab url like: http://www.bigsurgarrapata.com/contact how in jquery? you want form target attribute action attribute. http://www.w3schools.com/tags/att_form_target.asp browsers have ultimate control on result of target attribute open new tab value of _blank. <form action="contact_submit.php" target="_blank" method="post">
Read more

node.js - Getting the socket id,user id pair of a logged in user(s) -

i have web application done using node js , in it,i have authentication system requires users log in before can access pages. have 2 pages,the homepage , updates page. from read docs,a new socket id issued when user opens tab in browser. me being admin,i know socket id of logged in user , more so,the socket id,logged in user id pair logged in users. what method can use socket id,logged in user id pair make sure broadcast realtime info users online?.
Read more

keyboard - C++ GetAsyncKeyState alternative -

i using windows.h library's getasynckeystate function define key pushed on keyboard . here program returns int value of pushed key example. #include <iostream> #include <windows.h> using namespace std; int main (){ char i; for(i=8;i<190;i++){ if(getasynckeystate(i)== -32767){ cout<<int (i)<<endl; } } return 0; } but trying make opengl simple game , function appeared slow . there function not need cycle 180 times , if statement . thanks you're trying make opengl game, you're going use glfw. if that's case can away using glfwgetkey() such: if (glfwgetkey(glfw_key_up) == glfw_press) {...} if (glfwgetkey(glfw_key_down) == glfw_press) {...} that method nicely explained in tutorial 6 opengl-tutorial.org . should start first tutorial of beginners tutorials , later intermediate tutorials . if you're going make win32 window can listen wm_keydown or wm_keyup messages , virtua
Read more