Data.Foldable.Dependent

Definitions

interface DepFoldable : (i : Type) -> ((i -> Type) -> Type) -> Type

Parameters: i, t
Methods:

dfoldl : (m -> (x : i) -> v x -> m) -> m -> t v -> m

dfoldr : ((x : i) -> v x -> m -> m) -> m -> t v -> m

dconcatMap : Monoid m => ((x : i) -> v x -> m) -> t v -> m

Implementations:

DepFoldable i (DPair i)

DepFoldable k (SortedDMap k)

dfoldl : DepFoldable i t => (m -> (x : i) -> v x -> m) -> m -> t v -> m

Visibility: public export

dfoldr : DepFoldable i t => ((x : i) -> v x -> m -> m) -> m -> t v -> m

Visibility: public export

dconcatMap : DepFoldable i t => Monoid m => ((x : i) -> v x -> m) -> t v -> m

Visibility: public export

dToList : DepFoldable i t => t v -> List (DPair i v)

Visibility: export

indepToList : DepFoldable i t => t (const a) -> List (i, a)

Visibility: export