#haskell - Fri 9 Mar 2007 between 19:26 and 19:32

NY Lost Funds



roconnordcoutts, cyrpto has a bunch of dependencies?
nominoloquicksilver: no, not the standard ones, afaik
sorear@instances MonadFix
lambdabot((->) r), Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, []
sorearCont is missing
quicksilverah
nominoloquicksilver: although they do have some different properties if you look closer
roconnorquicksilver: monads don't really have anything to do with evalutation order
sorear@instances-importing Control.Monad.Cont MonadFix
lambdabot((->) r), Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, []
sorearnot a scope thing
@instances-importing Control.Monad.Cont Monad
quicksilverroconnor: they have something to with side-effect order, in several cases
lambdabot((->) r), ArrowMonad a, Cont r, ContT r m, Either e, ErrorT e m, IO, Maybe, RWS r w s, RWST r w s m, Reader r, ReaderT r m, ST s, State s, StateT s m, Writer w, WriterT w m, []
SaizanSamB: maybe, i know of the ones in Network.HTTP Network.CGI cgi-compat HAppS haskell-mime string-mime
quicksilverroconnor: and some of those side effects force evaluation (and some don't)
dcouttsroconnor, yep, it used to at least.
roconnor, the situation might be better now, feel free to take a look
quicksilversorear: I think it's too late at night for me to get my head around whether ContT should have a fixed point :) ContT hurts my head at the best of times.
roconnordcoutts: Build-Depends: base, mtl, QuickCheck, HUnit, NewBinary, fps
hmmm
chessguyhi haskellites
roconnor@type mfix
lambdabotforall a (m :: * -> *). (MonadFix m) => (a -> m a) -> m a
roconnor@djinn (a -> ((a -> r) -> r)) -> ((a -> r) -> r)
lambdabot-- f cannot be realized.
roconnorwell, djinn doesn't make fixpoints in any case I suppose
quicksilver@djinn (a -> (r->a)) -> (r->a)
lambdabot-- f cannot be realized.
roconnor@djinn (a -> a) -> a
lambdabot-- f cannot be realized.
actionquicksilver nods
quicksilvernods
not first-order
Saizanit doesn't even work with lists
quicksilverit probably works with the church encoding of lists
which I can't be bothered to work out now :)
Saizanah, there's also a Data.MIME.Types in MissingH!
stepcutSaizan: :p
SamBoh boy :-(.
Saizanmmh i think there's a such list on hpaste

Page: 5 12 19 26 33 40 47 54 61 68 75 82 89 96 

IrcArchive

NY Lost Funds