stdlib - 0.0.1

Stdlib.Trait.Traversable.Monomorphic

Description

Definitions

trait type Traversable (Container Elem : Type)Source#

Constructors

mkTraversable@{ {{functorI}} : Functor Container Elem; traverse : {F : Type -> Type} -> {{Applicative F}} -> (Elem -> F Elem) -> Container -> F Container; }

open Traversable public

fromPolymorphicTraversable {T : Type -> Type} {{traversable : Poly.Traversable T}} {Elem} : Traversable (T Elem) ElemSource#

Make a monomorphic Traversable instance from a polymorphic one.