{-# OPTIONS_HADDOCK ignore-exports#-}
{-# LANGUAGE DataKinds                  #-}
{-# LANGUAGE DeriveDataTypeable         #-}
{-# LANGUAGE DeriveGeneric              #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE PatternSynonyms            #-}
{-# LANGUAGE Strict                     #-}
module Graphics.Vulkan.Types.Enum.Filter
       (VkFilter(VkFilter, VK_FILTER_NEAREST, VK_FILTER_LINEAR)) where
import           Data.Data                       (Data)
import           Foreign.Storable                (Storable)
import           GHC.Generics                    (Generic)
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 (..))

-- | type = @enum@
--
--   <https://www.khronos.org/registry/vulkan/specs/1.1-extensions/html/vkspec.html#VkFilter VkFilter registry at www.khronos.org>
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
$cp1Ord :: Eq VkFilter
Ord, Integer -> VkFilter
VkFilter -> VkFilter
VkFilter -> VkFilter -> VkFilter
(VkFilter -> VkFilter -> VkFilter)
-> (VkFilter -> VkFilter -> VkFilter)
-> (VkFilter -> VkFilter -> VkFilter)
-> (VkFilter -> VkFilter)
-> (VkFilter -> VkFilter)
-> (VkFilter -> VkFilter)
-> (Integer -> VkFilter)
-> Num VkFilter
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
fromInteger :: Integer -> VkFilter
$cfromInteger :: Integer -> VkFilter
signum :: VkFilter -> VkFilter
$csignum :: VkFilter -> VkFilter
abs :: VkFilter -> VkFilter
$cabs :: VkFilter -> VkFilter
negate :: VkFilter -> VkFilter
$cnegate :: VkFilter -> VkFilter
* :: VkFilter -> VkFilter -> VkFilter
$c* :: VkFilter -> VkFilter -> VkFilter
- :: VkFilter -> VkFilter -> VkFilter
$c- :: VkFilter -> VkFilter -> VkFilter
+ :: VkFilter -> VkFilter -> VkFilter
$c+ :: VkFilter -> VkFilter -> VkFilter
Num, VkFilter
VkFilter -> VkFilter -> Bounded VkFilter
forall a. a -> a -> Bounded a
maxBound :: VkFilter
$cmaxBound :: VkFilter
minBound :: VkFilter
$cminBound :: VkFilter
Bounded, Ptr b -> Int -> IO VkFilter
Ptr b -> Int -> VkFilter -> IO ()
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 :: Ptr b -> Int -> VkFilter -> IO ()
$cpokeByteOff :: forall b. Ptr b -> Int -> VkFilter -> IO ()
peekByteOff :: 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, 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, Typeable VkFilter
DataType
Constr
Typeable VkFilter
-> (forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> VkFilter -> c VkFilter)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c VkFilter)
-> (VkFilter -> Constr)
-> (VkFilter -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c VkFilter))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VkFilter))
-> ((forall b. Data b => b -> b) -> VkFilter -> VkFilter)
-> (forall r r'.
    (r -> r' -> r)
    -> r -> (forall d. Data d => d -> r') -> VkFilter -> r)
-> (forall r r'.
    (r' -> r -> r)
    -> r -> (forall d. Data d => d -> r') -> VkFilter -> r)
-> (forall u. (forall d. Data d => d -> u) -> VkFilter -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> VkFilter -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter)
-> Data VkFilter
VkFilter -> DataType
VkFilter -> Constr
(forall b. Data b => b -> b) -> VkFilter -> VkFilter
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> VkFilter -> c VkFilter
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c VkFilter
forall a.
Typeable a
-> (forall (c :: * -> *).
    (forall d b. Data d => c (d -> b) -> d -> c b)
    -> (forall g. g -> c g) -> a -> c a)
-> (forall (c :: * -> *).
    (forall b r. Data b => c (b -> r) -> c r)
    -> (forall r. r -> c r) -> Constr -> c a)
-> (a -> Constr)
-> (a -> DataType)
-> (forall (t :: * -> *) (c :: * -> *).
    Typeable t =>
    (forall d. Data d => c (t d)) -> Maybe (c a))
-> (forall (t :: * -> * -> *) (c :: * -> *).
    Typeable t =>
    (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c a))
-> ((forall b. Data b => b -> b) -> a -> a)
-> (forall r r'.
    (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall r r'.
    (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> a -> r)
-> (forall u. (forall d. Data d => d -> u) -> a -> [u])
-> (forall u. Int -> (forall d. Data d => d -> u) -> a -> u)
-> (forall (m :: * -> *).
    Monad m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> (forall (m :: * -> *).
    MonadPlus m =>
    (forall d. Data d => d -> m d) -> a -> m a)
-> Data a
forall u. Int -> (forall d. Data d => d -> u) -> VkFilter -> u
forall u. (forall d. Data d => d -> u) -> VkFilter -> [u]
forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c VkFilter
forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> VkFilter -> c VkFilter
forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c VkFilter)
forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VkFilter)
$cVkFilter :: Constr
$tVkFilter :: DataType
gmapMo :: (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
$cgmapMo :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
gmapMp :: (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
$cgmapMp :: forall (m :: * -> *).
MonadPlus m =>
(forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
gmapM :: (forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
$cgmapM :: forall (m :: * -> *).
Monad m =>
(forall d. Data d => d -> m d) -> VkFilter -> m VkFilter
gmapQi :: Int -> (forall d. Data d => d -> u) -> VkFilter -> u
$cgmapQi :: forall u. Int -> (forall d. Data d => d -> u) -> VkFilter -> u
gmapQ :: (forall d. Data d => d -> u) -> VkFilter -> [u]
$cgmapQ :: forall u. (forall d. Data d => d -> u) -> VkFilter -> [u]
gmapQr :: (r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
$cgmapQr :: forall r r'.
(r' -> r -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
gmapQl :: (r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
$cgmapQl :: forall r r'.
(r -> r' -> r)
-> r -> (forall d. Data d => d -> r') -> VkFilter -> r
gmapT :: (forall b. Data b => b -> b) -> VkFilter -> VkFilter
$cgmapT :: (forall b. Data b => b -> b) -> VkFilter -> VkFilter
dataCast2 :: (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VkFilter)
$cdataCast2 :: forall (t :: * -> * -> *) (c :: * -> *).
Typeable t =>
(forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VkFilter)
dataCast1 :: (forall d. Data d => c (t d)) -> Maybe (c VkFilter)
$cdataCast1 :: forall (t :: * -> *) (c :: * -> *).
Typeable t =>
(forall d. Data d => c (t d)) -> Maybe (c VkFilter)
dataTypeOf :: VkFilter -> DataType
$cdataTypeOf :: VkFilter -> DataType
toConstr :: VkFilter -> Constr
$ctoConstr :: VkFilter -> Constr
gunfold :: (forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c VkFilter
$cgunfold :: forall (c :: * -> *).
(forall b r. Data b => c (b -> r) -> c r)
-> (forall r. r -> c r) -> Constr -> c VkFilter
gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> VkFilter -> c VkFilter
$cgfoldl :: forall (c :: * -> *).
(forall d b. Data d => c (d -> b) -> d -> c b)
-> (forall g. g -> c g) -> VkFilter -> c VkFilter
$cp1Data :: Typeable VkFilter
Data, (forall x. VkFilter -> Rep VkFilter x)
-> (forall x. Rep VkFilter x -> VkFilter) -> Generic VkFilter
forall x. Rep VkFilter x -> VkFilter
forall x. VkFilter -> Rep VkFilter x
forall a.
(forall x. a -> Rep a x) -> (forall x. Rep a x -> a) -> Generic a
$cto :: forall x. Rep VkFilter x -> VkFilter
$cfrom :: forall x. VkFilter -> Rep VkFilter x
Generic)

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