functor

functor

Functors and natural transformations

Dhall - map on record field

Why does unsafePartial not work with a simple functor in PureScript?

Confusion in understanding horisontal composition of natural transformations

"rewriting did not change type" error for visually same types

VerifiedFunctor - prove map (map g) x = x

How to define a functor fixpoint?

Coq proof that the Selection monad is an applicative and a monad

What are functors, and why do we need them?

c++ how to call outer class's function from a functor?

Deriving from std::function vs creating a functor manually

page:1 of 1 main page

Categories

vscode-debugger

jquery-scrollify

imbalanced-data

nuget-package-restore

graph-visualization

nsurlconnection

wikidata-query-service

node-fhir-server-core

cartesian-product

core-data-migration

azure-devops-pipelines

jquery-terminal

console-redirect

system.messaging

entity-framework-4.3

path-manipulation

collectionviewsource

Resources