Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

A type family for traversing a type-level list.

mapAll :: forall a. (forall x. f x => Proxy x -> a) -> [a] Source #

foldrAll :: (forall x. f x => Proxy x -> a -> a) -> a -> a Source #

## Instances

All (f :: k2 -> Constraint) ([] :: [k1]) Source # | |

(f x, All f xs) => All (f :: a -> Constraint) (x ': xs :: [a]) Source # | |