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 xs 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 k q ([] k)

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