Hoogle Search

Within LTS Haskell 24.10 (ghc-9.10.2)

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

  1. unReverse :: Reverse a -> a

    safe-json Data.SafeJSON

    No documentation available.

  2. 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

  3. 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

  4. 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

  5. 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)

  6. 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)

  7. effectReverseStereo :: MonadIO m => Channel -> Bool -> m (m ())

    sdl2-mixer SDL.Mixer

    Swaps the left and right channel sound. If given True, will swap the sound channels. Returns an action that, when executed, removes this effect. That action simply calls effectReverseStereo with False.

  8. setReverseStereo :: MonadIO m => Channel -> CInt -> m CInt

    sdl2-mixer SDL.Raw.Mixer

    No documentation available.

  9. safeReverse :: Slist a -> Slist a

    slist Slist

    O(n). Returns the elements of the slist in reverse order. On infinite slists returns the initial slist. 

    >>> safeReverse $ slist "Hello"
Slist {sList = "olleH", sSize = Size 5}

    >> reverse $ infiniteSlist [1..]
Slist {sList = [1..], sSize = Infinity}

  10. encryptedPassportElementReverseSide :: EncryptedPassportElement -> Maybe PassportFile

    telegram-bot-api Telegram.Bot.API.Types.EncryptedPassportElement

    Encrypted file with the reverse side of the document, provided by the user. Available for “driver_license” and “identity_card”. The file can be decrypted and verified using the accompanying EncryptedCredentials.

Page 76 of many | Previous | Next