BackgroundEvent.purs 863 B

1234567891011121314151617181920212223242526272829
  1. module PureTabs.Model.BackgroundEvent where
  2. import Browser.Tabs (Tab, TabId)
  3. import Browser.Tabs.OnUpdated (ChangeInfo)
  4. import Data.Generic.Rep (class Generic)
  5. import Data.Generic.Rep.Show (genericShow)
  6. import Data.Maybe (Maybe)
  7. import Data.Show (class Show)
  8. import PureTabs.Model.Group (GroupId)
  9. import PureTabs.Model.GroupMapping (GroupData)
  10. import PureTabs.Model.TabWithGroup (TabWithGroup)
  11. data BackgroundEvent
  12. = BgInitialTabList (Array GroupData) (Array TabWithGroup)
  13. | BgTabCreated Tab
  14. | BgTabDeleted TabId
  15. | BgTabUpdated TabId ChangeInfo Tab
  16. | BgTabMoved TabId Int Int
  17. | BgTabActivated (Maybe TabId) TabId
  18. | BgTabAttached Tab
  19. | BgTabDetached TabId
  20. | BgGroupDeleted GroupId (Maybe TabId)
  21. derive instance genBackgroundEvent :: Generic BackgroundEvent _
  22. instance showBackgroundEvent :: Show BackgroundEvent where
  23. show = genericShow