Servant.OpenApi.Internal.TypeLevel.TMap

Documentation

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

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

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

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

Methods

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

Instances

TMap (q :: k -> Constraint) ('[] :: [k])

Defined in Servant.OpenApi.Internal.TypeLevel.TMap

Methods

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

(q x, TMap q xs) => TMap (q :: a -> Constraint) (x ': xs :: [a])

Defined in Servant.OpenApi.Internal.TypeLevel.TMap

Methods

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