Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.

Exact lookup

1. readMathML :: Text -> Either Text [Exp]

   texmath	Text.TeXMath.Readers.MathML

   Parse a MathML expression to a list of Exp.

2. readOMML :: Text -> Either Text [Exp]

   texmath	Text.TeXMath.Readers.OMML

   No documentation available.

3. readTeX :: Text -> Either Text [Exp]

   texmath	Text.TeXMath.Readers.TeX

   Parse a formula, returning a list of Exp.

4. readLength :: Text -> Maybe Rational

   texmath	Text.TeXMath.Shared

   Attempts to convert a string into

5. readMaybe :: Read a => String -> Maybe a

   tidal-core	Sound.Tidal.Utils

   No documentation available.

6. readTextbox :: forall (m :: Type -> Type) a . (Monad m, Read a, ToByteString a) => Maybe ByteString -> a -> SharedRep m (Either ByteString a)

   web-rep	Web.Rep.SharedReps

   Parse from a textbox Uses focusout so as not to spam the reader.

7. readTextbox_ :: forall (m :: Type -> Type) a . (Monad m, Read a, ToByteString a) => Maybe ByteString -> a -> SharedRep m a

   web-rep	Web.Rep.SharedReps

   Parse from a textbox Uses focusout so as not to spam the reader.

8. readDecimal :: MonadFail m => String -> m (Rational, String)

   what4	What4.Protocol.ReadDecimal

   Read decimal number, returning rational and rest of string, or a failure message if first character is not a digit. A decimal number has the form (-)([0..9])+([0..9])+.([0.9]'*(?)?

9. readCheckSatResponse :: Handle -> IO CheckSatResponse

   what4	What4.Protocol.SMTLib2.Parse

   Read the results of a (check-sat) request.

10. readGetModelResponse :: Handle -> IO GetModelResponse

    what4	What4.Protocol.SMTLib2.Parse

    This reads the model response from a "(get-model)" request.

Page 289 of many | Previous | Next