scala - How to map HList to List[Type], List[TypeTag], or List[String] -



scala - How to map HList to List[Type], List[TypeTag], or List[String] -

i playing around scala repl , bind method. unfortunately takes classtag erases types type information, e.g. list[int] becomes list[_]. want pass hlist repl wrapper , type string can pass bind method. have map hlist list of strings.

def extract extends (tuple2[string, t] ~>> string) { def apply[t](value: tuple2[string, t]) = typeof[t].tostring }

the code above not working. 1 thing cannot utilize tuple2. should not hard solve that. however, typeof[t] requires implicit typetag. thought how can doe this? show help out?

thanks help.

try this,

scala> :paste // entering paste mode (ctrl-d finish) import scala.reflect.runtime.universe._ import shapeless._, poly._ object extract extends poly1 { implicit def caset[t: typetag] = at[(string, t)](_ => typeof[t].tostring) } // exiting paste mode, interpreting. import scala.reflect.runtime.universe._ import shapeless._ import poly._ defined object extract scala> val l = ("foo", 23) :: ("bar", true) :: ("baz", 2.0) :: hnil l: ... = (foo,23) :: (bar,true) :: (baz,2.0) :: hnil scala> l map extract res0: string :: string :: string :: hnil = int :: boolean :: double :: hnil

scala shapeless hlist

Comments

Post a Comment

Popular posts from this blog

php - Android app custom user registration and login with cookie using facebook sdk -

php - Android app custom user registration and login with cookie using facebook sdk - i developing android application in users need register , log in using facebook. approximately, flow. open app first time, authenticate facebook, data, send info server create them business relationship in application, start session new business relationship in server, cookie perform later interactions. so far good. what need know wich info have send server, can able identify users when log in seccond time. because need start session in server , send cookie android app farther interactions. i'm using php server side language. i thinking getting getaccesstoken() in android facebook sdk, pass server on business relationship creation , storing in android app. but can't manage how login users on sec time utilize app. any suggestions ? in advance ! to uniquely identify user within app, should create request /me , user's id. guaranteed unique , remain con...
Read more

c# - Create a Notification Object (Email or Page) At Run Time -- Dependency Injection or Factory -

c# - Create a Notification Object (Email or Page) At Run Time -- Dependency Injection or Factory - i have code emails me notification when happens. trying add together page , also remove dependency on email. for reference; have name of notification want send stored string in database. @ runtime have list of people , string representation of want receive. i thought dependency injection ninject, kernel bindings got big , seemed hacking together. then thought simple factory, activator.createinstance(email/page) inotifcation, don't know how handle differing constructor parameters (unless utilize common, complex property, employee, has info need). so far have this: public interface inotification { void sendmessage(); } public class email: inotification { private readonly string _toemailaddress; private string body { { homecoming "email"; } } private static string smtphost { ...
Read more

Set Up Of Common Name Of SSL Certificate To Protect Plesk Panel -

Set Up Of Common Name Of SSL Certificate To Protect Plesk Panel - a pci compliance scanner balking self signed ssl certificate protecting secure access plesk panel contains name mismatch between location of plesk panel , name on certificate, namely self-signed cert's name "parallels" , domain reach plesk 'ip address:8443'. so figured go ahead , free ssl certificate seek fiddle error. when generated certificate used server domain name site name when generated certificate. if visit 'domain name:8443' fine, no ssl warning. if visit 'ip address:8443' (which believe scanner does) certificate name mismatch error, digicert's ssl checker says certificate name should ip address. can generate certificate mutual name ip address? tempted should pci scanner accepts, right mutual name use? run issue before? you can seek subject alternative name extension ip address. also, can maintain "parallels" mutual name, , add together ...
Read more