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.
idPeel :: (Monad m, Monad n, Monad o) => n (m a -> m (o a))monad-peel Control.Monad.Trans.Peel idPeel acts as the "identity" peel operation from a monad m to itself.
idPeel = return $ liftM return
It serves as the base case for a class like MonadPeelIO, which allows control operations in some base monad (here IO) to be lifted through arbitrary stacks of zero or more monad transformers in one call. For example, Control.Monad.IO.Peel definesclass MonadIO m => MonadPeelIO m where peelIO :: m (m a -> IO (m a)) instance MonadPeelIO IO where peelIO = idPeel
identity :: Num a => Int -> Matrix anumeric-quest RowEchelon No documentation available.
identity :: Num a => Transform apdf-toolbox-content Pdf.Content.Transform Identity transform
idGenerator :: Session -> IO Textpontarius-xmpp Network.Xmpp.Internal No documentation available.
idGenerator :: Session -> IO Textpontarius-xmpp Network.Xmpp.Internal No documentation available.
ident :: HeadedParsec Void Text Identpostgresql-syntax PostgresqlSyntax.Parsing References
ident_start [A-Za-z200-377_] ident_cont [A-Za-z200-377_0-9$] identifier {ident_start}{ident_cont}*-
postgresql-syntax PostgresqlSyntax.Rendering No documentation available.
idFormatTokenREOptions :: FormatTokenREOptionsregex Text.RE.ZeInternals a configuration that will preserve the parsed regular expression in the output
-
sbv Data.SBV.RegExp For the purposes of this regular expression, an identifier consists of a letter followed by zero or more letters, digits, underscores, and single quotes. The first letter must be lowercase.
>>> prove $ \s -> s `match` identifier .=> isAsciiLower (head s) Q.E.D. >>> prove $ \s -> s `match` identifier .=> length s .>= 1 Q.E.D.
identity :: forall (m :: Type -> Type) a . Applicative m => Unfold m a astreamly-core Streamly.Internal.Data.Unfold Identity unfold. The unfold generates a singleton stream having the input as the only element.
identity = function Prelude.id
Pre-release