module - ocaml: create set of polymorphic type -

-

In a module, I have defined a type that represents a graph node, which has a multicolored data field < / P> 

 Type  'at = {data:' a; Adj: 'A T-list}'

How can I go about creating this data? I according to one of the following recommendations (suggestions. 

  Let CMP (G 1: intraday charts) (G 2: ET grafts): Int = if Fijh_ajend G 1 G 2 to 0 Compare Else Int.compare g1.data g2.data Let make_set () = module ORD = straight type t = int Graph.t to = cmp end (module Set.Make (ORD): set type S with Elt = Ord .t)

But when I do, I get "gets", there is no component with distracted signature "

I'm not sure what you are trying to do, but if you want to create a set of nodes, whose data type is int 

  module graph = structure type 'at =} {/ p>    
 data:' a; adj: 'in the list) Finally CMP 1: Intai graph) Compare (G-2: intra graph): Int = Ready g1 == G 2 0, and 1 g. Gregkdeta G 2. graph Kdeta module GSet = Set.Make (struct type t = Int graph.t = compare Switch to cmp)

There is a session with the code: 

  $ ocaml Okam version 4.01.0 # using "live. ML ";; Module Graph: Sig Type 'A T = {Data:' A; Adj: 'A T List;} and Val CMP: Int Graph - - & gt; Int Graph.t - & gt; Int = & lt ; fun & gt; module GSet: sig type elt = int Graph.t.. end # allow myset = GSet.add {Graph.data = 14; Adj = []} Jisiti.ampi ;; Val myset: GSet.t = & lt; abstr & gt; # Jisattikaisaimtiai Maisset ;; -

I have no reason to disrupt the module type, the Set.S already Set.Make . But I have a sophisticated type of Okamel module User do not.


Comments

Post a Comment

Popular posts from this blog

java - org.apache.http.ProtocolException: Target host is not specified -

-
I have written a simple httprequest / response code and I am getting this error below: I used to type in my classpath httpclient, httpcore, common -Codecs and general logging. I am very new to Java and I do not know what's going on here. Please help me. code: import org.apache.http.client.HttpClient; Import org.apache.http.client.methods.HttpGet; Import org.apache.http.HttpResponse; Import org.apache.http.impl.client.HttpClientBuilder; Import org.apache.http.Header; Import org.apache.http.HttpHeaders; Public class UnshorteningUrl {public static zero main (string [] args throws exception {HttpGet request = zero; HTTP Client Client = HTTP ClientBuilder.credit (). Build (); Try {Request = New HTTP Gate ("trib.me/1lBFzSi"); HttpResponse httpResponse = client.execute (request); Header [] header = httpResponse.getHeaders (HttpHeaders.LOCATION); // Preconditions.checkState (headers.length == 1); String new url = header [0] .getValue (); System.out.println ("new url...
Read more

java - Gradle dependencies: compile project by relative path -

-
Is it possible to specify a dependency on another gradeal project in the granular (in android studios) outside the current project limits? For example, with a relative path like this: dependence {collection project ('../../ stdlib / dagger'}} MyApp (path / user / foo / workspace / mypad) The app (Path / User / Foo / Workspace / MyPass / App) And I have an Android Library Project with 3 subdomules: stdlib (path is / user / foo / Utilities (Path / User / Foo / Workspace / Stadlib / Utilis) http (Path / User / Foo / Workspace / Stadlib / HT) / Li> What I have to do is compile the Dagger, Util, http module in the MyApp project. The Stidelib Library module under heavy development And MyApp will grow in the form of Growth, so I do not want to push them into a Mewen repository. I am a little change. is likely to add another Gredle projects in some way? I will push the study library into the Maven repository after the source is in search of a temp...
Read more

ruby on rails - Object doesn't support #inspect when used with .include -

-
So I have participated in a glitch error that I do not even know how to debug. I am very new to the railing, so it has kicked my ass well when I use the .includes (school) seen by the student, it gives a blue box error, But when I look at any other model and .includes (school) , the school works just fine. class student & lt; ActiveRecord :: Base has has_many: relationships, foreign_key: "liker_id", dependent :: has_many: matches, foreign_key: "student_1_id", dependent :: deleted belong_to: school belong_to: conference belong_to: would_you_rather belong_to: home city belong_to: year is_to: Major and class school & lt; on the console activatecord :: Affiliate for the base: conference includes: respondent, class: "school", foreign_key: "rival_id" (e.g. For: School) Select SQL generated Select "School". * "School" from "school" "ID" IN (1) error message back NoMethodError: u...
Read more