Servant.Swagger.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"]

Minimal complete definition

tmap

Methods

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

Instances

TMap k q ([] k)

Methods

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

(q x, TMap a q xs) => TMap a q ((:) a x xs)

Methods

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