aboutsummaryrefslogtreecommitdiff
path: root/html-test/tests/TypeOperators.hs
blob: edbb9344944ce338c09065a13a30076a0bc90c88 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
{-# LANGUAGE TypeOperators #-}
module TypeOperators (
  -- * stuff
  (:-:),
  (:+:),
  Op,
  O(..),
  biO,
) where

data a :-: b

data (a :+: b) c

data a `Op` b

newtype (g `O` f) a = O { unO :: g (f a) }

biO :: (g `O` f) a
biO = undefined