Moduleservant-openapi3-2.0.1.6Haskell2010

Servant.OpenApi.Internal.TypeLevel.Every

1 class
1 value

Packageservant-openapi3-2.0.1.6
Exports3
LanguageHaskell2010
LicenceBSD-3-Clause
SourceEvery.hs

Example7 expressions

>>> :set -XDataKinds>>> :set -XFlexibleContexts>>> :set -XGADTs>>> :set -XRankNTypes>>> :set -XScopedTypeVariables>>> import GHC.TypeLits>>> import Data.List

familytype family EveryTF (cs :: [k -> Constraint]) (x :: k) :: Constraint where

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)

classclass EveryTF cs x => Every (cs :: [Type -> Constraint]) x

Apply multiple constraint constructors to a type as a class.

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

Instances2Every

Every '[] xDefined in servant-openapi3-2.0.1.6 · Servant.OpenApi.Internal.TypeLevel.Every
(c x, Every cs x) => Every (c ': cs) xDefined in servant-openapi3-2.0.1.6 · Servant.OpenApi.Internal.TypeLevel.Every

valuetmapEvery

:: TMap (Every cs) xs
=> p cs
-> forall x (p' :: Type -> Type). Every cs x => p' x -> a
-> p'' xs
-> [a]

Like tmap, but uses Every for multiple constraints.

Example2 expressions

>>> 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"]