Safe HaskellSafe-Inferred
LanguageHaskell2010

LinearTypes

Synopsis

Documentation

unrestricted :: a -> b #

Does something unrestricted.

linear :: a %1 -> b #

Does something linear.

poly :: forall a (m :: Multiplicity) b. a %m -> b #

Does something polymorphic.