blob: a69836cbf93328c99df65b8dc7c07e76f687ec04 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
{-# LANGUAGE Haskell2010 #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE PolyKinds #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE StandaloneKindSignatures #-}
{-# LANGUAGE ViewPatterns #-}
module RepPolyPatSynArg where
import Data.Kind
import GHC.Exts
type X :: TYPE rep -> Type
data X a = MkX
pattern Pat :: forall rep (a :: TYPE rep). a -> X a
pattern Pat bndr_a <- ( undefined -> bndr_a )
|