{-# language CPP #-}
module Vulkan.Core10.Enums.Filter (Filter( FILTER_NEAREST
, FILTER_LINEAR
, FILTER_CUBIC_EXT
, ..
)) where
import Vulkan.Internal.Utils (enumReadPrec)
import Vulkan.Internal.Utils (enumShowsPrec)
import GHC.Show (showsPrec)
import Vulkan.Zero (Zero)
import Foreign.Storable (Storable)
import Data.Int (Int32)
import GHC.Read (Read(readPrec))
import GHC.Show (Show(showsPrec))
newtype Filter = Filter Int32
deriving newtype (Filter -> Filter -> Bool
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Filter -> Filter -> Bool
$c/= :: Filter -> Filter -> Bool
== :: Filter -> Filter -> Bool
$c== :: Filter -> Filter -> Bool
Eq, Eq Filter
Filter -> Filter -> Bool
Filter -> Filter -> Ordering
Filter -> Filter -> Filter
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 :: Filter -> Filter -> Filter
$cmin :: Filter -> Filter -> Filter
max :: Filter -> Filter -> Filter
$cmax :: Filter -> Filter -> Filter
>= :: Filter -> Filter -> Bool
$c>= :: Filter -> Filter -> Bool
> :: Filter -> Filter -> Bool
$c> :: Filter -> Filter -> Bool
<= :: Filter -> Filter -> Bool
$c<= :: Filter -> Filter -> Bool
< :: Filter -> Filter -> Bool
$c< :: Filter -> Filter -> Bool
compare :: Filter -> Filter -> Ordering
$ccompare :: Filter -> Filter -> Ordering
Ord, Ptr Filter -> IO Filter
Ptr Filter -> Int -> IO Filter
Ptr Filter -> Int -> Filter -> IO ()
Ptr Filter -> Filter -> IO ()
Filter -> Int
forall b. Ptr b -> Int -> IO Filter
forall b. Ptr b -> Int -> Filter -> IO ()
forall a.
(a -> Int)
-> (a -> Int)
-> (Ptr a -> Int -> IO a)
-> (Ptr a -> Int -> a -> IO ())
-> (forall b. Ptr b -> Int -> IO a)
-> (forall b. Ptr b -> Int -> a -> IO ())
-> (Ptr a -> IO a)
-> (Ptr a -> a -> IO ())
-> Storable a
poke :: Ptr Filter -> Filter -> IO ()
$cpoke :: Ptr Filter -> Filter -> IO ()
peek :: Ptr Filter -> IO Filter
$cpeek :: Ptr Filter -> IO Filter
pokeByteOff :: forall b. Ptr b -> Int -> Filter -> IO ()
$cpokeByteOff :: forall b. Ptr b -> Int -> Filter -> IO ()
peekByteOff :: forall b. Ptr b -> Int -> IO Filter
$cpeekByteOff :: forall b. Ptr b -> Int -> IO Filter
pokeElemOff :: Ptr Filter -> Int -> Filter -> IO ()
$cpokeElemOff :: Ptr Filter -> Int -> Filter -> IO ()
peekElemOff :: Ptr Filter -> Int -> IO Filter
$cpeekElemOff :: Ptr Filter -> Int -> IO Filter
alignment :: Filter -> Int
$calignment :: Filter -> Int
sizeOf :: Filter -> Int
$csizeOf :: Filter -> Int
Storable, Filter
forall a. a -> Zero a
zero :: Filter
$czero :: Filter
Zero)
pattern $bFILTER_NEAREST :: Filter
$mFILTER_NEAREST :: forall {r}. Filter -> ((# #) -> r) -> ((# #) -> r) -> r
FILTER_NEAREST = Filter 0
pattern $bFILTER_LINEAR :: Filter
$mFILTER_LINEAR :: forall {r}. Filter -> ((# #) -> r) -> ((# #) -> r) -> r
FILTER_LINEAR = Filter 1
pattern $bFILTER_CUBIC_EXT :: Filter
$mFILTER_CUBIC_EXT :: forall {r}. Filter -> ((# #) -> r) -> ((# #) -> r) -> r
FILTER_CUBIC_EXT = Filter 1000015000
{-# COMPLETE
FILTER_NEAREST
, FILTER_LINEAR
, FILTER_CUBIC_EXT ::
Filter
#-}
conNameFilter :: String
conNameFilter :: String
conNameFilter = String
"Filter"
enumPrefixFilter :: String
enumPrefixFilter :: String
enumPrefixFilter = String
"FILTER_"
showTableFilter :: [(Filter, String)]
showTableFilter :: [(Filter, String)]
showTableFilter =
[ (Filter
FILTER_NEAREST, String
"NEAREST")
, (Filter
FILTER_LINEAR, String
"LINEAR")
, (Filter
FILTER_CUBIC_EXT, String
"CUBIC_EXT")
]
instance Show Filter where
showsPrec :: Int -> Filter -> ShowS
showsPrec =
forall a i.
Eq a =>
String
-> [(a, String)]
-> String
-> (a -> i)
-> (i -> ShowS)
-> Int
-> a
-> ShowS
enumShowsPrec
String
enumPrefixFilter
[(Filter, String)]
showTableFilter
String
conNameFilter
(\(Filter Int32
x) -> Int32
x)
(forall a. Show a => Int -> a -> ShowS
showsPrec Int
11)
instance Read Filter where
readPrec :: ReadPrec Filter
readPrec =
forall i a.
Read i =>
String -> [(a, String)] -> String -> (i -> a) -> ReadPrec a
enumReadPrec
String
enumPrefixFilter
[(Filter, String)]
showTableFilter
String
conNameFilter
Int32 -> Filter
Filter