blob: 00ff2e644dee99891686884e93e3c1ceb25df143 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
|
{-# LANGUAGE MultiParamTypeClasses #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RoleAnnotations #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeOperators #-}
module T15365 where
$([d| type (|||) = Either
(&&&) :: Bool -> Bool -> Bool
(&&&) = (&&)
type role (***)
data (***)
class (???)
instance (???)
data family ($$$)
data instance ($$$)
type family (^^^)
type instance (^^^) = Int
type family (###) where
(###) = Int
pattern (:!!!) :: Bool
pattern (:!!!) = True
|])
|
