monads

385 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
Two polymorphic classes in one function
user_18165030
•
2
1
75
tagless-final typeclass polymorphism monads haskell
Is every Alternative Monad Filterable?
user_17263430
•
7
1
488
alternative-functor category-theory filter monads haskell
Haskell void function
user_82562320
•
4
1
359
functor monads haskell
Reading from a file in Idris
user_17449140
•
2
1
392
idris ghci monads functional-programming
Adding a Constraint to a Monad Result Type
user_128487420
•
3
1
229
monads haskell
List with first value from IO
user_7759540
•
3
3
187
io-monad io monads haskell
How do I subtract Maybe values in Haskell? For example, if I want to subtract Just 8 - Just 5 to get Just 3, how would I do that?
user_127921620
•
2
4
507
option-type monads haskell
How to coerce types from different type levels in Haskell?
user_57606150
•
2
1
71
type-theory gadt lambda-calculus monads haskell
When should one use applicatives over monads?
user_6090740
•
4
2
273
applicative scala monads haskell
Can monad with broken associativity law yield incorrect result in for-comprehension?
user_52050220
•
5
1
116
for-comprehension associativity scala monads
Hot Questions