{-# LANGUAGE TypeApplications #-}
#if (MIN_VERSION_haskell_gi_overloading(1,0,0) && !defined(__HADDOCK_VERSION__))
#define ENABLE_OVERLOADING
#endif
module GI.Rsvg.Structs.DimensionData
(
DimensionData(..) ,
newZeroDimensionData ,
#if defined(ENABLE_OVERLOADING)
ResolveDimensionDataMethod ,
#endif
#if defined(ENABLE_OVERLOADING)
dimensionData_em ,
#endif
getDimensionDataEm ,
setDimensionDataEm ,
#if defined(ENABLE_OVERLOADING)
dimensionData_ex ,
#endif
getDimensionDataEx ,
setDimensionDataEx ,
#if defined(ENABLE_OVERLOADING)
dimensionData_height ,
#endif
getDimensionDataHeight ,
setDimensionDataHeight ,
#if defined(ENABLE_OVERLOADING)
dimensionData_width ,
#endif
getDimensionDataWidth ,
setDimensionDataWidth ,
) 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.Kind as DK
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
newtype DimensionData = DimensionData (SP.ManagedPtr DimensionData)
deriving (DimensionData -> DimensionData -> Bool
(DimensionData -> DimensionData -> Bool)
-> (DimensionData -> DimensionData -> Bool) -> Eq DimensionData
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DimensionData -> DimensionData -> Bool
== :: DimensionData -> DimensionData -> Bool
$c/= :: DimensionData -> DimensionData -> Bool
/= :: DimensionData -> DimensionData -> Bool
Eq)
instance SP.ManagedPtrNewtype DimensionData where
toManagedPtr :: DimensionData -> ManagedPtr DimensionData
toManagedPtr (DimensionData ManagedPtr DimensionData
p) = ManagedPtr DimensionData
p
instance BoxedPtr DimensionData where
boxedPtrCopy :: DimensionData -> IO DimensionData
boxedPtrCopy = \DimensionData
p -> DimensionData
-> (Ptr DimensionData -> IO DimensionData) -> IO DimensionData
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
B.ManagedPtr.withManagedPtr DimensionData
p (Int -> Ptr DimensionData -> IO (Ptr DimensionData)
forall a. (HasCallStack, CallocPtr a) => Int -> Ptr a -> IO (Ptr a)
copyBytes Int
24 (Ptr DimensionData -> IO (Ptr DimensionData))
-> (Ptr DimensionData -> IO DimensionData)
-> Ptr DimensionData
-> IO DimensionData
forall (m :: * -> *) a b c.
Monad m =>
(a -> m b) -> (b -> m c) -> a -> m c
>=> (ManagedPtr DimensionData -> DimensionData)
-> Ptr DimensionData -> IO DimensionData
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
B.ManagedPtr.wrapPtr ManagedPtr DimensionData -> DimensionData
DimensionData)
boxedPtrFree :: DimensionData -> IO ()
boxedPtrFree = \DimensionData
x -> DimensionData -> (Ptr DimensionData -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
SP.withManagedPtr DimensionData
x Ptr DimensionData -> IO ()
forall a. Ptr a -> IO ()
SP.freeMem
instance CallocPtr DimensionData where
boxedPtrCalloc :: IO (Ptr DimensionData)
boxedPtrCalloc = Int -> IO (Ptr DimensionData)
forall a. Int -> IO (Ptr a)
callocBytes Int
24
newZeroDimensionData :: MonadIO m => m DimensionData
newZeroDimensionData :: forall (m :: * -> *). MonadIO m => m DimensionData
newZeroDimensionData = IO DimensionData -> m DimensionData
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO DimensionData -> m DimensionData)
-> IO DimensionData -> m DimensionData
forall a b. (a -> b) -> a -> b
$ IO (Ptr DimensionData)
forall a. CallocPtr a => IO (Ptr a)
boxedPtrCalloc IO (Ptr DimensionData)
-> (Ptr DimensionData -> IO DimensionData) -> IO DimensionData
forall a b. IO a -> (a -> IO b) -> IO b
forall (m :: * -> *) a b. Monad m => m a -> (a -> m b) -> m b
>>= (ManagedPtr DimensionData -> DimensionData)
-> Ptr DimensionData -> IO DimensionData
forall a.
(HasCallStack, BoxedPtr a) =>
(ManagedPtr a -> a) -> Ptr a -> IO a
wrapPtr ManagedPtr DimensionData -> DimensionData
DimensionData
instance tag ~ 'AttrSet => Constructible DimensionData tag where
new :: forall (m :: * -> *).
MonadIO m =>
(ManagedPtr DimensionData -> DimensionData)
-> [AttrOp DimensionData tag] -> m DimensionData
new ManagedPtr DimensionData -> DimensionData
_ [AttrOp DimensionData tag]
attrs = do
DimensionData
o <- m DimensionData
forall (m :: * -> *). MonadIO m => m DimensionData
newZeroDimensionData
DimensionData -> [AttrOp DimensionData 'AttrSet] -> m ()
forall o (m :: * -> *).
MonadIO m =>
o -> [AttrOp o 'AttrSet] -> m ()
GI.Attributes.set DimensionData
o [AttrOp DimensionData tag]
[AttrOp DimensionData 'AttrSet]
attrs
DimensionData -> m DimensionData
forall a. a -> m a
forall (m :: * -> *) a. Monad m => a -> m a
return DimensionData
o
getDimensionDataWidth :: MonadIO m => DimensionData -> m Int32
getDimensionDataWidth :: forall (m :: * -> *). MonadIO m => DimensionData -> m Int32
getDimensionDataWidth DimensionData
s = IO Int32 -> m Int32
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int32 -> m Int32) -> IO Int32 -> m Int32
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO Int32) -> IO Int32)
-> (Ptr DimensionData -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) :: IO Int32
Int32 -> IO Int32
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setDimensionDataWidth :: MonadIO m => DimensionData -> Int32 -> m ()
setDimensionDataWidth :: forall (m :: * -> *). MonadIO m => DimensionData -> Int32 -> m ()
setDimensionDataWidth DimensionData
s Int32
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO ()) -> IO ())
-> (Ptr DimensionData -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
0) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data DimensionDataWidthFieldInfo
instance AttrInfo DimensionDataWidthFieldInfo where
type AttrBaseTypeConstraint DimensionDataWidthFieldInfo = (~) DimensionData
type AttrAllowedOps DimensionDataWidthFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint DimensionDataWidthFieldInfo = (~) Int32
type AttrTransferTypeConstraint DimensionDataWidthFieldInfo = (~)Int32
type AttrTransferType DimensionDataWidthFieldInfo = Int32
type AttrGetType DimensionDataWidthFieldInfo = Int32
type AttrLabel DimensionDataWidthFieldInfo = "width"
type AttrOrigin DimensionDataWidthFieldInfo = DimensionData
attrGet = getDimensionDataWidth
attrSet = setDimensionDataWidth
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Rsvg.Structs.DimensionData.width"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-rsvg-2.0.5/docs/GI-Rsvg-Structs-DimensionData.html#g:attr:width"
})
dimensionData_width :: AttrLabelProxy "width"
dimensionData_width = AttrLabelProxy
#endif
getDimensionDataHeight :: MonadIO m => DimensionData -> m Int32
getDimensionDataHeight :: forall (m :: * -> *). MonadIO m => DimensionData -> m Int32
getDimensionDataHeight DimensionData
s = IO Int32 -> m Int32
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Int32 -> m Int32) -> IO Int32 -> m Int32
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO Int32) -> IO Int32
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO Int32) -> IO Int32)
-> (Ptr DimensionData -> IO Int32) -> IO Int32
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
Int32
val <- Ptr Int32 -> IO Int32
forall a. Storable a => Ptr a -> IO a
peek (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
4) :: IO Int32
Int32 -> IO Int32
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Int32
val
setDimensionDataHeight :: MonadIO m => DimensionData -> Int32 -> m ()
setDimensionDataHeight :: forall (m :: * -> *). MonadIO m => DimensionData -> Int32 -> m ()
setDimensionDataHeight DimensionData
s Int32
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO ()) -> IO ())
-> (Ptr DimensionData -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
Ptr Int32 -> Int32 -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr Int32
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
4) (Int32
val :: Int32)
#if defined(ENABLE_OVERLOADING)
data DimensionDataHeightFieldInfo
instance AttrInfo DimensionDataHeightFieldInfo where
type AttrBaseTypeConstraint DimensionDataHeightFieldInfo = (~) DimensionData
type AttrAllowedOps DimensionDataHeightFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint DimensionDataHeightFieldInfo = (~) Int32
type AttrTransferTypeConstraint DimensionDataHeightFieldInfo = (~)Int32
type AttrTransferType DimensionDataHeightFieldInfo = Int32
type AttrGetType DimensionDataHeightFieldInfo = Int32
type AttrLabel DimensionDataHeightFieldInfo = "height"
type AttrOrigin DimensionDataHeightFieldInfo = DimensionData
attrGet = getDimensionDataHeight
attrSet = setDimensionDataHeight
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Rsvg.Structs.DimensionData.height"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-rsvg-2.0.5/docs/GI-Rsvg-Structs-DimensionData.html#g:attr:height"
})
dimensionData_height :: AttrLabelProxy "height"
dimensionData_height = AttrLabelProxy
#endif
getDimensionDataEm :: MonadIO m => DimensionData -> m Double
getDimensionDataEm :: forall (m :: * -> *). MonadIO m => DimensionData -> m Double
getDimensionDataEm DimensionData
s = IO Double -> m Double
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Double -> m Double) -> IO Double -> m Double
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO Double) -> IO Double
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO Double) -> IO Double)
-> (Ptr DimensionData -> IO Double) -> IO Double
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
CDouble
val <- Ptr CDouble -> IO CDouble
forall a. Storable a => Ptr a -> IO a
peek (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr CDouble
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) :: IO CDouble
let val' :: Double
val' = CDouble -> Double
forall a b. (Real a, Fractional b) => a -> b
realToFrac CDouble
val
Double -> IO Double
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Double
val'
setDimensionDataEm :: MonadIO m => DimensionData -> Double -> m ()
setDimensionDataEm :: forall (m :: * -> *). MonadIO m => DimensionData -> Double -> m ()
setDimensionDataEm DimensionData
s Double
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO ()) -> IO ())
-> (Ptr DimensionData -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
let val' :: CDouble
val' = Double -> CDouble
forall a b. (Real a, Fractional b) => a -> b
realToFrac Double
val
Ptr CDouble -> CDouble -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr CDouble
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
8) (CDouble
val' :: CDouble)
#if defined(ENABLE_OVERLOADING)
data DimensionDataEmFieldInfo
instance AttrInfo DimensionDataEmFieldInfo where
type AttrBaseTypeConstraint DimensionDataEmFieldInfo = (~) DimensionData
type AttrAllowedOps DimensionDataEmFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint DimensionDataEmFieldInfo = (~) Double
type AttrTransferTypeConstraint DimensionDataEmFieldInfo = (~)Double
type AttrTransferType DimensionDataEmFieldInfo = Double
type AttrGetType DimensionDataEmFieldInfo = Double
type AttrLabel DimensionDataEmFieldInfo = "em"
type AttrOrigin DimensionDataEmFieldInfo = DimensionData
attrGet = getDimensionDataEm
attrSet = setDimensionDataEm
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Rsvg.Structs.DimensionData.em"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-rsvg-2.0.5/docs/GI-Rsvg-Structs-DimensionData.html#g:attr:em"
})
dimensionData_em :: AttrLabelProxy "em"
dimensionData_em = AttrLabelProxy
#endif
getDimensionDataEx :: MonadIO m => DimensionData -> m Double
getDimensionDataEx :: forall (m :: * -> *). MonadIO m => DimensionData -> m Double
getDimensionDataEx DimensionData
s = IO Double -> m Double
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO Double -> m Double) -> IO Double -> m Double
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO Double) -> IO Double
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO Double) -> IO Double)
-> (Ptr DimensionData -> IO Double) -> IO Double
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
CDouble
val <- Ptr CDouble -> IO CDouble
forall a. Storable a => Ptr a -> IO a
peek (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr CDouble
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) :: IO CDouble
let val' :: Double
val' = CDouble -> Double
forall a b. (Real a, Fractional b) => a -> b
realToFrac CDouble
val
Double -> IO Double
forall a. a -> IO a
forall (m :: * -> *) a. Monad m => a -> m a
return Double
val'
setDimensionDataEx :: MonadIO m => DimensionData -> Double -> m ()
setDimensionDataEx :: forall (m :: * -> *). MonadIO m => DimensionData -> Double -> m ()
setDimensionDataEx DimensionData
s Double
val = IO () -> m ()
forall a. IO a -> m a
forall (m :: * -> *) a. MonadIO m => IO a -> m a
liftIO (IO () -> m ()) -> IO () -> m ()
forall a b. (a -> b) -> a -> b
$ DimensionData -> (Ptr DimensionData -> IO ()) -> IO ()
forall a c.
(HasCallStack, ManagedPtrNewtype a) =>
a -> (Ptr a -> IO c) -> IO c
withManagedPtr DimensionData
s ((Ptr DimensionData -> IO ()) -> IO ())
-> (Ptr DimensionData -> IO ()) -> IO ()
forall a b. (a -> b) -> a -> b
$ \Ptr DimensionData
ptr -> do
let val' :: CDouble
val' = Double -> CDouble
forall a b. (Real a, Fractional b) => a -> b
realToFrac Double
val
Ptr CDouble -> CDouble -> IO ()
forall a. Storable a => Ptr a -> a -> IO ()
poke (Ptr DimensionData
ptr Ptr DimensionData -> Int -> Ptr CDouble
forall a b. Ptr a -> Int -> Ptr b
`plusPtr` Int
16) (CDouble
val' :: CDouble)
#if defined(ENABLE_OVERLOADING)
data DimensionDataExFieldInfo
instance AttrInfo DimensionDataExFieldInfo where
type AttrBaseTypeConstraint DimensionDataExFieldInfo = (~) DimensionData
type AttrAllowedOps DimensionDataExFieldInfo = '[ 'AttrSet, 'AttrGet]
type AttrSetTypeConstraint DimensionDataExFieldInfo = (~) Double
type AttrTransferTypeConstraint DimensionDataExFieldInfo = (~)Double
type AttrTransferType DimensionDataExFieldInfo = Double
type AttrGetType DimensionDataExFieldInfo = Double
type AttrLabel DimensionDataExFieldInfo = "ex"
type AttrOrigin DimensionDataExFieldInfo = DimensionData
attrGet = getDimensionDataEx
attrSet = setDimensionDataEx
attrConstruct = undefined
attrClear = undefined
attrTransfer _ v = do
return v
dbgAttrInfo = P.Just (O.ResolvedSymbolInfo {
O.resolvedSymbolName = "GI.Rsvg.Structs.DimensionData.ex"
, O.resolvedSymbolURL = "https://hackage.haskell.org/package/gi-rsvg-2.0.5/docs/GI-Rsvg-Structs-DimensionData.html#g:attr:ex"
})
dimensionData_ex :: AttrLabelProxy "ex"
dimensionData_ex = AttrLabelProxy
#endif
#if defined(ENABLE_OVERLOADING)
instance O.HasAttributeList DimensionData
type instance O.AttributeList DimensionData = DimensionDataAttributeList
type DimensionDataAttributeList = ('[ '("width", DimensionDataWidthFieldInfo), '("height", DimensionDataHeightFieldInfo), '("em", DimensionDataEmFieldInfo), '("ex", DimensionDataExFieldInfo)] :: [(Symbol, DK.Type)])
#endif
#if defined(ENABLE_OVERLOADING)
type family ResolveDimensionDataMethod (t :: Symbol) (o :: DK.Type) :: DK.Type where
ResolveDimensionDataMethod l o = O.MethodResolutionFailed l o
instance (info ~ ResolveDimensionDataMethod t DimensionData, O.OverloadedMethod info DimensionData p) => OL.IsLabel t (DimensionData -> 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 ~ ResolveDimensionDataMethod t DimensionData, O.OverloadedMethod info DimensionData p, R.HasField t DimensionData p) => R.HasField t DimensionData p where
getField = O.overloadedMethod @info
#endif
instance (info ~ ResolveDimensionDataMethod t DimensionData, O.OverloadedMethodInfo info DimensionData) => OL.IsLabel t (O.MethodProxy info DimensionData) where
#if MIN_VERSION_base(4,10,0)
fromLabel = O.MethodProxy
#else
fromLabel _ = O.MethodProxy
#endif
#endif