nspec - 0.1.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}} (fun : Elem -> Elem) (container : Container) : ContainerSource#

$> {Container Elem : Type} {{Functor Container Elem}} (container : Container) (element : Elem) : ContainerSource#