Safe Haskell	None
Language	Haskell2010

Servant.OpenApi.Internal.TypeLevel.Every

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 #

Apply multiple constraint constructors to a type.

EveryTF '[Show, Read] a ~ (Show a, Read a)

Note that since this is a type family, you have to alway fully apply EveryTF.

For partial application of multiple constraint constructors see Every.

Equations

EveryTF '[] x = ()
EveryTF (c ': cs) x = (c x, EveryTF cs x)

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

Apply multiple constraint constructors to a type as a class.

This is different from EveryTF in that it allows partial application.

Instances

Instances details

Every ('[] :: [Type -> Constraint]) x Source #
Instance details Defined in Servant.OpenApi.Internal.TypeLevel.Every
(c x, Every cs x) => Every (c ': cs) x Source #
Instance details Defined in Servant.OpenApi.Internal.TypeLevel.Every

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

Like tmap, but uses Every for multiple constraints.

>>> let zero :: forall p a. (Show a, Num a) => p a -> String; zero _ = show (0 :: a)
>>> tmapEvery (Proxy :: Proxy [Show, Num]) zero (Proxy :: Proxy [Int, Float]) :: [String]
["0","0.0"]