blob: 1bf995ce6d72070b2700ac4b267ccba9fee60a25 (
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
|
{-# LANGUAGE LinearTypes, DataKinds, UnicodeSyntax #-}
module PprLinearArrow where
import GHC.Types (Multiplicity(One, Many))
n1 :: a %1 -> b
n1 = undefined
u1 :: a %1 → b
u1 = undefined
n2 :: a %(Many) -> b
n2 = undefined
u2 :: a %(Many) → b
u2 = undefined
m3 :: a ⊸ b
m3 = undefined
n4 :: a %p -> b
n4 = undefined
u4 :: a %p → b
u4 = undefined
|
