functional programming - Elm function with the type: Signal (List a) -> List (Signal a) -

-

i new elm , functional programming in general. using elm , need function has signal (list string) input , returns list (signal string).

i know shouldn't have problem better architectural design in program having function solve big problem me.

the combine function opposite:

combine : list (signal a) -> signal (list a) combine = list.foldr (map2 (::)) (constant [])

i've tried similar combine function have been unsuccessful far. ideas on how create such function?

this not possible in general

the inverse of combine not (in general) possible.
when have list of static size of signals, can combine them signal of lists of static size. when go other way, there no guarantee lists in signal static size. therefore cannot "just" construct list out of it.
(if normal value of type list have changing size without showing signal around type, , dynamically creating , destroying signals in list. 2 things elm disallows. )

but restrictions...

of course if you know list in signal of static size, can write specific function based on assumption; function fail @ runtime if case occurs assumption of static size lists wrong. 

unsafe : maybe -> unsafehead m =   case m of     ->     nothing -> debug.crash "unsafe: you're out of luck. `maybe` not `just`. "  uncombine : int -> signal (list a) -> list (signal a) uncombine n sig =   if n == 0     []     else signal.map (list.head >> unsafe) sig       :: uncombine (n-1) (signal.map (list.tail >> unsafe) sig)

(i'm quite sure question discussed on elm-discuss mailing list once, can't find more)


Comments

Post a Comment

Popular posts from this blog

java - Custom OutputStreamAppender not run: LOGBACK: No context given for <MYAPPENDER> -

-
i wish write custom appender on basis of outputstreamappender . wrote following class package tests; import java.io.ioexception; import java.io.outputstream; import ch.qos.logback.core.outputstreamappender; public class myappender<e> extends outputstreamappender<e> { public myappender() { system.out.println("myappender created"); setoutputstream(new outputstream() { @override public void write(int b) throws ioexception { throw new unsupportedoperationexception(); } }); } } then wrote following runner: package tests; import org.slf4j.loggerfactory; import ch.qos.logback.classic.logger; public class runner { private static final logger log = (logger) loggerfactory.getlogger(runner.class); public static void main(string[] args) { //log.addappender(new myappender<iloggingevent>()); log.info("hello world"); } } finall...
Read more

java - UML - How would you draw a try catch in a sequence diagram? -

-
Image
is there standard way of drawing try catch sequence diagrams? i've made attempt based on this feel end result doesn't feel right. code diagram based around: public static void save () { try { filehandle filehandle = gdx.files.external(file); filehandle.writestring(boolean.tostring(constantshandler.soundenabled)+"\n", false); (int = 0; < 5; i++) { filehandle.writestring(integer.tostring(constantshandler.highscores[i])+"\n", true); } } catch (throwable e) { } } my attempt note: know still need add loop. that's ok. fragments meant show conditional control flow in sequence diagram. superstructures puts limitations on use of fragments (see pp. 467 of ss2.1.1). should use critical region try part above. , option catch . however, keep telling can take quite freedom in using uml. it's language , such changes in life time. long reader ge...
Read more

c++ - No viable overloaded operator for references a map -

-
i trying use map can make tag names reference number. when try , use it, in code error (6 in total every time reference map): src/main.cpp:25:45: error: no viable overloaded operator[] type 'std::map<std::string, std::string>' const char* idcs = node.child_value(tagmap[3]); this code: #include "pugi/pugixml.hpp" #include <iostream> #include <string> #include <map> int main() { pugi::xml_document doca, docb; std::map<std::string, pugi::xml_node> mapa, mapb; std::map<std::string, std::string> tagmap {{"1", "data"}, {"2", "entry"}, {"3", "id"}, {"4", "content"}}; if (!doca.load_file("a.xml") || !docb.load_file("b.xml")) { std::cout << "can't find input files"; return 1; } (auto& node: doca.child(tagmap[1]).children(tagmap[2])) { co...
Read more