haskell - Printing definitions of functions/classes in ghci with lambdabot -


how can view source definitions in ghci (with lambdabot 2.5 ghci on acid) of functions/classes etc defined in project or cabal dependencies? example suppose have : 

module main import system.random  gen = (random (mkstdgen 0)) :: (bool,stdgen)  myadd :: int -> int myadd x = 2 * x  main =   print "finished"

then can information on myadd , random cannot print source. here can in ghci (with lambdabot) : 

*main goa> :src foldr  foldr f z []     = z foldr f z (x:xs) = f x (foldr f z xs) *main goa> :i myadd myadd :: int -> int     -- defined @ test.hs:7:1 *main goa> :src myadd  source not found. don't think can friend on facebook anymore. *main goa> :i random class random   ...   random :: randomgen g => g -> (a, g)   ...     -- defined in ‘system.random’ *main goa> :src random  source not found. listen, broccoli brains, don't have time listen trash.

lambdabot seems able print definitions of foldr not functions defined in project (myadd) or functions in cabal depedencies (random).

is possible me print out definitions of things myadd , random, using feature of lambdabot? know can use hoogle random want know if there way use ghci or lambdabot print out source definitions.

[edit]

since posting discovered emacs/inferior haskell processes , of functionality theirin seems achieve of above.

lambdabot's src can't this. based on short list of function definitions ships lambdabot itself, cf. https://github.com/mokus0/lambdabot/blob/master/lambdabot/state/source. consequently lies, example foldr defined in ghc's libraries as

foldr k z = go               go []     = z         go (y:ys) = y `k` go ys

Comments

Post a Comment

Popular posts from this blog

commonjs - How to write a typescript definition file for a node module that exports a function? -

consider, toml node module can use: // toml.d.ts declare module toml { export function parse(value:string):any; } declare module "toml" { export = toml; } then: /// <reference path="../../../../../defs/toml/toml.d.ts"/> import toml = require('toml'); toml.parse(...); however, node module export single function, such 'glob' ( https://github.com/isaacs/node-glob ). the node usage of module be: var glob = require("glob") glob("*.js", {}, callback(err, files) { ... }); you'd naively expect this: // glob.d.ts declare function globs(paths:string, options:any, callback:{(err:any, files:string[]):void; ...but because typescripts 'import' semantics bit strange, seems can use 'import .. = require()' statement alias modules . trying call: /// <reference path="../../../../../defs/glob/glob.d.ts"/> import blog = require('glob'); results in: error ts2072: mod...
Read more

openid - Okta: Failed to get authorization code through API call -

i'm integrating okta own idp server using okta's api. i'm implementing authorization code flow following steps below: in own server, use /api/v1/authn endpoint sessiontoken. use sessiontoken obtain authorization calling endpoint: /oauth2/v1/authorize?client_id=" + clientid + "&sessiontoken=" + sessiontoken + "&response_type=code&response_mode=query&scope=openid&redirect_uri=" + redirecturl + "&state=evanyang&nonce=" it's supposed return response status code 302 , location header containing redirect url code value. however, keep getting response status code 200 , without location header, html body saying "you using unsupported browser." , "javascript disabled on browser." according api documentation: http://developer.okta.com/docs/api/resources/oidc.html#authentication-request , sessiontoken parameter sufficient this: an okta one-time sessiontoken. allows api-based ...
Read more

ios - Change Storyboard View using Seague -

i have following code checks connection server, , depending on want change views if no connection found. nsstring *connect = [nsstring stringwithcontentsofurl:[nsurl urlwithstring:@"http://myserver.com"] encoding:nsutf8stringencoding error:nil]; if (connect == null) { [self performseguewithidentifier:@"network_failure" sender:self]; } else { // other code here } my problem not change views. have added storyboard segue between 2 views identifier of network_failure . not have navigation controller or that, problem? thanks help! no not problem. first of all, in objectivec exists nil object oriented null . must use that. so: if(connect == nil) or better: if(!connect) so due fact nil not same of null , probably code does't enter in if scope . you have been able discover breakpoint. anyway: be sure set trigger segue (line) 2 view controller , , name network_failure (that not best name. should instead view1toview2 ) as, m...
Read more