Safe Haskell | Safe-Inferred |
---|---|
Language | GHC2021 |
Documentation
data SongArtistT f Source #
SongArtist' | |
|
Instances
type SongArtist' = SongArtistT Identity Source #
data SongGenreT f Source #
SongGenre' | |
|
Instances
type SongGenre' = SongGenreT Identity Source #
data ArtistGenreT f Source #
ArtistGenre' | |
|
Instances
type ArtistGenre' = ArtistGenreT Identity Source #
mkSongGenreP :: forall {k} {k} {k} {k} {k} {s} {f :: Type -> Type}. (Is k A_Getter, Is k A_Getter, Is k A_Getter, Is k A_Getter, Is k A_Getter, LabelOptic "identifier" k s s (Columnar f Text) (Columnar f Text), LabelOptic "createdBy" k s s (Columnar f Text) (Columnar f Text), LabelOptic "createdAt" k s s (Columnar f UTCTime) (Columnar f UTCTime), LabelOptic "songIdentifier" k s s (Columnar f Text) (Columnar f Text), LabelOptic "genreIdentifier" k s s (Columnar f Text) (Columnar f Text)) => s -> SongGenreT f Source #
mkArtistGenreP :: forall {k} {k} {k} {k} {k} {s} {f :: Type -> Type}. (Is k A_Getter, Is k A_Getter, Is k A_Getter, Is k A_Getter, Is k A_Getter, LabelOptic "identifier" k s s (Columnar f Text) (Columnar f Text), LabelOptic "createdBy" k s s (Columnar f Text) (Columnar f Text), LabelOptic "createdAt" k s s (Columnar f UTCTime) (Columnar f UTCTime), LabelOptic "artistIdentifier" k s s (Columnar f Text) (Columnar f Text), LabelOptic "genreIdentifier" k s s (Columnar f Text) (Columnar f Text)) => s -> ArtistGenreT f Source #