Hoogle Search
Within LTS Haskell 24.52 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
PublishInput :: MessageHeader -> String -> Int -> Messageihaskell IHaskell.Types No documentation available.
PublishOutput :: MessageHeader -> String -> Int -> Messageihaskell IHaskell.Types No documentation available.
PublishStatus :: MessageHeader -> ExecutionState -> Messageihaskell IHaskell.Types No documentation available.
PublishStream :: MessageHeader -> StreamType -> String -> Messageihaskell IHaskell.Types No documentation available.
PublishUpdateDisplayData :: MessageHeader -> [DisplayData] -> Maybe Transient -> Messageihaskell IHaskell.Types No documentation available.
-
ihaskell IHaskellPrelude -
ihaskell IHaskellPrelude Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.
>>> Proxy :: Proxy (Void, Int -> Int) Proxy
Proxy can even hold types of higher kinds,>>> Proxy :: Proxy Either Proxy
>>> Proxy :: Proxy Functor Proxy
>>> Proxy :: Proxy complicatedStructure Proxy
-
ihaskell IHaskellPrelude The type constructor Proxy# is used to bear witness to some type variable. It's used when you want to pass around proxy values for doing things like modelling type applications. A Proxy# is not only unboxed, it also has a polymorphic kind, and has no runtime representation, being totally free.
-
No documentation available.
-
incipit-base Incipit.Base Proxy is a type that holds no data, but has a phantom parameter of arbitrary type (or even kind). Its use is to provide type information, even though there is no value available of that type (or it may be too costly to create one). Historically, Proxy :: Proxy a is a safer alternative to the undefined :: a idiom.
>>> Proxy :: Proxy (Void, Int -> Int) Proxy
Proxy can even hold types of higher kinds,>>> Proxy :: Proxy Either Proxy
>>> Proxy :: Proxy Functor Proxy
>>> Proxy :: Proxy complicatedStructure Proxy