Hoogle Search

Within LTS Haskell 24.51 (ghc-9.10.3)

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

  1. getJustEntity :: forall record backend (m :: Type -> Type) . (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record)

    esqueleto Database.Esqueleto

    Same as getJust, but returns an Entity instead of just the record.

    Example usage

    With schema-1 and dataset-1, 
    getJustEntitySpj :: MonadIO m => ReaderT SqlBackend m (Entity User)
getJustEntitySpj = getJustEntity spjId

    spjEnt <- getJustEntitySpj
    The above query when applied on dataset-1, will get this entity: 
    +----+------+-----+
| id | name | age |
+----+------+-----+
|  1 | SPJ  |  40 |
+----+------+-----+

  2. belongsToJust :: forall ent1 ent2 backend (m :: Type -> Type) . (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Key ent2) -> ent1 -> ReaderT backend m ent2

    esqueleto Database.Esqueleto.Experimental

    Same as belongsTo, but uses getJust and therefore is similarly unsafe.

  3. getJust :: forall record backend (m :: Type -> Type) . (PersistStoreRead backend, PersistRecordBackend record backend, MonadIO m) => Key record -> ReaderT backend m record

    esqueleto Database.Esqueleto.Experimental

    Same as get, but for a non-null (not Maybe) foreign key. Unsafe unless your database is enforcing that the foreign key is valid.

    Example usage

    With schema-1 and dataset-1, 
    getJustSpj :: MonadIO m => ReaderT SqlBackend m User
getJustSpj = getJust spjId

    spj <- getJust spjId
    The above query when applied on dataset-1, will get this record: 
    +----+------+-----+
| id | name | age |
+----+------+-----+
|  1 | SPJ  |  40 |
+----+------+-----+

    getJustUnknown :: MonadIO m => ReaderT SqlBackend m User
getJustUnknown = getJust unknownId
    mrx <- getJustUnknown This just throws an error.

  4. getJustEntity :: forall record backend (m :: Type -> Type) . (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record)

    esqueleto Database.Esqueleto.Experimental

    Same as getJust, but returns an Entity instead of just the record.

    Example usage

    With schema-1 and dataset-1, 
    getJustEntitySpj :: MonadIO m => ReaderT SqlBackend m (Entity User)
getJustEntitySpj = getJustEntity spjId

    spjEnt <- getJustEntitySpj
    The above query when applied on dataset-1, will get this entity: 
    +----+------+-----+
| id | name | age |
+----+------+-----+
|  1 | SPJ  |  40 |
+----+------+-----+

  5. belongsToJust :: forall ent1 ent2 backend (m :: Type -> Type) . (PersistStoreRead backend, PersistEntity ent1, PersistRecordBackend ent2 backend, MonadIO m) => (ent1 -> Key ent2) -> ent1 -> ReaderT backend m ent2

    esqueleto Database.Esqueleto.Legacy

    Same as belongsTo, but uses getJust and therefore is similarly unsafe.

  6. getJust :: forall record backend (m :: Type -> Type) . (PersistStoreRead backend, PersistRecordBackend record backend, MonadIO m) => Key record -> ReaderT backend m record

    esqueleto Database.Esqueleto.Legacy

    Same as get, but for a non-null (not Maybe) foreign key. Unsafe unless your database is enforcing that the foreign key is valid.

    Example usage

    With schema-1 and dataset-1, 
    getJustSpj :: MonadIO m => ReaderT SqlBackend m User
getJustSpj = getJust spjId

    spj <- getJust spjId
    The above query when applied on dataset-1, will get this record: 
    +----+------+-----+
| id | name | age |
+----+------+-----+
|  1 | SPJ  |  40 |
+----+------+-----+

    getJustUnknown :: MonadIO m => ReaderT SqlBackend m User
getJustUnknown = getJust unknownId
    mrx <- getJustUnknown This just throws an error.

  7. getJustEntity :: forall record backend (m :: Type -> Type) . (PersistEntityBackend record ~ BaseBackend backend, MonadIO m, PersistEntity record, PersistStoreRead backend) => Key record -> ReaderT backend m (Entity record)

    esqueleto Database.Esqueleto.Legacy

    Same as getJust, but returns an Entity instead of just the record.

    Example usage

    With schema-1 and dataset-1, 
    getJustEntitySpj :: MonadIO m => ReaderT SqlBackend m (Entity User)
getJustEntitySpj = getJustEntity spjId

    spjEnt <- getJustEntitySpj
    The above query when applied on dataset-1, will get this entity: 
    +----+------+-----+
| id | name | age |
+----+------+-----+
|  1 | SPJ  |  40 |
+----+------+-----+

  8. holdJust :: forall (m :: Type -> Type) a . (Monad m, Data a) => Cell m (Maybe a) (Maybe a)

    essence-of-live-coding LiveCoding.Cell.Util

    Like hold, but returns Nothing until it is initialised by a Just a value.

  9. accessAndAdjust :: forall (m :: Type -> Type) s a . Monad m => (s -> a) -> (s -> s) -> Focus s m (Maybe a)

    focus Focus

    Same as all of the following expressions: f g -> fmap (fmap f) lookup <* adjust g f g -> liftStateFn (f &&& g) f g -> liftStateFn ((,) $ f * g)

  10. adjust :: forall (m :: Type -> Type) a . Monad m => (a -> a) -> Focus a m ()

    focus Focus

    Reproduces the behaviour of Data.Map.adjust.

Page 54 of many | Previous | Next