WikiMusic.Free.SongQuery

Documentation

data SongQuery a

Constructors

FetchSongs Env SongSortOrder Limit Offset ((Map UUID Song, [UUID]) -> a)

FetchSongsByUUID Env SongSortOrder [UUID] ((Map UUID Song, [UUID]) -> a)

EnrichedSongResponse Env (Map UUID Song) EnrichSongParams (Map UUID Song -> a)

FetchSongComments Env [UUID] (Map UUID SongComment -> a)

FetchSongOpinions Env [UUID] (Map UUID SongOpinion -> a)

FetchSongArtworks Env [UUID] (Map UUID SongArtwork -> a)

FetchSongContents Env [UUID] (Map UUID SongContent -> a)

FetchSongArtists Env [UUID] ([(UUID, UUID, Text)] -> a)

SearchSongs Env SearchInput SongSortOrder Limit Offset ((Map UUID Song, [UUID]) -> a)

Instances

Functor SongQuery

Defined in WikiMusic.Free.SongQuery

Methods

fmap :: (a -> b) -> SongQuery a -> SongQuery b

(<$) :: a -> SongQuery b -> SongQuery a

Exec SongQuery

Defined in WikiMusic.Sqlite.SongQuery

Methods

execAlgebra :: SongQuery (IO a) -> IO a

fetchSongs :: SongQuery :<: f => Env -> SongSortOrder -> Limit -> Offset -> Free f (Map UUID Song, [UUID])

fetchSongsByUUID :: SongQuery :<: f => Env -> SongSortOrder -> [UUID] -> Free f (Map UUID Song, [UUID])

enrichedSongResponse :: SongQuery :<: f => Env -> Map UUID Song -> EnrichSongParams -> Free f (Map UUID Song)

fetchSongComments :: SongQuery :<: f => Env -> [UUID] -> Free f (Map UUID SongComment)

fetchSongOpinions :: SongQuery :<: f => Env -> [UUID] -> Free f (Map UUID SongOpinion)

fetchSongArtworks :: SongQuery :<: f => Env -> [UUID] -> Free f (Map UUID SongArtwork)

data SongQueryError

Constructors

PersistenceError Text

LogicError Text

Instances

Show SongQueryError

Defined in WikiMusic.Free.SongQuery

Methods

showsPrec :: Int -> SongQueryError -> ShowS

show :: SongQueryError -> String

showList :: [SongQueryError] -> ShowS

Eq SongQueryError

Defined in WikiMusic.Free.SongQuery

Methods

(==) :: SongQueryError -> SongQueryError -> Bool

(/=) :: SongQueryError -> SongQueryError -> Bool

searchSongs :: SongQuery :<: f => Env -> SearchInput -> SongSortOrder -> Limit -> Offset -> Free f (Map UUID Song, [UUID])

fetchSongContents :: SongQuery :<: f => Env -> [UUID] -> Free f (Map UUID SongContent)

fetchSongArtists :: SongQuery :<: f => Env -> [UUID] -> Free f [(UUID, UUID, Text)]