Hoogle Search
Within LTS Haskell 24.45 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
data
Proxy a' a b' b (m :: Type -> Type) rpipes Pipes.Core A Proxy is a monad transformer that receives and sends information on both an upstream and downstream interface. The type variables signify:
- a' and a - The upstream interface, where (a')s go out and (a)s come in
- b' and b - The downstream interface, where (b)s go out and (b')s come in
- m - The base monad
- r - The return value
data
Proxy a' a b' b (m :: Type -> Type) rpipes Pipes.Internal A Proxy is a monad transformer that receives and sends information on both an upstream and downstream interface. The type variables signify:
- a' and a - The upstream interface, where (a')s go out and (a)s come in
- b' and b - The downstream interface, where (b)s go out and (b')s come in
- m - The base monad
- r - The return value
Pure :: r -> Proxy a' a b' b (m :: Type -> Type) rpipes Pipes.Internal No documentation available.
-
General purpose utilities The names in this module clash heavily with the Haskell Prelude, so I recommend the following import scheme:
import Pipes import qualified Pipes.Prelude as P -- or use any other qualifier you prefer
Note that String-based IO is inefficient. The String-based utilities in this module exist only for simple demonstrations without incurring a dependency on the text package. Also, stdinLn and stdoutLn remove and add newlines, respectively. This behavior is intended to simplify examples. The corresponding stdin and stdout utilities from pipes-bytestring and pipes-text preserve newlines. -
servant-server Servant 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
-
servant-server Servant No documentation available.
-
regex-tdfa Text.Regex.TDFA.Common Index into the text being searched.
PostUpdate :: TagTask -> TagUpdateregex-tdfa Text.Regex.TDFA.Common No documentation available.
PreUpdate :: TagTask -> TagUpdateregex-tdfa Text.Regex.TDFA.Common No documentation available.
module Text.Regex.TDFA.
Pattern This Text.Regex.TDFA.Pattern module provides the Pattern data type and its subtypes. This Pattern type is used to represent the parsed form of a regular expression.