Hoogle Search

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

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

Exact lookup

1. reset :: Connection -> IO ()

   postgresql-libpq	Database.PostgreSQL.LibPQ

   Resets the communication channel to the server. This function will close the connection to the server and attempt to reestablish a new connection to the same server, using all the same parameters previously used. This might be useful for error recovery if a working connection is lost.

2. resetPoll :: Connection -> IO PollingStatus

   postgresql-libpq	Database.PostgreSQL.LibPQ

   To initiate a connection reset, call resetStart. If it returns False, the reset has failed. If it returns True, poll the reset using resetPoll in exactly the same way as you would create the connection using connectPoll.

3. resetStart :: Connection -> IO Bool

   postgresql-libpq	Database.PostgreSQL.LibPQ

   Reset the communication channel to the server, in a nonblocking manner.

4. class is ~ RImage rs ss => RecSubset (record :: k -> Type -> [k1] -> Type) (rs :: [k1]) (ss :: [k1]) (is :: [Nat])

   vinyl	Data.Vinyl.Lens

   If one field set is a subset another, then a lens of from the latter's record to the former's is evident. That is, we can either cast a larger record to a smaller one, or we may replace the values in a slice of a record.

5. rsubsetC :: forall g (f :: k -> Type) . (RecSubset record rs ss is, Functor g, RecSubsetFCtx record f) => (record f rs -> g (record f rs)) -> record f ss -> g (record f ss)

   vinyl	Data.Vinyl.Lens

   This is a lens into a slice of the larger record. Morally, we have:

   rsubset :: Lens' (Rec f ss) (Rec f rs)
   

6. class FieldOffsetAux f ts t RIndex t ts => FieldOffset (f :: k -> Type) (ts :: [k]) (t :: k)

   vinyl	Data.Vinyl.SRec

   A more concise constraint equivalent to FieldOffsetAux.

7. class (RIndex t ts ~ i, RecAll f ts Storable) => FieldOffsetAux (f :: k -> Type) (ts :: [k]) (t :: k) (i :: Nat)

   vinyl	Data.Vinyl.SRec

   The ability to work with a particular field of a Rec stored at a Ptr.

8. fieldOffset :: FieldOffsetAux f ts t i => Int -> StorableAt f t

   vinyl	Data.Vinyl.SRec

   Get the byte offset of a field from the given origin and the Storable dictionary needed to work with that field.

9. srecGetSubset :: forall u (ss :: [u]) (rs :: [u]) (f :: u -> Type) . (RPureConstrained (FieldOffset f ss) rs, RPureConstrained (FieldOffset f rs) rs, RFoldMap rs, RMap rs, RApply rs, Storable (Rec f rs)) => SRec2 f f ss -> SRec2 f f rs

   vinyl	Data.Vinyl.SRec

   Get a subset of a record's fields.

10. srecSetSubset :: forall u (f :: u -> Type) (ss :: [u]) (rs :: [u]) . (rs ⊆ ss, RPureConstrained (FieldOffset f ss) rs, RPureConstrained (FieldOffset f rs) rs, RFoldMap rs, RMap rs, RApply rs, Storable (Rec f ss)) => SRec2 f f ss -> SRec2 f f rs -> SRec2 f f ss

    vinyl	Data.Vinyl.SRec

    Set a subset of a record's fields.

Page 102 of many | Previous | Next