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