Hoogle Search

Within LTS Haskell 24.45 (ghc-9.10.3)

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

Exact lookup

1. setCons :: Listable a => ([a] -> b) -> [[b]]

   leancheck	Test.LeanCheck.Tiers

   Given a constructor that takes a set of elements (as a list), lists tiers of applications of this constructor. A naive Listable instance for the Set (of Data.Set) would read:

   instance Listable a => Listable (Set a) where
   tiers  =  cons0 empty \/ cons2 insert
   

   The above instance has a problem: it generates repeated sets. A more efficient implementation that does not repeat sets is given by:

   tiers  =  setCons fromList
   

   Alternatively, you can use setsOf direclty.

2. setsOf :: [[a]] -> [[[a]]]

   leancheck	Test.LeanCheck.Tiers

   Takes as argument tiers of element values; returns tiers of size-ordered lists of elements without repetition.

   setsOf [[0],[1],[2],...] =
   [ [[]]
   , [[0]]
   , [[1]]
   , [[0,1],[2]]
   , [[0,2],[3]]
   , [[0,3],[1,2],[4]]
   , [[0,1,2],[0,4],[1,3],[5]]
   , ...
   ]
   

   Can be used in the constructor of specialized Listable instances. For Set (from Data.Set), we would have:

   instance Listable a => Listable (Set a) where
   tiers  =  mapT fromList $ setsOf tiers
   

3. setDebugControllerDebugEnabled :: (MonadIO m, IsDebugController o) => o -> Bool -> m ()

   gi-gio	GI.Gio.Interfaces.DebugController

   Set the value of the “debug-enabled” property. When overloading is enabled, this is equivalent to

   set debugController [ #debugEnabled := value ]
   

4. setDtlsClientConnectionServerIdentity :: (MonadIO m, IsDtlsClientConnection o, IsSocketConnectable a) => o -> a -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsClientConnection

   Set the value of the “server-identity” property. When overloading is enabled, this is equivalent to

   set dtlsClientConnection [ #serverIdentity := value ]
   

5. setDtlsClientConnectionValidationFlags :: (MonadIO m, IsDtlsClientConnection o) => o -> [TlsCertificateFlags] -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsClientConnection

   Set the value of the “validation-flags” property. When overloading is enabled, this is equivalent to

   set dtlsClientConnection [ #validationFlags := value ]
   

6. setDtlsConnectionAdvertisedProtocols :: (MonadIO m, IsDtlsConnection o) => o -> [Text] -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsConnection

   Set the value of the “advertised-protocols” property. When overloading is enabled, this is equivalent to

   set dtlsConnection [ #advertisedProtocols := value ]
   

7. setDtlsConnectionCertificate :: (MonadIO m, IsDtlsConnection o, IsTlsCertificate a) => o -> a -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsConnection

   Set the value of the “certificate” property. When overloading is enabled, this is equivalent to

   set dtlsConnection [ #certificate := value ]
   

8. setDtlsConnectionDatabase :: (MonadIO m, IsDtlsConnection o, IsTlsDatabase a) => o -> a -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsConnection

   Set the value of the “database” property. When overloading is enabled, this is equivalent to

   set dtlsConnection [ #database := value ]
   

9. setDtlsConnectionInteraction :: (MonadIO m, IsDtlsConnection o, IsTlsInteraction a) => o -> a -> m ()

   gi-gio	GI.Gio.Interfaces.DtlsConnection

   Set the value of the “interaction” property. When overloading is enabled, this is equivalent to

   set dtlsConnection [ #interaction := value ]
   

10. setDtlsConnectionRehandshakeMode :: (MonadIO m, IsDtlsConnection o) => o -> TlsRehandshakeMode -> m ()

    gi-gio	GI.Gio.Interfaces.DtlsConnection

    Set the value of the “rehandshake-mode” property. When overloading is enabled, this is equivalent to

    set dtlsConnection [ #rehandshakeMode := value ]
    

Page 271 of many | Previous | Next