haskell - Can fusion see through newtype wrappers? -

-

given:

newtype myvec = myvec { unvec :: data.vector }    deriving (functor, etc)

this create (something like) this:

instance functor myvec   fmap f = myvec . data.vector.fmap f . unvec

will vectors fusion rules fire , rewrite fmap f . fmap g $ myvec fmap (f . g) myvec?

are there pitfalls should aware of? afaik problem "pay" new types in containers solved in ghc 7.8, it?

fusion rules operate on functions, not on types. functions on myvec won't have fusion rules, unless write them reuse underlying ones.

e.g.

map :: (a -> b) -> myvec -> myvec b map f = myvec . vector.map f . unvec {-# inline map #-}

then we'd have uses:

map f . map g

which inline to:

myvec . vector.map f . unvec . myvec . vector.map g . unvec

ghc should erase newtype constructor, yielding regular stream, suitable fusion:

myvec . vector.map f . vector.map g . unvec

you can confirm running ghc , looking @ rewrite rules firing. alternatively, can add own "myvec. unvec" rewrite rule, ghc should cover that.


Comments

Post a Comment

Popular posts from this blog

java - Oracle EBS .ClassNotFoundException: oracle.apps.fnd.formsClient.FormsLauncher.class ERROR -

-
i need in configuring java on machine because, when try loading forms, loader goes in circles , gives error: java.lang.classnotfoundexception: oracle.apps.fnd.formsclient.formslauncher.class @ sun.plugin2.applet.applet2classloader.findclass(unknown source) @ sun.plugin2.applet.plugin2classloader.loadclass0(unknown source) @ sun.plugin2.applet.plugin2classloader.loadclass(unknown source) @ sun.plugin2.applet.plugin2classloader.loadclass(unknown source) @ java.lang.classloader.loadclass(unknown source) @ sun.plugin2.applet.plugin2classloader.loadcode(unknown source) @ sun.plugin2.applet.plugin2manager.createapplet(unknown source) @ sun.plugin2.applet.plugin2manager$appletexecutionrunnable.run (unknown source) @ java.lang.thread.run(unknown source) i have tried re-installing firefox, older versions of java runtime environments, disabling proxy. what missing? application working on other machines. i spent around 100 hours finding s...
Read more

c# - how to use buttonedit in devexpress gridcontrol -

-
Image
i trying create gridcontrol buttonedit in 1 of columns. when user clicks button edit, popups form select product. when selection done on popup, returns datarow selection main grid below. but when column loses focus, value wrote column disappear. here code creates gridcontrol's data , buttonedit's click event. private void frmsiparisnew_load(object sender, eventargs e) { dt = new datatable(); dt.columns.add("malzeme_kodu",typeof(string)); dt.columns.add("malzeme_aciklama", typeof(string)); dt.columns.add("adet", typeof(decimal)); dt.columns.add("birim", typeof(string)); dt.columns.add("fiyat", typeof(decimal)); dt.columns.add("kur", typeof(string)); dt.columns.add("tutar", typeof(decimal)); datarow dr = dt.newrow(); dt.rows.add(dr); gc.datasource = dt; } private void repositoryitembuttoneditmal...
Read more

how to display 2 form fields on same line with bootstrap -

-
i creating form in bootstrap should responsive. see below code. <form novalidate="novalidate" class="form-inline"> <div class="form-group"> <label class="col-sm-4 control-label" for="inputfirstname">first name:</label> <div class="col-sm-4"> <input class="form-control" type="text" id="inputfirstname" ng-model="patient.firstname"/> </div> </div> <div class="form-group"> <label class="col-sm-4 control-label" for="inputlastname">last name:</label> <div class="col-sm-4"> <input class="form-control" type="text" id="inputlastname" ng-model="patient.lastname"/> </div> </div> ...
Read more