html-test/src/LinearTypes.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE LinearTypes #-}
module LinearTypes where

-- | Does something unrestricted.
unrestricted :: a -> b
unrestricted = undefined

-- | Does something linear.
linear :: a %1 -> b
linear = linear

-- | Does something polymorphic.
poly :: a %m -> b
poly = poly