Servant.OpenApi.Internal.TypeLevel.TMap

Synopsis

class TMap

Packageservant-openapi3-2.1.0.0
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

Source#

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.1.0.0 · Servant.OpenApi.Internal.TypeLevel.TMap
(TMap q xs, q x) => TMap q (x ': xs)Defined in servant-openapi3-2.1.0.0 · Servant.OpenApi.Internal.TypeLevel.TMap