Stdlib.Trait.Functor.Polymorphic
Contents
trait type Functor (f : Type -> Type)Source#
Constructors
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#