Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class AFoldable t a where Source #
Constrained Foldable for a specified type instead for all types.
Instances
(Case (c r) (x ': xs), Reiterate (c r) (x ': xs), AFoldable (Collector c xs) r, r ~ CaseResult (c r) x) => AFoldable (Collector c (x ': xs)) r Source # | |
Defined in Data.Diverse.Many.Internal | |
AFoldable (Collector c ('[] :: [Type])) r Source # | nill case that doesn't even use |
Defined in Data.Diverse.Many.Internal | |
(Case (c r n) (x ': xs), ReiterateN (c r) n (x ': xs), AFoldable (CollectorN c (n + 1) xs) r, r ~ CaseResult (c r n) x) => AFoldable (CollectorN c n (x ': xs)) r Source # | Folds values by |
Defined in Data.Diverse.Many.Internal afoldr :: (r -> b -> b) -> b -> CollectorN c n (x ': xs) r -> b Source # | |
AFoldable (CollectorN c n ('[] :: [Type])) r Source # | nill case that doesn't even use |
Defined in Data.Diverse.Many.Internal afoldr :: (r -> b -> b) -> b -> CollectorN c n '[] r -> b Source # |