{-# LANGUAGE TemplateHaskell #-} {-# LANGUAGE BlockArguments #-} {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE DataKinds #-} {-# OPTIONS_GHC -Wall -fno-warn-tabs #-} module Control.Moffy.Samples.Event.Delete where import Control.Moffy import Data.Type.Set (numbered, Singleton) data DeleteEvent = DeleteEventReq deriving (Int -> DeleteEvent -> ShowS [DeleteEvent] -> ShowS DeleteEvent -> String forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [DeleteEvent] -> ShowS $cshowList :: [DeleteEvent] -> ShowS show :: DeleteEvent -> String $cshow :: DeleteEvent -> String showsPrec :: Int -> DeleteEvent -> ShowS $cshowsPrec :: Int -> DeleteEvent -> ShowS Show, DeleteEvent -> DeleteEvent -> Bool forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a /= :: DeleteEvent -> DeleteEvent -> Bool $c/= :: DeleteEvent -> DeleteEvent -> Bool == :: DeleteEvent -> DeleteEvent -> Bool $c== :: DeleteEvent -> DeleteEvent -> Bool Eq, Eq DeleteEvent DeleteEvent -> DeleteEvent -> Bool DeleteEvent -> DeleteEvent -> Ordering DeleteEvent -> DeleteEvent -> DeleteEvent forall a. Eq a -> (a -> a -> Ordering) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> Bool) -> (a -> a -> a) -> (a -> a -> a) -> Ord a min :: DeleteEvent -> DeleteEvent -> DeleteEvent $cmin :: DeleteEvent -> DeleteEvent -> DeleteEvent max :: DeleteEvent -> DeleteEvent -> DeleteEvent $cmax :: DeleteEvent -> DeleteEvent -> DeleteEvent >= :: DeleteEvent -> DeleteEvent -> Bool $c>= :: DeleteEvent -> DeleteEvent -> Bool > :: DeleteEvent -> DeleteEvent -> Bool $c> :: DeleteEvent -> DeleteEvent -> Bool <= :: DeleteEvent -> DeleteEvent -> Bool $c<= :: DeleteEvent -> DeleteEvent -> Bool < :: DeleteEvent -> DeleteEvent -> Bool $c< :: DeleteEvent -> DeleteEvent -> Bool compare :: DeleteEvent -> DeleteEvent -> Ordering $ccompare :: DeleteEvent -> DeleteEvent -> Ordering Ord) numbered [t| DeleteEvent |] instance Request DeleteEvent where data Occurred DeleteEvent = OccDeleteEvent deriving Int -> Occurred DeleteEvent -> ShowS [Occurred DeleteEvent] -> ShowS Occurred DeleteEvent -> String forall a. (Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a showList :: [Occurred DeleteEvent] -> ShowS $cshowList :: [Occurred DeleteEvent] -> ShowS show :: Occurred DeleteEvent -> String $cshow :: Occurred DeleteEvent -> String showsPrec :: Int -> Occurred DeleteEvent -> ShowS $cshowsPrec :: Int -> Occurred DeleteEvent -> ShowS Show deleteEvent :: React s (Singleton DeleteEvent) () deleteEvent :: forall s. React s (Singleton DeleteEvent) () deleteEvent = forall e r s. e -> (Occurred e -> r) -> React s (Singleton e) r await DeleteEvent DeleteEventReq \Occurred DeleteEvent R:OccurredDeleteEvent OccDeleteEvent -> ()