Search results

• No kind signatures
  newtype MonadTransformer t m a = MonadTransformer (t m a) * <hask>m :: * -> *</hask>,
  1 KB (192 words) - 23:01, 5 April 2021
• Nondeterminism, monadically
  newtype NondetT m a = NondetT { mkNondetT :: (forall b. (a -> m b -> m b) -> m b -> m b) }
  1 KB (223 words) - 07:25, 15 June 2022
• ListT done right alternative
  newtype ListT m a = ListT { runListT :: m (Maybe (a, ListT m a)) } foldListT :: Monad m => (a -> m b -> m b) -> m b -> ListT m a -> m b
  2 KB (402 words) - 06:31, 12 May 2015
• Solution4.html
  parent :: MonadPlus m => Sheep -> m Sheep grandparent :: MonadPlus m => Sheep -> m Sheep
  1 KB (151 words) - 08:45, 9 April 2021
• Solution1.html
  mother ms >>= \m -> father m
  1 KB (147 words) - 08:41, 9 April 2021
• 99 questions/Solutions/37
  (**) Calculate Euler's totient function phi(m) (improved). totient m = product [(p - 1) * p ^ (c - 1) | (p, c) <- prime_factors_mult m]
  373 bytes (58 words) - 19:46, 18 January 2014
• New monads/MonadSupply
  newtype SupplyT s m a = SupplyT (StateT [s] m a) class Monad m => MonadSupply s m | m -> s where
  1 KB (202 words) - 05:09, 4 April 2014
• Talk:Haskell programming tips/Discussion
  I'm hoping to post this here as an attempt to clarify some problems that have b I'm not sure what flags the writer is compiling with but I had a similar issue.
  994 bytes (163 words) - 20:38, 22 December 2016
• User:Serghei
  I'm Serghei Iakovlev. I'm a software engineer at [https://www.pdffiller.com/ PDFfiller] in Ukraine. I
  281 bytes (48 words) - 19:47, 21 February 2020
• 99 questions/Solutions/24
  Lotto: Draw N different random numbers from the set 1..M. diffSelect n m = do
  2 KB (244 words) - 00:09, 7 April 2019
• Emacs/Project navigation
  ETAGS allows jumping to the definition of names at the point via <code>M-.</code>. To generate tags (a TAGS file) for a project, you need [http://h Run <code>M-x haskell-process-generate-tags</code> to generate the TAGS file of the [[S
  1 KB (170 words) - 18:23, 11 April 2016
• All About Monads/Solutions
  mother ms >>= \m -> father m
  4 KB (454 words) - 02:33, 7 January 2022
• MonadPlus
  class (Monad m) => MonadPlus m where mzero :: m a
  2 KB (240 words) - 22:55, 5 April 2021
• New monads/MonadExit
  class Monad m => MonadExit e m | m -> e where exitWith :: e -> m a
  4 KB (707 words) - 09:43, 9 December 2014
• Multi-parameter type class
  class Monad m => VarMonad m v where new :: a -> m (v a)
  1 KB (198 words) - 22:52, 21 July 2021
• Partibles for composing monads
  type M p a = p -> a unit :: Partible p => a -> M p a
  4 KB (691 words) - 08:14, 12 June 2023
• Incompatibilities between MTL 1 and MTL 2
  instance (Applicative m) => Applicative (ReaderT r m) where ... instance (Alternative m) => Alternative (ReaderT r m) where ...
  3 KB (378 words) - 15:19, 6 February 2021
• Category theory/Monads
  class Functor m => Monad m where return :: alpha -> m alpha
  3 KB (547 words) - 07:53, 16 April 2019
• 99 questions/Solutions/41
  goldbachList n m = map goldbach $ dropWhile (<4) $ filter even [n..m] goldbachList' n m i = filter (\(x,y) -> x > i && y > i) $ goldbachList n m
  992 bytes (161 words) - 19:48, 18 January 2014
• User:Srid
  I'm Srid, a Haskeller from Quebec. For more, see [https://www.srid.ca/ www.srid
  83 bytes (16 words) - 17:51, 26 October 2020

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)