Search code examples
I can't derive the type of fmap . const...

haskelltypesfunctor

Read More
How is `arr fst` a natural transformation?...

haskellfunctorcategory-theoryarrow-abstraction

Read More
What's the relationship between profunctors and arrows?...

haskellfunctorcategory-theoryarrow-abstractionprofunctor

Read More
Is (\f -> fmap f id) always equivalent to arr?...

haskellfunctorcategory-theoryarrow-abstractioncategory-abstractions

Read More
Why can I not make a (Functor f) => ConcreteType -> f String into an instance Functor ((->)...

haskelltypesfunctor

Read More
Why there isn't a Functor instance for Kleisli in Control.Arrow?...

haskellfunctorarrow-abstraction

Read More
Using monads, monoids, functors and arrows in practice...

haskellmonadsfunctormonoidsarrow-abstraction

Read More
how to mix applicative functors and arrows...

haskellfunctorapplicativehxtarrow-abstraction

Read More
Why can't MSet be an instance of Functor?...

haskelltypeclassfunctor

Read More
Seq.iter slower than native mapping : any generic solution?...

genericsf#inlinefunctor

Read More
Module type semantics in OCaml...

functional-programmingocamlfunctor

Read More
Why does a js map on an array modify the original array?...

javascriptnode.jsdictionaryfunctor

Read More
Function passed as template argument...

c++templatescode-generationfunctor

Read More
Trouble understanding Haskell type unification with a nested `fmap`...

haskellmonadsfunctor

Read More
Why can't I define a function inside another function but can declare function inside another fu...

c++functorfunction-declaration

Read More
std::function to functions with default argument...

c++functorstd-functiondefault-arguments

Read More
Haskell void function...

haskellmonadsfunctor

Read More
Implementing functions in module types...

ocamlfunctor

Read More
How does <$ = (fmap . const) in Functor even work in Haskell?...

haskellfunctorhigher-order-functions

Read More
Why I get error "The type variable 'a occurs inside 'a t" with enabled -rectypes f...

ocamlfunctorrecursive-typecatamorphism

Read More
Menhir Parser Functor?...

ocamlfunctormenhir

Read More
Efficiency advantage of C++ 23 static operator()...

c++static-methodsfunctorc++23

Read More
Functors not recognized as transform_view args...

c++functorstd-ranges

Read More
Declaration of operator function inside struct...

c++structfunctor

Read More
Searching a way to use different variadic functors basing on condition...

c++variadic-templatesvariadic-functionsfunctor

Read More
What causes this type mismatch when applying a functor?...

typesocamlsignaturefunctor

Read More
What is the right way to put type declarations in OCaml signatures...

interfaceocamlsignaturefunctor

Read More
Standard ML functor examples...

functional-programmingsmlfunctorml

Read More
Using infix operator in the module in OCaml...

ocamlfunctorinfix-operator

Read More
is there a predefined functor for conditional operator in c++?...

c++conditional-operatorfunctor

Read More
BackNext