haskell - Anonymous Type Functions -


this followup previous question: type-level map datakinds, starting 2 answers received.

my goal take hlist of arbitrary types , turn list of related/derived types

type family typemap (a :: * -> *) (xs :: [*]) :: [*] type instance typemap t '[] = '[] type instance typemap t (x ': xs) = t x ': typemap t xs  data hlist :: [*] -> *           hnil :: hlist '[]           hcons :: -> hlist -> hlist (a ': as)

when tried few types, ran problem. type-function " argument typemap has take hlist element type last argument , return new type. works okay sometimes:

test :: hlist rqs -> hlist (typemap ((,) int) rqs) test hnil = hnil test (hcons x xs) = hcons (3,x) $ test xs

but if wanted switch order of tuple in definition of test? first attempt define type synonym:

type revinttup b = (b,int)  test2 :: hlist rqs -> hlist (typemap revinttup rqs) test2 hnil = hnil test2 (hcons x xs) = hcons (x,3) $ test2 xs

but of course, you can't partially apply type synonyms, trick. there (other) way achieve this?

you should able write fliptypemap... that's not composable. better choice here might type-level version of map ($ 2) (map (/) [1,2,3]) instead of map (flip (/) 2) [1,2,3] taking advantage of -xpolykinds:

type family typemap (a :: j -> k) (xs :: [j]) :: [k] type instance typemap t '[] = '[] type instance typemap t (x ': xs) = t x ': typemap t xs  type family aplist (xs :: [j -> k]) (a :: j) :: [k] type instance aplist '[] t = '[] type instance aplist (x ': xs) t = x t ': aplist xs t  test2 :: hlist rqs -> hlist (typemap (,) rqs `aplist` int) test2 hnil = hnil test2 (hcons x xs) = hcons (x,3) $ test2 xs

Comments

Post a Comment

Popular posts from this blog

java.util.scanner - How to read and add only numbers to array from a text file -

i'm learning java , have question regarding reading file want read numbers file contains strings well. here example of file: 66.56 "3 java 3-43 5-42 2.1 1 and here coding: public class test { public static void main (string [] args){ if (0 < args.length) { file x = new file(args[0]); try{ scanner in = new scanner( new fileinputstream(x)); arraylist<double> test = new arraylist<>(); while(in.hasnext()){ if(in.hasnextdouble()){ double f=in.nextdouble(); test.add(f);} else {in.next();} } catch(ioexception e) { system.err.println("exception during reading: " + e); } } my problem add 66.56,2.1 , 1 doesn't add 3 after "3 or ignores 3-43 , 5-42 can tell me how skip strings , add doubles here? thanks all said 3 ie; "3, 3-43 , 4-42 strings either u read string , split , check number @ " , - or put in space between characters , integers. jvm after compilation tre...
Read more

rewrite - Trouble with Wordpress multiple custom querystrings -

i'm working on adding multiple querystring , doesn't seem work. i've found codes seems work others might i'm missing something. i want like: http://mydomain.com/board/?getyear=2013&getsometext2=sometext to http://mydomain.com/board/2013/sometext/ i added code below functions.php file. doesn't seem work should though. this works. echoing querystring gets both variable without problem. http://mydomain.com/board/2013/sometext/ but doesn't. tested querystring vis isset() seems nothing being set/get http://mydomain.com/board/2013/ function add_query_vars($vars) { $vars[] = "getyear"; $vars[] = "getsometext2"; return $vars; } add_filter('query_vars', 'add_query_vars'); function add_rewrite_rules($arules) { $anewrules = array('board/([^/]+)/([^/]+)/?$' => 'index.php?pagename=board&getyear=$matches[1]&getsometext2=$matches[2]'); $arules = $a...
Read more