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.

Exact lookup

1. xioCacheRead :: XIOCacheConfig -> String -> IOSArrow XmlTree XmlTree

   hxt	Text.XML.HXT.Arrow.XmlState.TypeDefs

   No documentation available.

2. xread :: String -> XmlTrees

   hxt	Text.XML.HXT.Parser.XmlParsec

   the inverse function to xshow, (for XML content). the string parameter is parsed with the XML content parser. result is the list of trees or in case of an error a single element list with the error message as node. No entity or character subtitution is done here, but the XML parser can do this for the predefined XML or the char references for performance reasons see also: parseXmlContent

3. xreadDoc :: String -> XmlTrees

   hxt	Text.XML.HXT.Parser.XmlParsec

   No documentation available.

4. showReadLaws :: (Show a, Read a, Eq a, Arbitrary a) => Proxy a -> Laws

   quickcheck-classes-base	Test.QuickCheck.Classes.Base

   Tests the following properties:

   • Partial Isomorphism: show / read readMaybe (show a) ≡ Just a
   • Partial Isomorphism: show / read with initial space readMaybe (" " ++ show a) ≡ Just a
   • Partial Isomorphism: showsPrec / readsPrec (a,"") `elem` readsPrec p (showsPrec p a "")
   • Partial Isomorphism: showList / readList (as,"") `elem` readList (showList as "")
   • Partial Isomorphism: showListWith shows / readListDefault (as,"") `elem` readListDefault (showListWith shows as "")
   Note: When using base-4.5 or older, a shim implementation of readMaybe is used.

5. class GRead (t :: k -> Type)

   some	Data.GADT.Show

   Read-like class for 1-type-parameter GADTs. Unlike GShow, this one cannot be mechanically derived from a Read instance because greadsPrec must choose the phantom type based on the String being parsed.

6. type GReadS (t :: k -> Type) = String -> [(Some t, String)]

   some	Data.GADT.Show

   GReadS t is equivalent to ReadS (forall b. (forall a. t a -> b) -> b), which is in turn equivalent to ReadS (Exists t) (with data Exists t where Exists :: t a -> Exists t)

7. getGReadResult :: Some tag -> (forall (a :: k) . () => tag a -> b) -> b

   some	Data.GADT.Show

   No documentation available.

8. gread :: GRead t => String -> (forall (a :: k) . () => t a -> b) -> b

   some	Data.GADT.Show

   No documentation available.

9. greadMaybe :: GRead t => String -> (forall (a :: k) . () => t a -> b) -> Maybe b

   some	Data.GADT.Show

   >>> greadMaybe "InL Refl" mkSome :: Maybe (Some (Sum ((:~:) Int) ((:~:) Bool)))
   Just (mkSome (InL Refl))
   

   >>> greadMaybe "L1 Refl" mkSome :: Maybe (Some ((:~:) Int :+: (:~:) Bool))
   Just (mkSome (L1 Refl))
   

   >>> greadMaybe "garbage" mkSome :: Maybe (Some ((:~:) Int))
   Nothing
   

10. greadsPrec :: GRead t => Int -> GReadS t

    some	Data.GADT.Show

    No documentation available.

Page 498 of many | Previous | Next