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

Language | Haskell2010 |

## Synopsis

- type family EveryTF cs x :: Constraint where ...
- class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *)
- tmapEvery :: forall a cs p p'' xs. TMap (Every cs) xs => p cs -> (forall x p'. Every cs x => p' x -> a) -> p'' xs -> [a]

# Documentation

`>>>`

`:set -XDataKinds`

`>>>`

`:set -XFlexibleContexts`

`>>>`

`:set -XGADTs`

`>>>`

`:set -XRankNTypes`

`>>>`

`:set -XScopedTypeVariables`

`>>>`

`import GHC.TypeLits`

`>>>`

`import Data.List`

type family EveryTF cs x :: Constraint where ... Source #

class EveryTF cs x => Every (cs :: [* -> Constraint]) (x :: *) Source #

Apply multiple constraint constructors to a type as a class.

This is different from

in that it allows partial application.`EveryTF`

#### Instances

Every ('[] :: [Type -> Constraint]) x Source # | |

Defined in Servant.OpenApi.Internal.TypeLevel.Every | |

(c x, Every cs x) => Every (c ': cs) x Source # | |

Defined in Servant.OpenApi.Internal.TypeLevel.Every |