haskell - Haskeline: Implementing `MonadException` instance for `ReaderT r (StateT s m)` stack -

-

this question has answer here:

let's have following monad transformer stack (r , s left () simplicity),

newtype mymonad m = mm (readert () (statet () m a)

if want use base monad haskeline's inputt, need system.console.haskeline.monadexception instance. given apparent complexity of these instances, i'd prefer let compiler derive me generalizednewtypederiving. specifically, expect following typecheck,

{-# language generalizednewtypederiving, standalonederiving, flexiblecontexts #-}  import control.monad.state import control.monad.reader import control.monad.io.class import control.applicative import system.console.haskeline.monadexception  newtype mymonad m = mm (readert () (statet () m) a)                     deriving (functor, applicative, monad, monadio) deriving instance (monadexception m) => monadexception (mymonad m)

yet sadly, gives me,

/home/bgamari/hi.hs:11:1:     not deduce (monadexception (statet () m))       arising superclasses of instance declaration     context (monadio (mymonad m), monadexception m)       bound instance declaration @ /home/bgamari/hi.hs:11:1-66     possible fix:       add instance declaration (monadexception (statet () m))     in instance declaration `monadexception (mymonad m)'

looking @ provided instances statet , readert,

instance monadexception m => monadexception (readert r m) instance monadexception m => monadexception (statet s m)

it seems reasonable expect compiler deduce statet instance. expecting of cunning generalizednewtypederiving? how 1 implement instance short of open-coding it?

there 2 versions of state monad: strict , lazy. import control.monad.state brings in lazy version, instance of monadexception seems strict version.

try import control.monad.state.strict instead of import control.monad.state.


Comments

Post a Comment

Popular posts from this blog

java - How to Configure JAXRS and Spring With Annotations -

-
i working on little spring web service project. here example route: package com.example.api; import javax.ws.rs.get; import javax.ws.rs.path; import javax.ws.rs.produces; import javax.ws.rs.pathparam; import javax.ws.rs.ext.provider; import javax.ws.rs.core.mediatype; @provider public class webserviceroutes { @get @path("/hello") public string health() { return "hello"; } } then in spring configuration class: package com.example.api; import org.springframework.context.annotation.bean; import org.springframework.context.annotation.configuration; @configuration public class springcontextconfiguration { @bean( destroymethod = "shutdown" ) public springbus cxf() { return new springbus(); } @bean public webserviceroutes webserviceroutes() { return new webserviceroutes(); } } and in web.xml: <?xml version="1.0" encoding="utf-8"?> <web-app version=...
Read more

visual studio - TFS will not accept changes I've made to a Java project -

-
i using tfs's team explorer manage visual studio projects. recently, i've created new java project (not in visual studio) manually added tfs using source control control explorer in visual studio. after added java project tfs, made changes , bug fixes. then, went visual studio , opened source control explorer check in changes, tfs thinks no changes made. it seems needed check out project before making changes. guess erroneously expected tfs track automatically, okay. so, using source control explorer in tfs, checked out project, , tried check in pending changes. when tried check in, got following message: all of changes either unmodified files or locks. changes have been undone server. is there way convince server indeed project has changed? how can check in changes have made? thank help.
Read more

php - Create image in codeigniter on the fly -

-
i want create image in codeigniter in simple php using gd functions. have tried following method in controller function image(){ $my_img = imagecreate( 200, 80 ); $background = imagecolorallocate( $my_img, 0, 0, 255 ); $text_colour = imagecolorallocate( $my_img, 255, 255, 0 ); $line_colour = imagecolorallocate( $my_img, 128, 255, 0 ); imagestring( $my_img, 4, 30, 25, "thesitewizard.com", $text_colour ); imagesetthickness ( $my_img, 5 ); imageline( $my_img, 30, 45, 165, 45, $line_colour ); //$this->output->set_content_type('image/png'); header( "content-type: image/png" ); imagepng( $my_img ); imagecolordeallocate( $line_color ); imagecolordeallocate( $text_color ); imagecolordeallocate( $background ); imagedestroy( $my_img ); } if write code in simple php can see in url http://www.domain.com/image.php if run in codeignite...
Read more