Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
LinearTypes
Synopsis
- unrestricted :: a -> b
- linear :: a %1 -> b
- poly :: forall a (m :: Multiplicity) b. a %m -> b
Documentation
unrestricted :: a -> b #
Does something unrestricted.
poly :: forall a (m :: Multiplicity) b. a %m -> b #
Does something polymorphic.