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.
showReadSpecOnArbitrary :: (Show a, Eq a, Read a, Typeable a, Arbitrary a) => Specgenvalidity-hspec Test.Validity.Show Standard test spec for properties of Show and Read instances for arbitrary values Example usage:
showReadSpecOnArbitrary @Double
showReadSpecOnGen :: (Show a, Eq a, Read a, Typeable a) => Gen a -> String -> (a -> [a]) -> Specgenvalidity-hspec Test.Validity.Show Standard test spec for properties of Show and Read instances for values generated by a custom generator Example usage:
showReadSpecOnGen ((* 2) <$> genValid @Int) "even" (const [])
dvRead :: DynVal model a -> model -> ahaskell-gi-base Data.GI.Base.DynVal Compute the actual value given a model.
-
haskell-gi-base Data.GI.Base.GParamSpec the parameter is readable
PropertyReadable :: PropertyFlaghaskell-gi Data.GI.CodeGen.API No documentation available.
propReadNullable :: Property -> Maybe Boolhaskell-gi Data.GI.CodeGen.API No documentation available.
utf8ReadFile :: FilePath -> IO Texthaskell-gi Data.GI.CodeGen.Util Read a file assuming it is UTF-8 encoded. If decoding fails this calls error.
PropertyReadable :: PropertyFlaghaskell-gi Data.GI.GIR.Property No documentation available.
propReadNullable :: Property -> Maybe Boolhaskell-gi Data.GI.GIR.Property No documentation available.
showReadLaws :: (Show a, Read a, Eq a, Arbitrary a) => Proxy a -> Lawsquickcheck-classes Test.QuickCheck.Classes 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 "")