Hoogle Search

Within Stackage Nightly 2025-09-29 (ghc-9.12.2)

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

Exact lookup

1. setOfEncoder :: Encoder a -> Encoder (Set a)

   registry-aeson	Data.Registry.Aeson.Encoder

   No documentation available.

2. setDuplication :: MonadQuery m => Duplication -> m ()

   relational-query	Database.Relational.Monad.Class

   Specify duplication.

3. setVersion :: SafeJSON a => Value -> Value

   safe-json	Data.SafeJSON

   CAUTION: Only use this function if you know what you're doing. The version will be set top-level, without inspection of the Value! (cf. removeVersion) In some rare cases, you might want to interpret a versionless Value as a certain type/version. setVersion allows you to (unsafely) insert a version field. If possible, it is advised to use a FromJSON instance instead. (One that doesn't also use safeFromJSON in its methods!) This might be needed when data sent to an API endpoint doesn't need to implement SafeJSON standards. E.g. in the case of endpoints for third parties or customers.

   USAGE:
   
   {-# LANGUAGE TypeApplications #-}
   data Test = Test String
   instance SafeJSON Test where ...
   
   >>> val = String "test" :: Value
   String "test"
   >>> encode val
   ""test""
   >>> encode $ setVersion @Test val
   "{"~v":0,"~d":"test"}"
   >>> parseMaybe safeFromJSON $ setVersion @Test val
   Just (Test "test")
   

4. setVersion' :: SafeJSON a => Version a -> Value -> Value

   safe-json	Data.SafeJSON

   Same as setVersion, but requires a Version parameter.

   >>> encode $ setVersion' (version :: Version Test) val
   "{\"~v\":0,\"~d\":\"test\"}"
   

5. setBitTo :: SFiniteBits a => SBV a -> Int -> SBool -> SBV a

   sbv	Data.SBV

   A combo of setBit and clearBit, when the bit to be set is symbolic.

6. setInfo :: SolverContext m => String -> [String] -> m ()

   sbv	Data.SBV

   Set info. Example: setInfo ":status" ["unsat"].

7. setLogic :: SolverContext m => Logic -> m ()

   sbv	Data.SBV

   Set the logic.

8. setOption :: SolverContext m => SMTOption -> m ()

   sbv	Data.SBV

   Set an option.

9. setTimeOut :: SolverContext m => Integer -> m ()

   sbv	Data.SBV

   Set a solver time-out value, in milli-seconds. This function essentially translates to the SMTLib call (set-info :timeout val), and your backend solver may or may not support it! The amount given is in milliseconds. Also see the function timeOut for finer level control of time-outs, directly from SBV.

10. setInfo :: SolverContext m => String -> [String] -> m ()

    sbv	Data.SBV.Internals

    Set info. Example: setInfo ":status" ["unsat"].

Page 63 of many | Previous | Next