elm - Converting A Maybe Value Into A Normal Value -


i have no clue how convert maybe value normal value ...

i have these lines...

pickchord : model -> note -> chord pickchord model note =     let         nextchord = list.head (list.filter (testchord note) model.possiblemajorchords)     in         nextchord

the compiler complains:

the definition of pickchord not match type annotation. - type annotation pickchord says returns:

chord

but returned value (shown above) a:

maybe chord

how handle problem?

thanks.

this why love elm. in it's own way, elm telling you've got design flaw.

let's take closer look. here's code as-is:

pickchord : model -> note -> chord pickchord model note =     let         nextchord = list.head (list.filter (testchord note) model.possiblemajorchords)     in         nextchord

so you've got list of major chords filter specific note. produces list of chords. however, list type can represent empty list, why list.head returns maybe. in case, list.head can return either nothing or just chord.

now, can work around default values , error handling, work-arounds dodge real problem: the list type doesn't accurately fit problem domain.

if you've got list of all major chords, can't think of reason why ever end empty list after applying filter. filter should find @ least 1 chord. assuming that's case, need list-like type can represent list never empty; means head return chord , not maybe chord. better representation of you're trying achieve. luckly, there's such type (which didn't create use extensively) called list.nonempty. here's how work:

import list.nonempty ne  pickchord : model -> note -> chord pickchord model note =             ne.head (ne.filter (testchord note) model.possiblemajorchords)

your model.possiblemajorchords have change list chord list.nonempty chord, makes whole maybe problem go away. of course assuming claim filter returning @ least 1 chord holds true.

here's link nonempty package: http://package.elm-lang.org/packages/mgold/elm-nonempty-list/latest


Comments

Post a Comment

Popular posts from this blog

android - InAppBilling registering BroadcastReceiver in AndroidManifest -

i'm implementing inapp billing in android app. works well, however, i'm trying decouple broadcast receiver activity manifest. suggestion in android's trivialdrive sample: // important: dynamically register broadcast messages updated purchases. // register receiver here instead of <receiver> in manifest // because call getpurchases() @ startup, therefore can ignore // broadcasts sent while app isn't running. // note: registering listener in activity bad idea, done here // because sample. regardless, receiver must registered after // iabhelper setup, before first call getpurchases(). currently there's class extends broadcastreceiver : public class iabbroadcastreceiver extends broadcastreceiver { /** * intent action receiver should filter for. */ public static final string action = "com.android.vending.billing.purchases_updated"; private final iabbroadcastlistener mlistener; public iabbroadcastreceiver(iabbroadcastlistener listener) { m...
Read more

python Tkinter Capturing keyboard events save as one single string -

is possible store keyboard events 1 string? code below stores 1 char , prints it. card reader or bar code reader, contains collection of character/ string not 1 character @ time. goal save char pressed text variable. from tkinter import * root = tk() def key(event): text= event.char text+= event.char print ("pressed", text) def callback(event): frame.focus_set() print ("clicked at", event.x, event.y) frame = frame(root, width=100, height=100) frame.bind("<key>", key) frame.bind("<button-1>", callback) frame.pack() root.mainloop() currently, creating text variable , everytime key() function gets called, , text stores last character typed. you can define text module level variable , , use module level text inside key function - text = '' def key(event): global text text+= event.char print("pressed", text)
Read more

sql server - Why does Linq-to-SQL add unnecessary COUNT()? -

here tables: create table customer ( cid int primary key, name varchar(32) ) create table ord ( oid int primary key, cid int foreign key references customer, address varchar(20) ) here's linq-to-sql statement: var aaa = c in db.customer select new { c, o = c.ord.tolist() }; and here's inexplicable query generated linq-to-sql: select [t0].[cid] [cid], [t0].[name] [name], [t1].[oid] [oid], [t1].[cid] [cid2], [t1].[address] [address], (select count(*) [dbo].[ord] [t2] [t2].[cid] = [t0].[cid]) [value] [dbo].[customer] [t0] left outer join [dbo].[ord] [t1] on [t1].[cid] = [t0].[cid] order [t0].[cid], [t1].[oid] i want understand how rid of count(*) part. it's entirely uncalled for! linq needs count(*) in order determine number of entries returned o = c.ord.tolist() .
Read more