Data.DFoldable

Definitions

interface DFoldable : ((t -> Type) -> Type) -> Type

  Dependent version of `Foldable`
  A minimal implementation includes `dfoldr`

Parameters: f
Methods:

dfoldr : (el x -> acc -> acc) -> acc -> f el -> acc

  Dependent version of `foldr`

dfoldr : DFoldable f => (el x -> acc -> acc) -> acc -> f el -> acc

  Dependent version of `foldr`

Visibility: public export

dfoldl : DFoldable f => (acc -> el x -> acc) -> acc -> f el -> acc

  Default implementation of `dfoldl`
  Separated from the interface definition due to what seems to be a compiler
  bug.

Visibility: public export

dnull : DFoldable f => f el -> Bool

Visibility: export

dfoldlM : DFoldable f => Monad m => (acc -> el x -> m acc) -> acc -> f el -> m acc

  `DFoldable` version of `foldlM`

Visibility: export

dfoldMap : DFoldable f => Monoid m => (a x -> m) -> f a -> m

  `DFoldable` version of `foldMap`

Visibility: export