Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

New posts in haskell

Haskell instance of typeclass definition with type constructor

Is it possible to store a GADT inside a State monad transformer?

haskell

Avoiding repeated instance declarations in Haskell

When parsing JSON with Aeson, why is Maybe treated differently when it's in a type parameter?

haskell aeson

Finding equivalent program to proof in typed lambda calculus

Learning Haskell: where-clause variable x, where does it come from?

haskell

Equivalent of passing `-p zlib` argument to `nix-shell` in `shell.nix`

Having trouble creating a function that can be multiple types

haskell

How to construct fmap for a newtype that houses functions

haskell functor newtype

Haskell Indentation issue

haskell indentation

Modular run-length encoding

Construct a dependent type out of a list in Haskell

haskell singleton

How can I refactor duplicate field names in Haskell data types?

haskell

When should one use applicatives over monads?

mapMaybe for keys in Data.Map

haskell

Haskell instance of `bind` for a custom type

haskell monads state-monad

Defining instance with a type synonym

constraint, function composition, and let abstraction in Haskell

haskell

Understanding mono- vs. polymorphic Core expressions

haskell ghc

How to loop over a list of monadic values?

haskell