unlifted-0.2.3.0: Unlifted and levity-polymorphic types

Safe Haskell	None
Language	Haskell2010

Control.Monad.IO.Unlifted

Documentation

newtype IO# (a :: TYPE r) where Source #

Constructors

IO#
Fields :: forall (r :: RuntimeRep) (a :: TYPE r). { unIO# :: State# RealWorld -> (# State# RealWorld, a #) } -> IO# a

lift :: IO# a -> IO a Source #

unlift :: IO a -> IO# a Source #