Stdlib.Trait.Functor.Polymorphic

Contents

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} (fun : A -> B) (fa : 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 #

Description

Definitions