Hoogle Search

Within LTS Haskell 24.34 (ghc-9.10.3)

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

Exact lookup

1. simpleReverseProxy :: Manager -> ReverseProxyConfig -> Application

   keter	Keter.Rewrite

   No documentation available.

2. choiceReversed :: Choices -> !Bool

   mem-info	System.MemInfo.Choices

   No documentation available.

3. autoReverse_ :: MisoString -> Attribute action

   miso	Miso.Svg

   https://developer.mozilla.org/en-US/docs/Web/SVG/Attribute/autoReverse

4. autoReverse_ :: MisoString -> Attribute action

   miso	Miso.Svg.Attribute

   https://developer.mozilla.org/en-US/docs/Web/SVG/Attribute/autoReverse

5. unReverse :: Reverse a -> a

   safe-json	Data.SafeJSON

   No documentation available.

6. type TestReverseMigrate a b = (Eq a, Show b, Arbitrary b, SafeJSON a, Migrate Reverse a, MigrateFrom Reverse a ~ b)

   safe-json	Data.SafeJSON.Test

   Constraints for migrating from a future version

7. migrateReverseRoundTrip :: (Eq a, Show a, SafeJSON a, Migrate (Reverse a)) => MigrateFrom (Reverse a) -> Assertion

   safe-json	Data.SafeJSON.Test

   Similar to migrateRoundTrip, but tests the migration from a newer type to the older type, in case of a Migrate (Reverse a) instance

8. migrateReverseRoundTripProp :: TestReverseMigrate a b => String -> TestTree

   safe-json	Data.SafeJSON.Test

   Similar to migrateRoundTripProp, but tests the migration from a newer type to the older type, in case of a Migrate (Reverse a) instance.

   Just (unReverse $ migrate a) == parseMaybe safeFromJSON (safeToJSON a)
   

   Example usage:

   Please also note the reversing of the type applications.

   migrateReverseRoundTripProp @OldType @NewType s
   

9. migrateReverseRoundTripProp' :: TestReverseMigrate a b => Proxy (a, b) -> String -> TestTree

   safe-json	Data.SafeJSON.Test

   Similar to migrateRoundTripProp, but tests the migration from a newer type to the older type, in case of a Migrate (Reverse a) instance.

   Just (unReverse $ migrate a) == parseMaybe safeFromJSON (safeToJSON a)
   

10. testReverseMigration :: (Show a, Eq a, Migrate (Reverse a)) => MigrateFrom (Reverse a) -> a -> Assertion

    safe-json	Data.SafeJSON.Test

    Similar to testMigration, but using Migrate (Reverse a). The first argument here is the newer type, which will be migrated back to the expected second argument (older type).

    Just (unReverse $ migrate a) == parseMaybe safeFromJSON (safeToJSON a)
    

Page 76 of many | Previous | Next