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. bridgeSumType :: FullBridge -> SumType 'Haskell -> SumType 'PureScript

   purescript-bridge	Language.PureScript.Bridge

   Translate all TypeInfo values in a SumType to PureScript types. Example usage, with defaultBridge:

   data Foo = Foo | Bar Int | FooBar Int Text deriving (Generic, Typeable, Show)
   

   bridgeSumType (buildBridge defaultBridge) (mkSumType (Proxy :: Proxy Foo))
   

2. mkSumType :: (Generic t, Typeable t, GDataConstructor (Rep t)) => Proxy t -> SumType 'Haskell

   purescript-bridge	Language.PureScript.Bridge.SumType

   Create a representation of your sum (and product) types, for doing type translations and writing it out to your PureScript modules. In order to get the type information we use a dummy variable of type Proxy (YourType).

3. checkSumEncoding :: Options -> [ConstructorDef] -> Value -> Maybe Text

   registry-aeson	Data.Registry.Aeson.Decoder

   Check if the sum encoding structure looks correct This requires the whole list of constructor definitions

4. makeSumEncoding :: Options -> FromConstructor -> (Value, Encoding)

   registry-aeson	Data.Registry.Aeson.Encoder

   No documentation available.

5. InvalidChecksum :: ParseError

   roc-id	ROC.ID

   The computed checksum did not match the checksum portion of the input.

6. identityChecksum :: Identity -> Digit

   roc-id	ROC.ID

   Calculate the checksum of the specified Identity.

7. verifyCheckSums :: ReadOptions -> !Bool

   rocksdb-haskell	Database.RocksDB.Base

   If true, all data read from underlying storage will be verified against corresponding checksuyms. Default: False

8. c_rocksdb_readoptions_set_verify_checksums :: ReadOptionsPtr -> CUChar -> IO ()

   rocksdb-haskell	Database.RocksDB.C

   No documentation available.

9. verifyCheckSums :: ReadOptions -> !Bool

   rocksdb-haskell	Database.RocksDB.Types

   If true, all data read from underlying storage will be verified against corresponding checksuyms. Default: False

10. CommandAssume :: a -> [VarIdent' a] -> Term' a -> Command' a

    rzk	Language.Rzk.Syntax.Abs

    No documentation available.

Page 222 of many | Previous | Next