{-# 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 -> ()