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.Swagger.Internal.TypeLevel.Every | |
(c x, Every cs x) => Every (c ': cs) x Source # | |
Defined in Servant.Swagger.Internal.TypeLevel.Every |