stdlib - 0.0.1

Stdlib.Trait.Functor.Polymorphic

Description

Definitions

trait type Functor (f : Type -> Type)Source#

Constructors

| mkFunctor { syntax iterator map {init := 0; range := 1}; {-# specialize: [1] #-} map : {A B : Type} -> (A -> B) -> f A -> f B }

open Functor public

<$> {f : Type -> Type} {{Functor f}} {A B} : (A -> B) -> f A -> f BSource#

$> {f : Type → Type} {A B : Type} {{Functor f}} (fa : f A) (b : B) : f BSource#

void {f : Type → Type} {A : Type} {{Functor f}} (fa : f A) : f UnitSource#