stdlib - 0.0.1

Stdlib.Trait.Functor.Monomorphic

Description

Definitions

trait type Functor (container elem : Type)Source#

Constructors

| mkFunctor { syntax iterator map {init := 0; range := 1}; {-# specialize: [1] #-} map : (elem -> elem) -> container -> container }

open Functor public

fromPolymorphicFunctor {f : Type -> Type} {{Poly.Functor f}} {elem} : Functor (f elem) elemSource#

<$> {container elem} {{Functor container elem}} : (elem -> elem) -> container -> containerSource#

$> {container elem : Type} {{Functor container elem}} (fa : container) (b : elem) : containerSource#