haskell - Adding response header in Servant -


i trying figure out how add cors response header in servant (basically, set response header "access-control-allow-origin: *"). wrote small test case below addheader function errors out. appreciate figuring out error below.

code:

{-# language cpp           #-} {-# language datakinds     #-} {-# language derivegeneric #-} {-# language typefamilies  #-} {-# language typeoperators #-} {-# language overloadedstrings #-} module main  import data.aeson import ghc.generics import network.wai import servant import network.wai.handler.warp (run) import control.monad.trans.either import control.monad.io.class (liftio) import control.monad (when, (<$!>)) import data.text t import data.configurator c import data.maybe import system.exit (exitfailure)  data user = user   { name              :: t.text   , password          :: t.text   } deriving (eq, show, generic)  instance tojson user instance fromjson user  type token = t.text  type userapi = "grant" :> reqbody '[json] user :> post '[json] (headers '[header "access-control-allow-origin" t.text] token)  userapi :: proxy userapi userapi = proxy  authuser :: user -> bool authuser u = case (password u) of     "somepass" -> true     _     -> false  server :: server userapi server = users     users :: user -> eithert servanterr io token         users u = case (authuser u) of           true -> return $ addheader "*" $ ("ok" :: token)           false -> return $ addheader "*" $ ("notok" :: token)  app ::  application app  = serve userapi server  main :: io () main = run 8081 app

this error get:

src/test.hs:43:10:     couldn't match type ‘headers                            '[header "access-control-allow-origin" text] text’                    ‘text’     expected type: server userapi       actual type: user -> eithert servanterr io token     in expression: users     in equation ‘server’:         server           = users                         users :: user -> eithert servanterr io token               users u                 = case (authuser u) of {                     true -> return $ addheader "*" $ ("something" :: token)                     false -> return $ addheader "*" $ ("something" :: token) }  src/test.hs:46:28:     couldn't match type ‘text’ ‘headers '[header h v0] text’     in expression: addheader "*"     in second argument of ‘($)’, namely       ‘addheader "*" $ ("something" :: token)’     in expression: return $ addheader "*" $ ("something" :: token)  src/test.hs:47:29:     couldn't match type ‘text’ ‘headers '[header h1 v1] text’     in expression: addheader "*"     in second argument of ‘($)’, namely       ‘addheader "*" $ ("something" :: token)’     in expression: return $ addheader "*" $ ("something" :: token)

i have working version simpler api (simple get) works. but, userapi of above type, errors out. addheader function type seems agree type signature way think it. missing here or won't error out this.

madjar suggested this, expand upon it: addheader changes return type:

x :: int x = 5  y :: headers '[header "someheader" string] int y = addheader "headerval" y

in case, means have update type of users binding return either servanterr io (headers '[header "access-control-allow-origin" t.text] token

more generally, can use :kind! server userapi in ghci see type synonym expands - that's helpful servant!


Comments

Post a Comment

Popular posts from this blog

Redirect to a HTTPS version using .htaccess -

i need modify .htaccess file redirect urls https version without "www". http://example.com --> https://example.com http://www.example.com --> https://example.com https://www.example.com --> https://example.com this how .htaccess file looks like: rewriteengine on rewritecond %{request_filename} !-d rewritecond %{request_filename} !-f rewriterule ^(.*)$ redirect.php?id=$1&page=$2 [qsa,l] what modifications need make .htaccess in order forward https without "www"? it depends on doing current code. looks file called redirect trying display php page seo friendly url. think might confusing people. anyway, need , force https without www, need 1 more rule above. also second rule needs two capture groups in rewriterule test string because wanting 2 different values using $1 , $2 references. rewriteengine on #rediect www non www and/or http https --- combinations. rewritecond %{http_host} !^example\.com [nc,or] rewritecond %{https} !^...
Read more

Unlimited choices in BASH case statement -

consider simple bash snippet: case $option in 1) image=${options[0]%.tar} ;; 2) image=${options[1]%.tar} ;; 3) image=${options[2]%.tar} ;; 4) image=${options[3]%.tar} ;; *) echo "invalid option" exit 1 esac in real script numbers goes 30. makes pretty long. can somehow specify cases variable? something this: case $option in $i) image=${options[$(($i-1))]%.tar} any pointer appreciated. you can match against multiple patterns in single clause: case $option in 1|2|3: echo "$option one, 2 or three" ;; esac if still typing you, can use simple pattern matching: case $option in # following matches # - single-digit numbers 0-9 # - two-digit numbers starting either 1 or 2 # - number 30 [0-9]|[12][0-9]|30) image=${options[$(($option-1))]%.tar} ;; *) echo "invalid option" 1>&2 exit 1 esac
Read more

javascript - jQuery: Add class depending on URL in the best way -

i have html progress meter: <div class="col-md-3" style="margin-left: -20px;"> <div class="progress-pos active" id="progess-1"> <div class="progress-pos-inner"> login </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-2"> <div class="progress-pos-inner"> scan items </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-3"> <div class="progress-pos-inner"> confirm address </div> </div> </div> <div class="col-md-3 progress-pos-container"> <div class="progress-pos" id="progess-4"> <div class="progress-pos-in...
Read more