blob: 439d825386794e93023cff7fa0b59e2a034dd3bd (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE ExplicitNamespaces #-}
module T13163
( Record(..)
, type (?)(..)
, f, type (+), pattern Single
) where
import Data.Promotion.Prelude (type (:+$), type (:*$), type (:^$), type (:-$))
import Options.Generic (Generic, ParseRecord, type (<?>)(..))
import GHC.TypeLits
pattern Single x = [x]
f = undefined
|
