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.
-
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
setByteArray :: MBA s -> Int -> Int -> Int -> ST s ()os-string System.OsString.Data.ByteString.Short.Internal No documentation available.
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 ]
-
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 ]
-
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 ]
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 ]
-
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 ]
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 ]
-
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 ]
-
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 ]