Servant.OpenApi.Internal.TypeLevel.TMap

1 class

Packageservant-openapi3-2.0.1.6
Exports1
LanguageHaskell2010
LicenceBSD-3-Clause
SourceTMap.hs

Example7 expressions

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

classclass TMap (q :: k -> Constraint) (xs :: [k]) where

Map a list of constrained types to a list of values.

Example1 expression

>>> tmap (Proxy :: Proxy KnownSymbol) symbolVal (Proxy :: Proxy ["hello", "world"])["hello","world"]

Methods

tmap :: p q -> (forall (x :: k) (p' :: k -> Type). q x => p' x -> a) -> p'' xs -> [a]

Instances2TMap

TMap q '[]Defined in servant-openapi3-2.0.1.6 · Servant.OpenApi.Internal.TypeLevel.TMap
(q x, TMap q xs) => TMap q (x ': xs)Defined in servant-openapi3-2.0.1.6 · Servant.OpenApi.Internal.TypeLevel.TMap