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 # | |