hls-haddock-comments-plugin-1.0.0.1: test/testdata/KindSigFunction.expected.hs

{-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE RankNTypes #-}

module KindSigFunction where

import GHC.TypeLits

f :: KnownSymbol k => (proxy :: k -> *) k -- ^ 
  -> String
f = symbolVal