Safe Haskell	Safe
Language	Haskell2010

Data.Aeson.Schema.Utils.All

Synopsis

class All f xs where
- mapAll :: forall a. (forall x. f x => Proxy x -> a) -> [a]
- foldrAll :: (forall x. f x => Proxy x -> a -> a) -> a -> a

Documentation

class All f xs where Source #

A type family for traversing a type-level list.

Minimal complete definition

Methods

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 #
Instance details Defined in Data.Aeson.Schema.Utils.All Methods mapAll :: (forall (x :: k). f x => Proxy x -> a) -> [a] Source # foldrAll :: (forall (x :: k). f x => Proxy x -> a -> a) -> a -> a Source #
(f x, All f xs) => All (f :: a -> Constraint) (x ': xs :: [a]) Source #
Instance details Defined in Data.Aeson.Schema.Utils.All Methods mapAll :: (forall (x0 :: k). f x0 => Proxy x0 -> a0) -> [a0] Source # foldrAll :: (forall (x0 :: k). f x0 => Proxy x0 -> a0 -> a0) -> a0 -> a0 Source #