databrary-1: Databrary

Safe HaskellNone
LanguageHaskell2010

Has

Documentation

class Has a c where Source #

Minimal complete definition

view

Methods

view :: c -> a Source #

Instances

Has a a Source # 

Methods

view :: a -> a Source #

Has InternalState ActionContext Source # 
Has Entropy Service Source # 

Methods

view :: Service -> Entropy Source #

Has Entropy ActionContext Source # 
Has Passwd Service Source # 

Methods

view :: Service -> Passwd Source #

Has Passwd ActionContext Source # 
Has Timestamp BackgroundContext Source # 
Has Segment Slot Source # 

Methods

view :: Slot -> Segment Source #

Has Segment AssetSlot Source # 
Has Segment Excerpt Source # 

Methods

view :: Excerpt -> Segment Source #

Has Segment AssetSegment Source # 
Has Segment RecordSlot Source # 
Has Messages Service Source # 
Has Messages ActionContext Source # 
Has Notifications Service Source # 
Has Notifications BackgroundContext Source # 
Has Notifications ActionContext Source # 
Has Static Service Source # 

Methods

view :: Service -> Static Source #

Has Static ActionContext Source # 
Has Ingest Service Source # 

Methods

view :: Service -> Ingest Source #

Has Ingest BackgroundContext Source # 
Has Ingest ActionContext Source # 
Has DBConn SolrIndexingContext Source # 
Has DBConn BackgroundContext Source # 
Has DBConn ActionContext Source # 
Has Logs Service Source # 

Methods

view :: Service -> Logs Source #

Has Logs SolrIndexingContext Source # 
Has Logs BackgroundContext Source # 
Has Logs ActionContext Source # 
Has Category Record Source # 

Methods

view :: Record -> Category Source #

Has Category RecordSlot Source # 
Has Format Asset Source # 

Methods

view :: Asset -> Format Source #

Has Format AssetRow Source # 

Methods

view :: AssetRow -> Format Source #

Has Format AssetSlot Source # 
Has Format AssetSegment Source # 
Has Access SiteAuth Source # 

Methods

view :: SiteAuth -> Access Source #

Has Access Party Source # 

Methods

view :: Party -> Access Source #

Has Access Authorize Source # 
Has Access Authorization Source # 
Has Access Session Source # 

Methods

view :: Session -> Access Source #

Has Access AccountToken Source # 
Has Access Identity Source # 

Methods

view :: Identity -> Access Source #

Has Access SolrIndexingContext Source # 
Has Access BackgroundContext Source # 
Has Permission Volume Source # 
Has Permission Container Source # 
Has Permission Record Source # 
Has Permission Slot Source # 

Methods

view :: Slot -> Permission Source #

Has SiteAuth LoginToken Source # 
Has SiteAuth AccountToken Source # 
Has SiteAuth Identity Source #

Get the SiteAuth for the Identity, which corresponds to what privileges the Identity has within the site as well which Party/Account the Identity is

Has SiteAuth SolrIndexingContext Source # 
Has SiteAuth BackgroundContext Source # 
Has Account SiteAuth Source # 
Has Account Session Source # 

Methods

view :: Session -> Account Source #

Has Account AccountToken Source # 
Has Party SiteAuth Source # 

Methods

view :: SiteAuth -> Party Source #

Has Party Account Source # 

Methods

view :: Account -> Party Source #

Has Party Identity Source # 

Methods

view :: Identity -> Party Source #

Has Party SolrIndexingContext Source # 
Has Party BackgroundContext Source # 
Has Identity SolrIndexingContext Source # 
Has Identity BackgroundContext Source # 
Has Volume Asset Source # 

Methods

view :: Asset -> Volume Source #

Has Volume Container Source # 
Has Volume Record Source # 

Methods

view :: Record -> Volume Source #

Has Volume Slot Source # 

Methods

view :: Slot -> Volume Source #

Has Volume AssetSlot Source # 
Has Volume Excerpt Source # 

Methods

view :: Excerpt -> Volume Source #

Has Volume AssetSegment Source # 
Has Volume RecordSlot Source # 
Has Volume TagUse Source # 

Methods

view :: TagUse -> Volume Source #

Has Release Measure Source # 

Methods

view :: Measure -> Release Source #

Has Release Record Source # 

Methods

view :: Record -> Release Source #

Has Asset AssetSlot Source # 

Methods

view :: AssetSlot -> Asset Source #

Has Asset Excerpt Source # 

Methods

view :: Excerpt -> Asset Source #

Has Asset AssetSegment Source # 
Has AssetRow Asset Source # 

Methods

view :: Asset -> AssetRow Source #

Has Container Slot Source # 

Methods

view :: Slot -> Container Source #

Has Container Excerpt Source # 
Has Container AssetSegment Source # 
Has Container RecordSlot Source # 
Has Mailer Service Source # 

Methods

view :: Service -> Mailer Source #

Has Mailer ActionContext Source # 
Has Record Measure Source # 

Methods

view :: Measure -> Record Source #

Has Record RecordSlot Source # 
Has Slot Excerpt Source # 

Methods

view :: Excerpt -> Slot Source #

Has Slot AssetSegment Source # 
Has Slot RecordSlot Source # 

Methods

view :: RecordSlot -> Slot Source #

Has AssetSlot Excerpt Source # 
Has AssetSlot AssetSegment Source # 
Has AssetSegment Excerpt Source # 
Has HTTPClient Service Source # 
Has HTTPClient SolrIndexingContext Source # 
Has HTTPClient BackgroundContext Source # 
Has HTTPClient ActionContext Source # 
Has Solr Service Source # 

Methods

view :: Service -> Solr Source #

Has Solr SolrIndexingContext Source # 
Has Solr BackgroundContext Source # 
Has Solr ActionContext Source # 
Has AV Service Source # 

Methods

view :: Service -> AV Source #

Has AV ActionContext Source # 
Has Storage Service Source # 

Methods

view :: Service -> Storage Source #

Has Storage BackgroundContext Source # 
Has Storage ActionContext Source # 
Has Web Service Source # 

Methods

view :: Service -> Web Source #

Has Web ActionContext Source # 
Has Service BackgroundContext Source # 
Has Service ActionContext Source # 
Has Secret Service Source # 

Methods

view :: Service -> Secret Source #

Has Secret ActionContext Source # 
Has Release (Maybe Release) Source # 
Has (Maybe Segment) AssetSlot Source # 
Has (Maybe (Id Container)) AssetSlot Source # 
Has (Maybe Release) Container Source # 
Has (Maybe Release) Measure Source # 
Has (Maybe Release) Record Source # 
Has (Maybe Release) Slot Source # 

Methods

view :: Slot -> Maybe Release Source #

Has (Maybe Container) AssetSlot Source # 
Has (Maybe Slot) AssetSlot Source # 
Has (Id Category) Record Source # 

Methods

view :: Record -> Id Category Source #

Has (Id Category) RecordSlot Source # 
Has (Id Format) Asset Source # 

Methods

view :: Asset -> Id Format Source #

Has (Id Format) AssetRow Source # 

Methods

view :: AssetRow -> Id Format Source #

Has (Id Format) AssetSlot Source # 
Has (Id Format) AssetSegment Source # 
Has (Id Party) SiteAuth Source # 

Methods

view :: SiteAuth -> Id Party Source #

Has (Id Party) Account Source # 

Methods

view :: Account -> Id Party Source #

Has (Id Party) Party Source # 

Methods

view :: Party -> Id Party Source #

Has (Id Party) Session Source # 

Methods

view :: Session -> Id Party Source #

Has (Id Party) AccountToken Source # 
Has (Id Party) Identity Source # 

Methods

view :: Identity -> Id Party Source #

Has (Id Party) SolrIndexingContext Source # 
Has (Id Party) BackgroundContext Source # 
Has (Id Token) Upload Source # 

Methods

view :: Upload -> Id Token Source #

Has (Id Token) Session Source # 

Methods

view :: Session -> Id Token Source #

Has (Id Token) LoginToken Source # 
Has (Id Token) AccountToken Source # 
Has (Id Token) Token Source # 

Methods

view :: Token -> Id Token Source #

Has (Id Volume) Asset Source # 

Methods

view :: Asset -> Id Volume Source #

Has (Id Volume) AssetSlot Source # 
Has (Id Volume) AssetSegment Source # 
Has (Id Volume) TagUse Source # 

Methods

view :: TagUse -> Id Volume Source #

Has (Id Asset) Asset Source # 

Methods

view :: Asset -> Id Asset Source #

Has (Id Asset) AssetRow Source # 

Methods

view :: AssetRow -> Id Asset Source #

Has (Id Asset) AssetSlot Source # 

Methods

view :: AssetSlot -> Id Asset Source #

Has (Id Asset) Excerpt Source # 

Methods

view :: Excerpt -> Id Asset Source #

Has (Id Asset) AssetSegment Source # 
Has (Id Container) Container Source # 
Has (Id Container) ContainerRow Source # 
Has (Id Container) Slot Source # 

Methods

view :: Slot -> Id Container Source #

Has (Id Container) Excerpt Source # 
Has (Id Container) AssetSegment Source # 
Has (Id Container) RecordSlot Source # 
Has (Id Container) TagUse Source # 
Has (Id Record) Record Source # 

Methods

view :: Record -> Id Record Source #

Has (Id Record) RecordSlot Source # 

type MonadHas a s m = (Functor m, Applicative m, MonadReader s m, Has a s) Source #

peek :: (MonadReader c m, Has a c) => m a Source #

peeks :: (MonadReader c m, Has a c) => (a -> b) -> m b Source #

focusIO :: (MonadIO m, MonadHas a c m) => (a -> IO b) -> m b Source #