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

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 :: k1 -> Constraint) ('[] :: [k2]) Source # | |

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