haskell - Int vs Integer in class instance -

- 

class visible  tostring :: -> string  size   :: -> int  inttostring :: (integral t) => t -> string inttostring 0 = "0" inttostring 1 = "1" inttostring 2 = "2" inttostring 3 = "3" inttostring 4 = "4" inttostring 5 = "5" inttostring 6 = "6" inttostring 7 = "7" inttostring 8 = "8" inttostring 9 = "9" inttostring n   | ((div n 10) == 0) = (inttostring (mod n 10))  | otherwise         = (inttostring (div n 10)) ++ (inttostring (mod n 10))

now 

instance visible int  tostring = inttostring  size n   = length (tostring n)

gives me error ambiguous type variable @ prompt if type (tostring 55)

but

instance visible integer  tostring = inttostring  size n   = length (tostring n)

does not.

what gives?

there 2 things going on here. remember numeric literals in haskell polymorphic. is:

x = 55

really means

x :: num => x = fromintegral 55

this true numbers anywhere write them. can awkward work with, ghci implements type defaulting: assumes bare numbers integers or doubles if type ambiguous.

when write tostring 55 @ ghci prompt, ghci infers type (visible a, num a) => a number 55. if have visible int in scope, type default of integer doesn't work because doesn't fulfill class constraint (there's no visible integer), ghci complains ambiguous type variable because doesn't know type instantiate expression. if have visible integer in scope, type default of integer works fine.

if want use type other integer, can use explicit type in tostring (55 :: int)


Comments

Post a Comment

Popular posts from this blog

c++ - How do I get a multi line tooltip in MFC -

-
right now, have tool tip pops when hover on edit box. problem tool tip contains multiple error messages , in 1 long line. need have each error message on own line. error messages contained in cstring new line seperating them. my existing code below. bool ontooltiptext(uint, nmhdr* pnmhdr, lresult* presult) { assert(pnmhdr->code == ttn_needtexta || pnmhdr->code == ttn_needtextw); // need handle both ansi , unicode versions of message tooltiptexta* pttta = (tooltiptexta*)pnmhdr; tooltiptextw* ptttw = (tooltiptextw*)pnmhdr; // tchar szfulltext[256]; cstring strtiptext=_t(""); uint nid = pnmhdr->idfrom; if (pnmhdr->code == ttn_needtexta && (pttta->uflags & ttf_idishwnd) || pnmhdr->code == ttn_needtextw && (ptttw->uflags & ttf_idishwnd)) { // idfrom hwnd of tool nid = ::getdlgctrlid((hwnd)nid); } //m_errprojaccel[ch] contains 1 or more error messages each...
Read more

asp.net - In javascript how to find the height and width -

-
i having .aspx , masterpage page. in masterpage loading aspx page . in aspx page design using generating table structure using code-behind server in javascript how find height , width . regards, kumar if you're looking table height , width, should it var tbl = document.getelementbyid('tbldemo'); alert(tbl.offsetwidth + '\n' + tbl.offsetheight);
Read more

c# - DataTable to EnumerableRowCollection -

-
i have datatable according client requirement can contain invalid date "00/00/1999",null,empty string.(typed datset) when collect them enumerables wish convert of invalid forms empty string. (i.e) enumerablerowcollection<datarow> query = order in _table.asenumerable() select new { orderdate= string.isnullorempty(convert.tostring(order.field<datetime>("orderdate")) || (how check date invalid date) ? string.empty : order.field<datetime>("orderdate") } how check whether date valid date or not? datetime.tryparse...like given current code: datetime date; enumerablerowcollection<datarow> query = order in _table.asenumerable() select new { orderdate= string.isnullorempty(convert.tostring(order.field<datetime>("orderdate")) || !datetime.tryparse(convert.tostring(order.field<datetime...
Read more