Definitions
trait type Foldable (f : Type -> Type)Source#
A trait for combining elements into a single result, processing one element at a time.
| mkFoldable { syntax iterator for {init := 1; range := 1}; for : {A B : Type} -> (B -> A -> B) -> B -> f A -> B; syntax iterator rfor {init := 1; range := 1}; rfor : {A B : Type} -> (B → A → B) -> B → f A → B } |
open Foldable public