| Safe Haskell | Safe-Inferred |
|---|---|
| Language | GHC2021 |
WikiMusic.Free.SongCommand
Documentation
data SongCommand a Source #
Constructors
Instances
| Functor SongCommand Source # | |
Defined in WikiMusic.Free.SongCommand Methods fmap :: (a -> b) -> SongCommand a -> SongCommand b # (<$) :: a -> SongCommand b -> SongCommand a # | |
| Exec SongCommand Source # | |
Defined in WikiMusic.Sqlite.SongCommand Methods execAlgebra :: SongCommand (IO a) -> IO a # | |
insertSongComments :: SongCommand :<: f => Env -> [SongComment] -> Free f (Either SongCommandError ()) Source #
insertSongArtworks :: SongCommand :<: f => Env -> [SongArtwork] -> Free f (Map UUID SongArtwork) Source #
upsertSongOpinions :: SongCommand :<: f => Env -> [SongOpinion] -> Free f (Map UUID SongOpinion) Source #
insertSongExternalSources :: SongCommand :<: f => Env -> [SongExternalSources] -> Free f (Map UUID SongExternalSources) Source #
deleteSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteSongComments :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteSongArtworks :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteSongOpinions :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteCommentsOfSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteSongExternalSources :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteArtworksOfSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteOpinionsOfSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
insertArtistsOfSongs :: SongCommand :<: f => Env -> [ArtistOfSong] -> Free f (Map UUID ArtistOfSong) Source #
deleteArtistsOfSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteArtistOfSong :: SongCommand :<: f => Env -> (UUID, UUID) -> Free f (Either SongCommandError ()) Source #
updateSongArtworkOrder :: SongCommand :<: f => Env -> [SongArtworkOrderUpdate] -> Free f (Either Text ()) Source #
updateSongs :: SongCommand :<: f => Env -> Map UUID (Song, Maybe SongDelta) -> Free f (Either Text ()) Source #
updateSongExternalSources :: SongCommand :<: f => Env -> Map UUID (Song, Maybe SongDelta) -> Free f (Either Text ()) Source #
newSongFromRequest :: SongCommand :<: f => UUID -> InsertSongsRequestItem -> Free f Song Source #
newSongCommentFromRequest :: SongCommand :<: f => UUID -> InsertSongCommentsRequestItem -> Free f SongComment Source #
newSongOpinionFromRequest :: SongCommand :<: f => UUID -> UpsertSongOpinionsRequestItem -> Free f SongOpinion Source #
newSongArtworkFromRequest :: SongCommand :<: f => UUID -> InsertSongArtworksRequestItem -> Free f SongArtwork Source #
newArtistOfSongFromRequest :: SongCommand :<: f => UUID -> InsertArtistsOfSongsRequestItem -> Free f ArtistOfSong Source #
data SongCommandError Source #
Constructors
| PersistenceError Text | |
| LogicError Text |
Instances
| Show SongCommandError Source # | |
Defined in WikiMusic.Free.SongCommand Methods showsPrec :: Int -> SongCommandError -> ShowS # show :: SongCommandError -> String # showList :: [SongCommandError] -> ShowS # | |
| Eq SongCommandError Source # | |
Defined in WikiMusic.Free.SongCommand Methods (==) :: SongCommandError -> SongCommandError -> Bool # (/=) :: SongCommandError -> SongCommandError -> Bool # | |
insertSongContents :: SongCommand :<: f => Env -> [SongContent] -> Free f (Map UUID SongContent) Source #
updateSongContents :: SongCommand :<: f => Env -> [SongContentDelta] -> Free f (Either Text ()) Source #
deleteSongContents :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
deleteContentsOfSongs :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #
newSongContentFromRequest :: SongCommand :<: f => UUID -> InsertSongContentsRequestItem -> Free f SongContent Source #
incrementViewsByOne :: SongCommand :<: f => Env -> [UUID] -> Free f (Either SongCommandError ()) Source #