Safe Haskell	Safe-Inferred
Language	Haskell2010

LinearTypes

Synopsis

unrestricted :: a -> b
linear :: a %1 -> b
poly :: a %m -> b

Documentation

unrestricted :: a -> b #

Does something unrestricted.

linear :: a %1 -> b #

Does something linear.

poly :: a %m -> b #

Does something polymorphic.