{-# language DerivingStrategies #-}

module SealingType where

import Prelude (Eq, Ord, Enum, Bounded, Show)

data Sealing =
    AllowSealing
      -- ^ File seals can be applied to the file descriptor
  | DoNotAllowSealing
  deriving stock (Sealing -> Sealing -> Bool
(Sealing -> Sealing -> Bool)
-> (Sealing -> Sealing -> Bool) -> Eq Sealing
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
/= :: Sealing -> Sealing -> Bool
$c/= :: Sealing -> Sealing -> Bool
== :: Sealing -> Sealing -> Bool
$c== :: Sealing -> Sealing -> Bool
Eq, Eq Sealing
Eq Sealing
-> (Sealing -> Sealing -> Ordering)
-> (Sealing -> Sealing -> Bool)
-> (Sealing -> Sealing -> Bool)
-> (Sealing -> Sealing -> Bool)
-> (Sealing -> Sealing -> Bool)
-> (Sealing -> Sealing -> Sealing)
-> (Sealing -> Sealing -> Sealing)
-> Ord Sealing
Sealing -> Sealing -> Bool
Sealing -> Sealing -> Ordering
Sealing -> Sealing -> Sealing
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 :: Sealing -> Sealing -> Sealing
$cmin :: Sealing -> Sealing -> Sealing
max :: Sealing -> Sealing -> Sealing
$cmax :: Sealing -> Sealing -> Sealing
>= :: Sealing -> Sealing -> Bool
$c>= :: Sealing -> Sealing -> Bool
> :: Sealing -> Sealing -> Bool
$c> :: Sealing -> Sealing -> Bool
<= :: Sealing -> Sealing -> Bool
$c<= :: Sealing -> Sealing -> Bool
< :: Sealing -> Sealing -> Bool
$c< :: Sealing -> Sealing -> Bool
compare :: Sealing -> Sealing -> Ordering
$ccompare :: Sealing -> Sealing -> Ordering
$cp1Ord :: Eq Sealing
Ord, Int -> Sealing
Sealing -> Int
Sealing -> [Sealing]
Sealing -> Sealing
Sealing -> Sealing -> [Sealing]
Sealing -> Sealing -> Sealing -> [Sealing]
(Sealing -> Sealing)
-> (Sealing -> Sealing)
-> (Int -> Sealing)
-> (Sealing -> Int)
-> (Sealing -> [Sealing])
-> (Sealing -> Sealing -> [Sealing])
-> (Sealing -> Sealing -> [Sealing])
-> (Sealing -> Sealing -> Sealing -> [Sealing])
-> Enum Sealing
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 :: Sealing -> Sealing -> Sealing -> [Sealing]
$cenumFromThenTo :: Sealing -> Sealing -> Sealing -> [Sealing]
enumFromTo :: Sealing -> Sealing -> [Sealing]
$cenumFromTo :: Sealing -> Sealing -> [Sealing]
enumFromThen :: Sealing -> Sealing -> [Sealing]
$cenumFromThen :: Sealing -> Sealing -> [Sealing]
enumFrom :: Sealing -> [Sealing]
$cenumFrom :: Sealing -> [Sealing]
fromEnum :: Sealing -> Int
$cfromEnum :: Sealing -> Int
toEnum :: Int -> Sealing
$ctoEnum :: Int -> Sealing
pred :: Sealing -> Sealing
$cpred :: Sealing -> Sealing
succ :: Sealing -> Sealing
$csucc :: Sealing -> Sealing
Enum, Sealing
Sealing -> Sealing -> Bounded Sealing
forall a. a -> a -> Bounded a
maxBound :: Sealing
$cmaxBound :: Sealing
minBound :: Sealing
$cminBound :: Sealing
Bounded, Int -> Sealing -> ShowS
[Sealing] -> ShowS
Sealing -> String
(Int -> Sealing -> ShowS)
-> (Sealing -> String) -> ([Sealing] -> ShowS) -> Show Sealing
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
showList :: [Sealing] -> ShowS
$cshowList :: [Sealing] -> ShowS
show :: Sealing -> String
$cshow :: Sealing -> String
showsPrec :: Int -> Sealing -> ShowS
$cshowsPrec :: Int -> Sealing -> ShowS
Show)