Module: Funkr::Categories::Functor

Defined in:
lib/funkr/categories/functor.rb

Overview

A functor is a container that can be mapped over

Defined Under Namespace

Modules: ClassMethods

Instance Method Summary collapse

Instance Method Details

#mapObject

Map over the constructor. The type must be as follow :

Functor(A).map{|A| λ(A) : B} : Functor(B)


10
11
12
# File 'lib/funkr/categories/functor.rb', line 10

def map
  raise "Functor#map not implemented"
end