{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Gio.Structs.InputMessage
(
InputMessage(..) ,
newZeroInputMessage ,
#if defined(ENABLE_OVERLOADING)
ResolveInputMessageMethod ,
#endif
clearInputMessageAddress ,
getInputMessageAddress ,
#if defined(ENABLE_OVERLOADING)
inputMessage_address ,
#endif
setInputMessageAddress ,
getInputMessageBytesReceived ,
#if defined(ENABLE_OVERLOADING)
inputMessage_bytesReceived ,
#endif
setInputMessageBytesReceived ,
getInputMessageFlags ,
#if defined(ENABLE_OVERLOADING)
inputMessage_flags ,
#endif
setInputMessageFlags ,
getInputMessageNumControlMessages ,
#if defined(ENABLE_OVERLOADING)
inputMessage_numControlMessages ,
#endif
setInputMessageNumControlMessages ,
getInputMessageNumVectors ,
#if defined(ENABLE_OVERLOADING)
inputMessage_numVectors ,
#endif
setInputMessageNumVectors ,
) where
import Data.GI.Base.ShortPrelude
import qualified Data.GI.Base.ShortPrelude as SP
import qualified Data.GI.Base.Overloading as O
import qualified Prelude as P
import qualified Data.GI.Base.Attributes as GI.Attributes
import qualified Data.GI.Base.BasicTypes as B.Types
import qualified Data.GI.Base.ManagedPtr as B.ManagedPtr
import qualified Data.GI.Base.GArray as B.GArray
import qualified Data.GI.Base.GClosure as B.GClosure
import qualified Data.GI.Base.GError as B.GError
import qualified Data.GI.Base.GHashTable as B.GHT
import qualified Data.GI.Base.GVariant as B.GVariant
import qualified Data.GI.Base.GValue as B.GValue
import qualified Data.GI.Base.GParamSpec as B.GParamSpec
import qualified Data.GI.Base.CallStack as B.CallStack
import qualified Data.GI.Base.Properties as B.Properties
import qualified Data.GI.Base.Signals as B.Signals
import qualified Control.Monad.IO.Class as MIO
import qualified Data.Coerce as Coerce
import qualified Data.Text as T
import qualified Data.ByteString.Char8 as B
import qualified Data.Map as Map
import qualified Foreign.Ptr as FP
import qualified GHC.OverloadedLabels as OL
import qualified GHC.Records as R
import {-# SOURCE #-} qualified GI.Gio.Objects.SocketAddress as Gio.SocketAddress
newtype InputMessage = InputMessage (SP.ManagedPtr InputMessage)
deriving (InputMessage -> InputMessage -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: InputMessage -> InputMessage -> Bool
$c/= :: InputMessage -> InputMessage -> Bool
== :: InputMessage -> InputMessage -> Bool
$c== :: InputMessage -> InputMessage -> Bool
Eq)
instance SP.ManagedPtrNewtype InputMessage where
toManagedPtr :: InputMessage -> ManagedPtr InputMessage
toManagedPtr (InputMessage ManagedPtr InputMessage
p) = ManagedPtr InputMessage
p
instance BoxedPtr InputMessage where
boxedPtrCopy :: InputMessage -> IO InputMessage
boxedPtrCopy = \InputMessage
p -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr InputMessage
p (forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
28 forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr InputMessage -> InputMessage
InputMessage)
boxedPtrFree :: InputMessage -> IO ()
boxedPtrFree = \InputMessage
x -> forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr InputMessage
x forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr InputMessage where
boxedPtrCalloc :: IO (Ptr InputMessage)
boxedPtrCalloc = forall a. Int -> IO (Ptr a)
callocBytes Int
28
newZeroInputMessage :: MonadIO m => m InputMessage
newZeroInputMessage :: forall (m :: * -> *). MonadIO m => m InputMessage
newZeroInputMessage = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr InputMessage -> InputMessage
InputMessage
instance tag ~ 'AttrSet => Constructible InputMessage tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr InputMessage -> InputMessage)
-> [AttrOp InputMessage tag] -> m InputMessage
new ManagedPtr InputMessage -> InputMessage
_ [AttrOp InputMessage tag]
attrs = do
InputMessage
o <- forall (m :: * -> *). MonadIO m => m InputMessage
newZeroInputMessage
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set InputMessage
o [AttrOp InputMessage tag]
attrs
forall (m :: * -> *) a. Monad m => a -> m a
return InputMessage
o
getInputMessageAddress :: MonadIO m => InputMessage -> m (Maybe Gio.SocketAddress.SocketAddress)
getInputMessageAddress :: forall (m :: * -> *).
MonadIO m =>
InputMessage -> m (Maybe SocketAddress)
getInputMessageAddress InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
Ptr SocketAddress
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO (Ptr Gio.SocketAddress.SocketAddress)
Maybe SocketAddress
result <- forall a b. Ptr a -> (Ptr a -> IO b) -> IO (Maybe b)
SP.convertIfNonNull Ptr SocketAddress
val forall a b. (a -> b) -> a -> b
$ \Ptr SocketAddress
val' -> do
SocketAddress
val'' <- (forall a b.
(HasCallStack, GObject a, GObject b) =>
(ManagedPtr a -> a) -> Ptr b -> IO a
newObject ManagedPtr SocketAddress -> SocketAddress
Gio.SocketAddress.SocketAddress) Ptr SocketAddress
val'
forall (m :: * -> *) a. Monad m => a -> m a
return SocketAddress
val''
forall (m :: * -> *) a. Monad m => a -> m a
return Maybe SocketAddress
result
setInputMessageAddress :: MonadIO m => InputMessage -> Ptr Gio.SocketAddress.SocketAddress -> m ()
setInputMessageAddress :: forall (m :: * -> *).
MonadIO m =>
InputMessage -> Ptr SocketAddress -> m ()
setInputMessageAddress InputMessage
s Ptr SocketAddress
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (Ptr SocketAddress
val :: Ptr Gio.SocketAddress.SocketAddress)
clearInputMessageAddress :: MonadIO m => InputMessage -> m ()
clearInputMessageAddress :: forall (m :: * -> *). MonadIO m => InputMessage -> m ()
clearInputMessageAddress InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (forall a. Ptr a
FP.nullPtr :: Ptr Gio.SocketAddress.SocketAddress)
#if defined(ENABLE_OVERLOADING)
data InputMessageAddressFieldInfo
instance AttrInfo InputMessageAddressFieldInfo where
type AttrBaseTypeConstraint InputMessageAddressFieldInfo = (~) InputMessage
type AttrAllowedOps InputMessageAddressFieldInfo = '[ 'AttrSet, 'AttrGet, 'AttrClear]
type AttrSetTypeConstraint InputMessageAddressFieldInfo = (~) (Ptr Gio.SocketAddress.SocketAddress)
type AttrTransferTypeConstraint InputMessageAddressFieldInfo = (~)(Ptr Gio.SocketAddress.SocketAddress)
type AttrTransferType InputMessageAddressFieldInfo = (Ptr Gio.SocketAddress.SocketAddress)
type AttrGetType InputMessageAddressFieldInfo = Maybe Gio.SocketAddress.SocketAddress
type AttrLabel InputMessageAddressFieldInfo = "address"
type AttrOrigin InputMessageAddressFieldInfo = InputMessage
attrGet = getInputMessageAddress
attrSet = setInputMessageAddress
attrConstruct = undefined
attrClear = clearInputMessageAddress
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gio.Structs.InputMessage.address"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gio-2.0.30/docs/GI-Gio-Structs-InputMessage.html#g:attr:address"
})
inputMessage_address :: AttrLabelProxy "address"
inputMessage_address = AttrLabelProxy
#endif
getInputMessageNumVectors :: MonadIO m => InputMessage -> m Word32
getInputMessageNumVectors :: forall (m :: * -> *). MonadIO m => InputMessage -> m Word32
getInputMessageNumVectors InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
Word32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO Word32
forall (m :: * -> *) a. Monad m => a -> m a
return Word32
val
setInputMessageNumVectors :: MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageNumVectors :: forall (m :: * -> *). MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageNumVectors InputMessage
s Word32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (Word32
val :: Word32)
#if defined(ENABLE_OVERLOADING)
data InputMessageNumVectorsFieldInfo
instance AttrInfo InputMessageNumVectorsFieldInfo where
type AttrBaseTypeConstraint InputMessageNumVectorsFieldInfo = (~) InputMessage
type AttrAllowedOps InputMessageNumVectorsFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint InputMessageNumVectorsFieldInfo = (~) Word32
type AttrTransferTypeConstraint InputMessageNumVectorsFieldInfo = (~)Word32
type AttrTransferType InputMessageNumVectorsFieldInfo = Word32
type AttrGetType InputMessageNumVectorsFieldInfo = Word32
type AttrLabel InputMessageNumVectorsFieldInfo = "num_vectors"
type AttrOrigin InputMessageNumVectorsFieldInfo = InputMessage
attrGet = getInputMessageNumVectors
attrSet = setInputMessageNumVectors
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gio.Structs.InputMessage.numVectors"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gio-2.0.30/docs/GI-Gio-Structs-InputMessage.html#g:attr:numVectors"
})
inputMessage_numVectors :: AttrLabelProxy "numVectors"
inputMessage_numVectors = AttrLabelProxy
#endif
getInputMessageBytesReceived :: MonadIO m => InputMessage -> m Word32
getInputMessageBytesReceived :: forall (m :: * -> *). MonadIO m => InputMessage -> m Word32
getInputMessageBytesReceived InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
Word32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
12) :: IO Word32
forall (m :: * -> *) a. Monad m => a -> m a
return Word32
val
setInputMessageBytesReceived :: MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageBytesReceived :: forall (m :: * -> *). MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageBytesReceived InputMessage
s Word32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
12) (Word32
val :: Word32)
#if defined(ENABLE_OVERLOADING)
data InputMessageBytesReceivedFieldInfo
instance AttrInfo InputMessageBytesReceivedFieldInfo where
type AttrBaseTypeConstraint InputMessageBytesReceivedFieldInfo = (~) InputMessage
type AttrAllowedOps InputMessageBytesReceivedFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint InputMessageBytesReceivedFieldInfo = (~) Word32
type AttrTransferTypeConstraint InputMessageBytesReceivedFieldInfo = (~)Word32
type AttrTransferType InputMessageBytesReceivedFieldInfo = Word32
type AttrGetType InputMessageBytesReceivedFieldInfo = Word32
type AttrLabel InputMessageBytesReceivedFieldInfo = "bytes_received"
type AttrOrigin InputMessageBytesReceivedFieldInfo = InputMessage
attrGet = getInputMessageBytesReceived
attrSet = setInputMessageBytesReceived
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gio.Structs.InputMessage.bytesReceived"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gio-2.0.30/docs/GI-Gio-Structs-InputMessage.html#g:attr:bytesReceived"
})
inputMessage_bytesReceived :: AttrLabelProxy "bytesReceived"
inputMessage_bytesReceived = AttrLabelProxy
#endif
getInputMessageFlags :: MonadIO m => InputMessage -> m Int32
getInputMessageFlags :: forall (m :: * -> *). MonadIO m => InputMessage -> m Int32
getInputMessageFlags InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
Int32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO Int32
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setInputMessageFlags :: MonadIO m => InputMessage -> Int32 -> m ()
setInputMessageFlags :: forall (m :: * -> *). MonadIO m => InputMessage -> Int32 -> m ()
setInputMessageFlags InputMessage
s Int32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data InputMessageFlagsFieldInfo
instance AttrInfo InputMessageFlagsFieldInfo where
type AttrBaseTypeConstraint InputMessageFlagsFieldInfo = (~) InputMessage
type AttrAllowedOps InputMessageFlagsFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint InputMessageFlagsFieldInfo = (~) Int32
type AttrTransferTypeConstraint InputMessageFlagsFieldInfo = (~)Int32
type AttrTransferType InputMessageFlagsFieldInfo = Int32
type AttrGetType InputMessageFlagsFieldInfo = Int32
type AttrLabel InputMessageFlagsFieldInfo = "flags"
type AttrOrigin InputMessageFlagsFieldInfo = InputMessage
attrGet = getInputMessageFlags
attrSet = setInputMessageFlags
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gio.Structs.InputMessage.flags"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gio-2.0.30/docs/GI-Gio-Structs-InputMessage.html#g:attr:flags"
})
inputMessage_flags :: AttrLabelProxy "flags"
inputMessage_flags = AttrLabelProxy
#endif
getInputMessageNumControlMessages :: MonadIO m => InputMessage -> m Word32
getInputMessageNumControlMessages :: forall (m :: * -> *). MonadIO m => InputMessage -> m Word32
getInputMessageNumControlMessages InputMessage
s = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
Word32
val <- forall a. Storable a => Ptr a -> IO a
peek (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) :: IO Word32
forall (m :: * -> *) a. Monad m => a -> m a
return Word32
val
setInputMessageNumControlMessages :: MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageNumControlMessages :: forall (m :: * -> *). MonadIO m => InputMessage -> Word32 -> m ()
setInputMessageNumControlMessages InputMessage
s Word32
val = forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO forall a b. (a -> b) -> a -> b
$ forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr InputMessage
s forall a b. (a -> b) -> a -> b
$ \Ptr InputMessage
ptr -> do
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr InputMessage
ptr forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
24) (Word32
val :: Word32)
#if defined(ENABLE_OVERLOADING)
data InputMessageNumControlMessagesFieldInfo
instance AttrInfo InputMessageNumControlMessagesFieldInfo where
type AttrBaseTypeConstraint InputMessageNumControlMessagesFieldInfo = (~) InputMessage
type AttrAllowedOps InputMessageNumControlMessagesFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint InputMessageNumControlMessagesFieldInfo = (~) Word32
type AttrTransferTypeConstraint InputMessageNumControlMessagesFieldInfo = (~)Word32
type AttrTransferType InputMessageNumControlMessagesFieldInfo = Word32
type AttrGetType InputMessageNumControlMessagesFieldInfo = Word32
type AttrLabel InputMessageNumControlMessagesFieldInfo = "num_control_messages"
type AttrOrigin InputMessageNumControlMessagesFieldInfo = InputMessage
attrGet = getInputMessageNumControlMessages
attrSet = setInputMessageNumControlMessages
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Gio.Structs.InputMessage.numControlMessages"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-gio-2.0.30/docs/GI-Gio-Structs-InputMessage.html#g:attr:numControlMessages"
})
inputMessage_numControlMessages :: AttrLabelProxy "numControlMessages"
inputMessage_numControlMessages = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList InputMessage
type instance O.AttributeList InputMessage = InputMessageAttributeList
type InputMessageAttributeList = ('[ '("address", InputMessageAddressFieldInfo), '("numVectors", InputMessageNumVectorsFieldInfo), '("bytesReceived", InputMessageBytesReceivedFieldInfo), '("flags", InputMessageFlagsFieldInfo), '("numControlMessages", InputMessageNumControlMessagesFieldInfo)] :: [(Symbol, *)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveInputMessageMethod (t :: Symbol) (o :: *) :: * where
ResolveInputMessageMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveInputMessageMethod t InputMessage, O.OverloadedMethod info InputMessage p) => OL.IsLabel t (InputMessage -> p) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.overloadedMethod @info
#else
fromLabel _ = O.overloadedMethod @info
#endif
#if MIN_VERSION_base(4,13,0)
instance (info ~ ResolveInputMessageMethod t InputMessage, O.OverloadedMethod info InputMessage p, R.HasField t InputMessage p) => R.HasField t InputMessage p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveInputMessageMethod t InputMessage, O.OverloadedMethodInfo info InputMessage) => OL.IsLabel t (O.MethodProxy info InputMessage) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif