{-# OPTIONS_HADDOCK ignore-exports#-}
{-# LANGUAGE DataKinds #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE Strict #-}
module Graphics.Vulkan.Types.Enum.Filter
(VkFilter(VkFilter, VK_FILTER_NEAREST, VK_FILTER_LINEAR)) where
import Foreign.Storable (Storable)
import GHC.Read (choose, expectP)
import Graphics.Vulkan.Marshal (Int32)
import Text.ParserCombinators.ReadPrec (prec, step, (+++))
import Text.Read (Read (..), parens)
import Text.Read.Lex (Lexeme (..))
newtype VkFilter = VkFilter Int32
deriving (VkFilter -> VkFilter -> Bool
(VkFilter -> VkFilter -> Bool)
-> (VkFilter -> VkFilter -> Bool) -> Eq VkFilter
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: VkFilter -> VkFilter -> Bool
$c/= :: VkFilter -> VkFilter -> Bool
== :: VkFilter -> VkFilter -> Bool
$c== :: VkFilter -> VkFilter -> Bool
Eq, Eq VkFilter
Eq VkFilter
-> (VkFilter -> VkFilter -> Ordering)
-> (VkFilter -> VkFilter -> Bool)
-> (VkFilter -> VkFilter -> Bool)
-> (VkFilter -> VkFilter -> Bool)
-> (VkFilter -> VkFilter -> Bool)
-> (VkFilter -> VkFilter -> VkFilter)
-> (VkFilter -> VkFilter -> VkFilter)
-> Ord VkFilter
VkFilter -> VkFilter -> Bool
VkFilter -> VkFilter -> Ordering
VkFilter -> VkFilter -> VkFilter
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 :: VkFilter -> VkFilter -> VkFilter
$cmin :: VkFilter -> VkFilter -> VkFilter
max :: VkFilter -> VkFilter -> VkFilter
$cmax :: VkFilter -> VkFilter -> VkFilter
>= :: VkFilter -> VkFilter -> Bool
$c>= :: VkFilter -> VkFilter -> Bool
> :: VkFilter -> VkFilter -> Bool
$c> :: VkFilter -> VkFilter -> Bool
<= :: VkFilter -> VkFilter -> Bool
$c<= :: VkFilter -> VkFilter -> Bool
< :: VkFilter -> VkFilter -> Bool
$c< :: VkFilter -> VkFilter -> Bool
compare :: VkFilter -> VkFilter -> Ordering
$ccompare :: VkFilter -> VkFilter -> Ordering
Ord, Int -> VkFilter
VkFilter -> Int
VkFilter -> [VkFilter]
VkFilter -> VkFilter
VkFilter -> VkFilter -> [VkFilter]
VkFilter -> VkFilter -> VkFilter -> [VkFilter]
(VkFilter -> VkFilter)
-> (VkFilter -> VkFilter)
-> (Int -> VkFilter)
-> (VkFilter -> Int)
-> (VkFilter -> [VkFilter])
-> (VkFilter -> VkFilter -> [VkFilter])
-> (VkFilter -> VkFilter -> [VkFilter])
-> (VkFilter -> VkFilter -> VkFilter -> [VkFilter])
-> Enum VkFilter
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
enumFromThenTo :: VkFilter -> VkFilter -> VkFilter -> [VkFilter]
$cenumFromThenTo :: VkFilter -> VkFilter -> VkFilter -> [VkFilter]
enumFromTo :: VkFilter -> VkFilter -> [VkFilter]
$cenumFromTo :: VkFilter -> VkFilter -> [VkFilter]
enumFromThen :: VkFilter -> VkFilter -> [VkFilter]
$cenumFromThen :: VkFilter -> VkFilter -> [VkFilter]
enumFrom :: VkFilter -> [VkFilter]
$cenumFrom :: VkFilter -> [VkFilter]
fromEnum :: VkFilter -> Int
$cfromEnum :: VkFilter -> Int
toEnum :: Int -> VkFilter
$ctoEnum :: Int -> VkFilter
pred :: VkFilter -> VkFilter
$cpred :: VkFilter -> VkFilter
succ :: VkFilter -> VkFilter
$csucc :: VkFilter -> VkFilter
Enum, Ptr VkFilter -> IO VkFilter
Ptr VkFilter -> Int -> IO VkFilter
Ptr VkFilter -> Int -> VkFilter -> IO ()
Ptr VkFilter -> VkFilter -> IO ()
VkFilter -> Int
(VkFilter -> Int)
-> (VkFilter -> Int)
-> (Ptr VkFilter -> Int -> IO VkFilter)
-> (Ptr VkFilter -> Int -> VkFilter -> IO ())
-> (forall b. Ptr b -> Int -> IO VkFilter)
-> (forall b. Ptr b -> Int -> VkFilter -> IO ())
-> (Ptr VkFilter -> IO VkFilter)
-> (Ptr VkFilter -> VkFilter -> IO ())
-> Storable VkFilter
forall b. Ptr b -> Int -> IO VkFilter
forall b. Ptr b -> Int -> VkFilter -> 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 VkFilter -> VkFilter -> IO ()
$cpoke :: Ptr VkFilter -> VkFilter -> IO ()
peek :: Ptr VkFilter -> IO VkFilter
$cpeek :: Ptr VkFilter -> IO VkFilter
pokeByteOff :: forall b. Ptr b -> Int -> VkFilter -> IO ()
$cpokeByteOff :: forall b. Ptr b -> Int -> VkFilter -> IO ()
peekByteOff :: forall b. Ptr b -> Int -> IO VkFilter
$cpeekByteOff :: forall b. Ptr b -> Int -> IO VkFilter
pokeElemOff :: Ptr VkFilter -> Int -> VkFilter -> IO ()
$cpokeElemOff :: Ptr VkFilter -> Int -> VkFilter -> IO ()
peekElemOff :: Ptr VkFilter -> Int -> IO VkFilter
$cpeekElemOff :: Ptr VkFilter -> Int -> IO VkFilter
alignment :: VkFilter -> Int
$calignment :: VkFilter -> Int
sizeOf :: VkFilter -> Int
$csizeOf :: VkFilter -> Int
Storable)
instance Show VkFilter where
showsPrec :: Int -> VkFilter -> ShowS
showsPrec Int
_ VkFilter
VK_FILTER_NEAREST = String -> ShowS
showString String
"VK_FILTER_NEAREST"
showsPrec Int
_ VkFilter
VK_FILTER_LINEAR = String -> ShowS
showString String
"VK_FILTER_LINEAR"
showsPrec Int
p (VkFilter Int32
x)
= Bool -> ShowS -> ShowS
showParen (Int
p Int -> Int -> Bool
forall a. Ord a => a -> a -> Bool
>= Int
11) (String -> ShowS
showString String
"VkFilter " ShowS -> ShowS -> ShowS
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Int -> Int32 -> ShowS
forall a. Show a => Int -> a -> ShowS
showsPrec Int
11 Int32
x)
instance Read VkFilter where
readPrec :: ReadPrec VkFilter
readPrec
= ReadPrec VkFilter -> ReadPrec VkFilter
forall a. ReadPrec a -> ReadPrec a
parens
([(String, ReadPrec VkFilter)] -> ReadPrec VkFilter
forall a. [(String, ReadPrec a)] -> ReadPrec a
choose
[(String
"VK_FILTER_NEAREST", VkFilter -> ReadPrec VkFilter
forall (f :: * -> *) a. Applicative f => a -> f a
pure VkFilter
VK_FILTER_NEAREST),
(String
"VK_FILTER_LINEAR", VkFilter -> ReadPrec VkFilter
forall (f :: * -> *) a. Applicative f => a -> f a
pure VkFilter
VK_FILTER_LINEAR)]
ReadPrec VkFilter -> ReadPrec VkFilter -> ReadPrec VkFilter
forall a. ReadPrec a -> ReadPrec a -> ReadPrec a
+++
Int -> ReadPrec VkFilter -> ReadPrec VkFilter
forall a. Int -> ReadPrec a -> ReadPrec a
prec Int
10
(Lexeme -> ReadPrec ()
expectP (String -> Lexeme
Ident String
"VkFilter") ReadPrec () -> ReadPrec VkFilter -> ReadPrec VkFilter
forall (m :: * -> *) a b. Monad m => m a -> m b -> m b
>> (Int32 -> VkFilter
VkFilter (Int32 -> VkFilter) -> ReadPrec Int32 -> ReadPrec VkFilter
forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
<$> ReadPrec Int32 -> ReadPrec Int32
forall a. ReadPrec a -> ReadPrec a
step ReadPrec Int32
forall a. Read a => ReadPrec a
readPrec)))
pattern VK_FILTER_NEAREST :: VkFilter
pattern $bVK_FILTER_NEAREST :: VkFilter
$mVK_FILTER_NEAREST :: forall {r}. VkFilter -> (Void# -> r) -> (Void# -> r) -> r
VK_FILTER_NEAREST = VkFilter 0
pattern VK_FILTER_LINEAR :: VkFilter
pattern $bVK_FILTER_LINEAR :: VkFilter
$mVK_FILTER_LINEAR :: forall {r}. VkFilter -> (Void# -> r) -> (Void# -> r) -> r
VK_FILTER_LINEAR = VkFilter 1