{-|
Module      : Net.DNSBase.Secalgs
Description : DNSSEC, DANE, and SSHFP algorithm codepoints
Copyright   : (c) Viktor Dukhovni, 2026
License     : BSD-3-Clause
Maintainer  : ietf-dane@dukhovni.org
Stability   : unstable

Small newtype wrappers for the 8-bit algorithm / hash / usage
codepoints scattered across DNSSEC and DNS-based security RR
types: 'DNSKEYAlg' (DNSKEY/RRSIG signature algorithms),
'DSHashAlg' (DS digest algorithms), 'NSEC3HashAlg' (NSEC3
hashes), the three 'DaneUsage' / 'DaneSelector' / 'DaneMtype'
fields of a TLSA record, and 'SshKeyAlgorithm' /
'SshHashType' for SSHFP.  Each carries pattern synonyms for the
registered values; presentations render the names where known
and fall back to the numeric value otherwise.  See the
[IANA DNS Security Algorithm Numbers registry](https://www.iana.org/assignments/dns-sec-alg-numbers/dns-sec-alg-numbers.xhtml)
and the
[DANE TLSA registry](https://www.iana.org/assignments/dane-parameters/dane-parameters.xhtml)
for the full lists.
-}

module Net.DNSBase.Secalgs
    ( DNSKEYAlg
        ( ..
        , KA_RSAMD5
        , KA_DH
        , KA_DSA
        , KA_RSASHA1
        , KA_DSA_NSEC3_SHA1
        , KA_RSASHA1_NSEC3_SHA1
        , KA_RSASHA256
        , KA_RSASHA512
        , KA_ECC_GOST
        , KA_ECDSAP256SHA256
        , KA_ECDSAP384SHA384
        , KA_ED25519
        , KA_ED448
        )
    , DSHashAlg
        ( ..
        , DS_SHA1
        , DS_SHA256
        , DS_GOST94
        , DS_SHA384
        )
    , NSEC3HashAlg
        ( ..
        , N3_SHA1
        )
    -- | [TLSA Certificate Usages](https://tools.ietf.org/html/rfc7218#section-2.1)
    , DaneUsage
        ( ..
        , PKIX_TA
        , PKIX_EE
        , DANE_TA
        , DANE_EE
        , PrivCert
        )
    -- | [TLSA Selectors](https://tools.ietf.org/html/rfc7218#section-2.2)
    , DaneSelector
        ( ..
        , Cert -- ^ Note: as distinct from the @'CERT'@ @RRTYPE@.
        , SPKI
        , PrivSel
        )
    -- | [TLSA Matching Types](https://tools.ietf.org/html/rfc7218#section-2.3)
    , DaneMtype
        ( ..
        , SHA2_256
        , SHA2_512
        , Full
        , PrivMatch
        )
    , SshKeyAlgorithm
        ( SSHKEYRSA
        , SSHKEYDSA
        , SSHKEYECDSA
        , SSHKEYED25519
        , SSHKEYED448
        )
    , SshHashType
        ( SSHSHA2_256
        , SSHSHA2_512
        )
    ) where

import Net.DNSBase.Internal.Present
import Net.DNSBase.Internal.Util


-- | DNSKEY algorithm, displayed as a number
newtype DNSKEYAlg = DNSKEYAlg Word8
    deriving newtype (DNSKEYAlg -> DNSKEYAlg -> Bool
(DNSKEYAlg -> DNSKEYAlg -> Bool)
-> (DNSKEYAlg -> DNSKEYAlg -> Bool) -> Eq DNSKEYAlg
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DNSKEYAlg -> DNSKEYAlg -> Bool
== :: DNSKEYAlg -> DNSKEYAlg -> Bool
$c/= :: DNSKEYAlg -> DNSKEYAlg -> Bool
/= :: DNSKEYAlg -> DNSKEYAlg -> Bool
Eq, Eq DNSKEYAlg
Eq DNSKEYAlg =>
(DNSKEYAlg -> DNSKEYAlg -> Ordering)
-> (DNSKEYAlg -> DNSKEYAlg -> Bool)
-> (DNSKEYAlg -> DNSKEYAlg -> Bool)
-> (DNSKEYAlg -> DNSKEYAlg -> Bool)
-> (DNSKEYAlg -> DNSKEYAlg -> Bool)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> Ord DNSKEYAlg
DNSKEYAlg -> DNSKEYAlg -> Bool
DNSKEYAlg -> DNSKEYAlg -> Ordering
DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
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
$ccompare :: DNSKEYAlg -> DNSKEYAlg -> Ordering
compare :: DNSKEYAlg -> DNSKEYAlg -> Ordering
$c< :: DNSKEYAlg -> DNSKEYAlg -> Bool
< :: DNSKEYAlg -> DNSKEYAlg -> Bool
$c<= :: DNSKEYAlg -> DNSKEYAlg -> Bool
<= :: DNSKEYAlg -> DNSKEYAlg -> Bool
$c> :: DNSKEYAlg -> DNSKEYAlg -> Bool
> :: DNSKEYAlg -> DNSKEYAlg -> Bool
$c>= :: DNSKEYAlg -> DNSKEYAlg -> Bool
>= :: DNSKEYAlg -> DNSKEYAlg -> Bool
$cmax :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
max :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$cmin :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
min :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
Ord, Int -> DNSKEYAlg
DNSKEYAlg -> Int
DNSKEYAlg -> [DNSKEYAlg]
DNSKEYAlg -> DNSKEYAlg
DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
(DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg)
-> (Int -> DNSKEYAlg)
-> (DNSKEYAlg -> Int)
-> (DNSKEYAlg -> [DNSKEYAlg])
-> (DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg])
-> (DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg])
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg])
-> Enum DNSKEYAlg
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: DNSKEYAlg -> DNSKEYAlg
succ :: DNSKEYAlg -> DNSKEYAlg
$cpred :: DNSKEYAlg -> DNSKEYAlg
pred :: DNSKEYAlg -> DNSKEYAlg
$ctoEnum :: Int -> DNSKEYAlg
toEnum :: Int -> DNSKEYAlg
$cfromEnum :: DNSKEYAlg -> Int
fromEnum :: DNSKEYAlg -> Int
$cenumFrom :: DNSKEYAlg -> [DNSKEYAlg]
enumFrom :: DNSKEYAlg -> [DNSKEYAlg]
$cenumFromThen :: DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
enumFromThen :: DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
$cenumFromTo :: DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
enumFromTo :: DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
$cenumFromThenTo :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
enumFromThenTo :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg -> [DNSKEYAlg]
Enum, DNSKEYAlg
DNSKEYAlg -> DNSKEYAlg -> Bounded DNSKEYAlg
forall a. a -> a -> Bounded a
$cminBound :: DNSKEYAlg
minBound :: DNSKEYAlg
$cmaxBound :: DNSKEYAlg
maxBound :: DNSKEYAlg
Bounded, Integer -> DNSKEYAlg
DNSKEYAlg -> DNSKEYAlg
DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
(DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg)
-> (Integer -> DNSKEYAlg)
-> Num DNSKEYAlg
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
+ :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$c- :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
- :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$c* :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
* :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$cnegate :: DNSKEYAlg -> DNSKEYAlg
negate :: DNSKEYAlg -> DNSKEYAlg
$cabs :: DNSKEYAlg -> DNSKEYAlg
abs :: DNSKEYAlg -> DNSKEYAlg
$csignum :: DNSKEYAlg -> DNSKEYAlg
signum :: DNSKEYAlg -> DNSKEYAlg
$cfromInteger :: Integer -> DNSKEYAlg
fromInteger :: Integer -> DNSKEYAlg
Num, Num DNSKEYAlg
Ord DNSKEYAlg
(Num DNSKEYAlg, Ord DNSKEYAlg) =>
(DNSKEYAlg -> Rational) -> Real DNSKEYAlg
DNSKEYAlg -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: DNSKEYAlg -> Rational
toRational :: DNSKEYAlg -> Rational
Real, Enum DNSKEYAlg
Real DNSKEYAlg
(Real DNSKEYAlg, Enum DNSKEYAlg) =>
(DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg)
-> (DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg))
-> (DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg))
-> (DNSKEYAlg -> Integer)
-> Integral DNSKEYAlg
DNSKEYAlg -> Integer
DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg)
DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
quot :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$crem :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
rem :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$cdiv :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
div :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$cmod :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
mod :: DNSKEYAlg -> DNSKEYAlg -> DNSKEYAlg
$cquotRem :: DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg)
quotRem :: DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg)
$cdivMod :: DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg)
divMod :: DNSKEYAlg -> DNSKEYAlg -> (DNSKEYAlg, DNSKEYAlg)
$ctoInteger :: DNSKEYAlg -> Integer
toInteger :: DNSKEYAlg -> Integer
Integral, Int -> DNSKEYAlg -> ShowS
[DNSKEYAlg] -> ShowS
DNSKEYAlg -> String
(Int -> DNSKEYAlg -> ShowS)
-> (DNSKEYAlg -> String)
-> ([DNSKEYAlg] -> ShowS)
-> Show DNSKEYAlg
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DNSKEYAlg -> ShowS
showsPrec :: Int -> DNSKEYAlg -> ShowS
$cshow :: DNSKEYAlg -> String
show :: DNSKEYAlg -> String
$cshowList :: [DNSKEYAlg] -> ShowS
showList :: [DNSKEYAlg] -> ShowS
Show, ReadPrec [DNSKEYAlg]
ReadPrec DNSKEYAlg
Int -> ReadS DNSKEYAlg
ReadS [DNSKEYAlg]
(Int -> ReadS DNSKEYAlg)
-> ReadS [DNSKEYAlg]
-> ReadPrec DNSKEYAlg
-> ReadPrec [DNSKEYAlg]
-> Read DNSKEYAlg
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS DNSKEYAlg
readsPrec :: Int -> ReadS DNSKEYAlg
$creadList :: ReadS [DNSKEYAlg]
readList :: ReadS [DNSKEYAlg]
$creadPrec :: ReadPrec DNSKEYAlg
readPrec :: ReadPrec DNSKEYAlg
$creadListPrec :: ReadPrec [DNSKEYAlg]
readListPrec :: ReadPrec [DNSKEYAlg]
Read)

instance Presentable DNSKEYAlg where
    present :: DNSKEYAlg -> Builder -> Builder
present (DNSKEYAlg Word8
ka) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
ka
    {-# INLINE present #-}

-- | DS Hash algorithm, displayed as a number
newtype DSHashAlg = DSHashAlg Word8
    deriving newtype (DSHashAlg -> DSHashAlg -> Bool
(DSHashAlg -> DSHashAlg -> Bool)
-> (DSHashAlg -> DSHashAlg -> Bool) -> Eq DSHashAlg
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DSHashAlg -> DSHashAlg -> Bool
== :: DSHashAlg -> DSHashAlg -> Bool
$c/= :: DSHashAlg -> DSHashAlg -> Bool
/= :: DSHashAlg -> DSHashAlg -> Bool
Eq, Eq DSHashAlg
Eq DSHashAlg =>
(DSHashAlg -> DSHashAlg -> Ordering)
-> (DSHashAlg -> DSHashAlg -> Bool)
-> (DSHashAlg -> DSHashAlg -> Bool)
-> (DSHashAlg -> DSHashAlg -> Bool)
-> (DSHashAlg -> DSHashAlg -> Bool)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> Ord DSHashAlg
DSHashAlg -> DSHashAlg -> Bool
DSHashAlg -> DSHashAlg -> Ordering
DSHashAlg -> DSHashAlg -> DSHashAlg
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
$ccompare :: DSHashAlg -> DSHashAlg -> Ordering
compare :: DSHashAlg -> DSHashAlg -> Ordering
$c< :: DSHashAlg -> DSHashAlg -> Bool
< :: DSHashAlg -> DSHashAlg -> Bool
$c<= :: DSHashAlg -> DSHashAlg -> Bool
<= :: DSHashAlg -> DSHashAlg -> Bool
$c> :: DSHashAlg -> DSHashAlg -> Bool
> :: DSHashAlg -> DSHashAlg -> Bool
$c>= :: DSHashAlg -> DSHashAlg -> Bool
>= :: DSHashAlg -> DSHashAlg -> Bool
$cmax :: DSHashAlg -> DSHashAlg -> DSHashAlg
max :: DSHashAlg -> DSHashAlg -> DSHashAlg
$cmin :: DSHashAlg -> DSHashAlg -> DSHashAlg
min :: DSHashAlg -> DSHashAlg -> DSHashAlg
Ord, Int -> DSHashAlg
DSHashAlg -> Int
DSHashAlg -> [DSHashAlg]
DSHashAlg -> DSHashAlg
DSHashAlg -> DSHashAlg -> [DSHashAlg]
DSHashAlg -> DSHashAlg -> DSHashAlg -> [DSHashAlg]
(DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg)
-> (Int -> DSHashAlg)
-> (DSHashAlg -> Int)
-> (DSHashAlg -> [DSHashAlg])
-> (DSHashAlg -> DSHashAlg -> [DSHashAlg])
-> (DSHashAlg -> DSHashAlg -> [DSHashAlg])
-> (DSHashAlg -> DSHashAlg -> DSHashAlg -> [DSHashAlg])
-> Enum DSHashAlg
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: DSHashAlg -> DSHashAlg
succ :: DSHashAlg -> DSHashAlg
$cpred :: DSHashAlg -> DSHashAlg
pred :: DSHashAlg -> DSHashAlg
$ctoEnum :: Int -> DSHashAlg
toEnum :: Int -> DSHashAlg
$cfromEnum :: DSHashAlg -> Int
fromEnum :: DSHashAlg -> Int
$cenumFrom :: DSHashAlg -> [DSHashAlg]
enumFrom :: DSHashAlg -> [DSHashAlg]
$cenumFromThen :: DSHashAlg -> DSHashAlg -> [DSHashAlg]
enumFromThen :: DSHashAlg -> DSHashAlg -> [DSHashAlg]
$cenumFromTo :: DSHashAlg -> DSHashAlg -> [DSHashAlg]
enumFromTo :: DSHashAlg -> DSHashAlg -> [DSHashAlg]
$cenumFromThenTo :: DSHashAlg -> DSHashAlg -> DSHashAlg -> [DSHashAlg]
enumFromThenTo :: DSHashAlg -> DSHashAlg -> DSHashAlg -> [DSHashAlg]
Enum, DSHashAlg
DSHashAlg -> DSHashAlg -> Bounded DSHashAlg
forall a. a -> a -> Bounded a
$cminBound :: DSHashAlg
minBound :: DSHashAlg
$cmaxBound :: DSHashAlg
maxBound :: DSHashAlg
Bounded, Integer -> DSHashAlg
DSHashAlg -> DSHashAlg
DSHashAlg -> DSHashAlg -> DSHashAlg
(DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg)
-> (Integer -> DSHashAlg)
-> Num DSHashAlg
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: DSHashAlg -> DSHashAlg -> DSHashAlg
+ :: DSHashAlg -> DSHashAlg -> DSHashAlg
$c- :: DSHashAlg -> DSHashAlg -> DSHashAlg
- :: DSHashAlg -> DSHashAlg -> DSHashAlg
$c* :: DSHashAlg -> DSHashAlg -> DSHashAlg
* :: DSHashAlg -> DSHashAlg -> DSHashAlg
$cnegate :: DSHashAlg -> DSHashAlg
negate :: DSHashAlg -> DSHashAlg
$cabs :: DSHashAlg -> DSHashAlg
abs :: DSHashAlg -> DSHashAlg
$csignum :: DSHashAlg -> DSHashAlg
signum :: DSHashAlg -> DSHashAlg
$cfromInteger :: Integer -> DSHashAlg
fromInteger :: Integer -> DSHashAlg
Num, Num DSHashAlg
Ord DSHashAlg
(Num DSHashAlg, Ord DSHashAlg) =>
(DSHashAlg -> Rational) -> Real DSHashAlg
DSHashAlg -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: DSHashAlg -> Rational
toRational :: DSHashAlg -> Rational
Real, Enum DSHashAlg
Real DSHashAlg
(Real DSHashAlg, Enum DSHashAlg) =>
(DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> DSHashAlg)
-> (DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg))
-> (DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg))
-> (DSHashAlg -> Integer)
-> Integral DSHashAlg
DSHashAlg -> Integer
DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg)
DSHashAlg -> DSHashAlg -> DSHashAlg
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: DSHashAlg -> DSHashAlg -> DSHashAlg
quot :: DSHashAlg -> DSHashAlg -> DSHashAlg
$crem :: DSHashAlg -> DSHashAlg -> DSHashAlg
rem :: DSHashAlg -> DSHashAlg -> DSHashAlg
$cdiv :: DSHashAlg -> DSHashAlg -> DSHashAlg
div :: DSHashAlg -> DSHashAlg -> DSHashAlg
$cmod :: DSHashAlg -> DSHashAlg -> DSHashAlg
mod :: DSHashAlg -> DSHashAlg -> DSHashAlg
$cquotRem :: DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg)
quotRem :: DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg)
$cdivMod :: DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg)
divMod :: DSHashAlg -> DSHashAlg -> (DSHashAlg, DSHashAlg)
$ctoInteger :: DSHashAlg -> Integer
toInteger :: DSHashAlg -> Integer
Integral, Int -> DSHashAlg -> ShowS
[DSHashAlg] -> ShowS
DSHashAlg -> String
(Int -> DSHashAlg -> ShowS)
-> (DSHashAlg -> String)
-> ([DSHashAlg] -> ShowS)
-> Show DSHashAlg
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DSHashAlg -> ShowS
showsPrec :: Int -> DSHashAlg -> ShowS
$cshow :: DSHashAlg -> String
show :: DSHashAlg -> String
$cshowList :: [DSHashAlg] -> ShowS
showList :: [DSHashAlg] -> ShowS
Show, ReadPrec [DSHashAlg]
ReadPrec DSHashAlg
Int -> ReadS DSHashAlg
ReadS [DSHashAlg]
(Int -> ReadS DSHashAlg)
-> ReadS [DSHashAlg]
-> ReadPrec DSHashAlg
-> ReadPrec [DSHashAlg]
-> Read DSHashAlg
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS DSHashAlg
readsPrec :: Int -> ReadS DSHashAlg
$creadList :: ReadS [DSHashAlg]
readList :: ReadS [DSHashAlg]
$creadPrec :: ReadPrec DSHashAlg
readPrec :: ReadPrec DSHashAlg
$creadListPrec :: ReadPrec [DSHashAlg]
readListPrec :: ReadPrec [DSHashAlg]
Read)

instance Presentable DSHashAlg where
    present :: DSHashAlg -> Builder -> Builder
present (DSHashAlg Word8
ha) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
ha
    {-# INLINE present #-}

-- | NSEC3 Hash algorithm, displayed as a number
newtype NSEC3HashAlg = NSEC3HashAlg Word8
    deriving newtype (NSEC3HashAlg -> NSEC3HashAlg -> Bool
(NSEC3HashAlg -> NSEC3HashAlg -> Bool)
-> (NSEC3HashAlg -> NSEC3HashAlg -> Bool) -> Eq NSEC3HashAlg
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
== :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
$c/= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
/= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
Eq, Eq NSEC3HashAlg
Eq NSEC3HashAlg =>
(NSEC3HashAlg -> NSEC3HashAlg -> Ordering)
-> (NSEC3HashAlg -> NSEC3HashAlg -> Bool)
-> (NSEC3HashAlg -> NSEC3HashAlg -> Bool)
-> (NSEC3HashAlg -> NSEC3HashAlg -> Bool)
-> (NSEC3HashAlg -> NSEC3HashAlg -> Bool)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> Ord NSEC3HashAlg
NSEC3HashAlg -> NSEC3HashAlg -> Bool
NSEC3HashAlg -> NSEC3HashAlg -> Ordering
NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
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
$ccompare :: NSEC3HashAlg -> NSEC3HashAlg -> Ordering
compare :: NSEC3HashAlg -> NSEC3HashAlg -> Ordering
$c< :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
< :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
$c<= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
<= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
$c> :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
> :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
$c>= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
>= :: NSEC3HashAlg -> NSEC3HashAlg -> Bool
$cmax :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
max :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$cmin :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
min :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
Ord, Int -> NSEC3HashAlg
NSEC3HashAlg -> Int
NSEC3HashAlg -> [NSEC3HashAlg]
NSEC3HashAlg -> NSEC3HashAlg
NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
(NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg)
-> (Int -> NSEC3HashAlg)
-> (NSEC3HashAlg -> Int)
-> (NSEC3HashAlg -> [NSEC3HashAlg])
-> (NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg])
-> (NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg])
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg])
-> Enum NSEC3HashAlg
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: NSEC3HashAlg -> NSEC3HashAlg
succ :: NSEC3HashAlg -> NSEC3HashAlg
$cpred :: NSEC3HashAlg -> NSEC3HashAlg
pred :: NSEC3HashAlg -> NSEC3HashAlg
$ctoEnum :: Int -> NSEC3HashAlg
toEnum :: Int -> NSEC3HashAlg
$cfromEnum :: NSEC3HashAlg -> Int
fromEnum :: NSEC3HashAlg -> Int
$cenumFrom :: NSEC3HashAlg -> [NSEC3HashAlg]
enumFrom :: NSEC3HashAlg -> [NSEC3HashAlg]
$cenumFromThen :: NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
enumFromThen :: NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
$cenumFromTo :: NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
enumFromTo :: NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
$cenumFromThenTo :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
enumFromThenTo :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg -> [NSEC3HashAlg]
Enum, NSEC3HashAlg
NSEC3HashAlg -> NSEC3HashAlg -> Bounded NSEC3HashAlg
forall a. a -> a -> Bounded a
$cminBound :: NSEC3HashAlg
minBound :: NSEC3HashAlg
$cmaxBound :: NSEC3HashAlg
maxBound :: NSEC3HashAlg
Bounded, Integer -> NSEC3HashAlg
NSEC3HashAlg -> NSEC3HashAlg
NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
(NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg)
-> (Integer -> NSEC3HashAlg)
-> Num NSEC3HashAlg
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
+ :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$c- :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
- :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$c* :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
* :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$cnegate :: NSEC3HashAlg -> NSEC3HashAlg
negate :: NSEC3HashAlg -> NSEC3HashAlg
$cabs :: NSEC3HashAlg -> NSEC3HashAlg
abs :: NSEC3HashAlg -> NSEC3HashAlg
$csignum :: NSEC3HashAlg -> NSEC3HashAlg
signum :: NSEC3HashAlg -> NSEC3HashAlg
$cfromInteger :: Integer -> NSEC3HashAlg
fromInteger :: Integer -> NSEC3HashAlg
Num, Num NSEC3HashAlg
Ord NSEC3HashAlg
(Num NSEC3HashAlg, Ord NSEC3HashAlg) =>
(NSEC3HashAlg -> Rational) -> Real NSEC3HashAlg
NSEC3HashAlg -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: NSEC3HashAlg -> Rational
toRational :: NSEC3HashAlg -> Rational
Real, Enum NSEC3HashAlg
Real NSEC3HashAlg
(Real NSEC3HashAlg, Enum NSEC3HashAlg) =>
(NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg)
-> (NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg))
-> (NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg))
-> (NSEC3HashAlg -> Integer)
-> Integral NSEC3HashAlg
NSEC3HashAlg -> Integer
NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg)
NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
quot :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$crem :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
rem :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$cdiv :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
div :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$cmod :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
mod :: NSEC3HashAlg -> NSEC3HashAlg -> NSEC3HashAlg
$cquotRem :: NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg)
quotRem :: NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg)
$cdivMod :: NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg)
divMod :: NSEC3HashAlg -> NSEC3HashAlg -> (NSEC3HashAlg, NSEC3HashAlg)
$ctoInteger :: NSEC3HashAlg -> Integer
toInteger :: NSEC3HashAlg -> Integer
Integral, Int -> NSEC3HashAlg -> ShowS
[NSEC3HashAlg] -> ShowS
NSEC3HashAlg -> String
(Int -> NSEC3HashAlg -> ShowS)
-> (NSEC3HashAlg -> String)
-> ([NSEC3HashAlg] -> ShowS)
-> Show NSEC3HashAlg
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> NSEC3HashAlg -> ShowS
showsPrec :: Int -> NSEC3HashAlg -> ShowS
$cshow :: NSEC3HashAlg -> String
show :: NSEC3HashAlg -> String
$cshowList :: [NSEC3HashAlg] -> ShowS
showList :: [NSEC3HashAlg] -> ShowS
Show, ReadPrec [NSEC3HashAlg]
ReadPrec NSEC3HashAlg
Int -> ReadS NSEC3HashAlg
ReadS [NSEC3HashAlg]
(Int -> ReadS NSEC3HashAlg)
-> ReadS [NSEC3HashAlg]
-> ReadPrec NSEC3HashAlg
-> ReadPrec [NSEC3HashAlg]
-> Read NSEC3HashAlg
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS NSEC3HashAlg
readsPrec :: Int -> ReadS NSEC3HashAlg
$creadList :: ReadS [NSEC3HashAlg]
readList :: ReadS [NSEC3HashAlg]
$creadPrec :: ReadPrec NSEC3HashAlg
readPrec :: ReadPrec NSEC3HashAlg
$creadListPrec :: ReadPrec [NSEC3HashAlg]
readListPrec :: ReadPrec [NSEC3HashAlg]
Read)

instance Presentable NSEC3HashAlg where
    present :: NSEC3HashAlg -> Builder -> Builder
present (NSEC3HashAlg Word8
na) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
na
    {-# INLINE present #-}

-- | TLSA certificate usages, displayed as a number
newtype DaneUsage = DaneUsage Word8
    deriving newtype (DaneUsage -> DaneUsage -> Bool
(DaneUsage -> DaneUsage -> Bool)
-> (DaneUsage -> DaneUsage -> Bool) -> Eq DaneUsage
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DaneUsage -> DaneUsage -> Bool
== :: DaneUsage -> DaneUsage -> Bool
$c/= :: DaneUsage -> DaneUsage -> Bool
/= :: DaneUsage -> DaneUsage -> Bool
Eq, Eq DaneUsage
Eq DaneUsage =>
(DaneUsage -> DaneUsage -> Ordering)
-> (DaneUsage -> DaneUsage -> Bool)
-> (DaneUsage -> DaneUsage -> Bool)
-> (DaneUsage -> DaneUsage -> Bool)
-> (DaneUsage -> DaneUsage -> Bool)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> Ord DaneUsage
DaneUsage -> DaneUsage -> Bool
DaneUsage -> DaneUsage -> Ordering
DaneUsage -> DaneUsage -> DaneUsage
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
$ccompare :: DaneUsage -> DaneUsage -> Ordering
compare :: DaneUsage -> DaneUsage -> Ordering
$c< :: DaneUsage -> DaneUsage -> Bool
< :: DaneUsage -> DaneUsage -> Bool
$c<= :: DaneUsage -> DaneUsage -> Bool
<= :: DaneUsage -> DaneUsage -> Bool
$c> :: DaneUsage -> DaneUsage -> Bool
> :: DaneUsage -> DaneUsage -> Bool
$c>= :: DaneUsage -> DaneUsage -> Bool
>= :: DaneUsage -> DaneUsage -> Bool
$cmax :: DaneUsage -> DaneUsage -> DaneUsage
max :: DaneUsage -> DaneUsage -> DaneUsage
$cmin :: DaneUsage -> DaneUsage -> DaneUsage
min :: DaneUsage -> DaneUsage -> DaneUsage
Ord, Int -> DaneUsage
DaneUsage -> Int
DaneUsage -> [DaneUsage]
DaneUsage -> DaneUsage
DaneUsage -> DaneUsage -> [DaneUsage]
DaneUsage -> DaneUsage -> DaneUsage -> [DaneUsage]
(DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage)
-> (Int -> DaneUsage)
-> (DaneUsage -> Int)
-> (DaneUsage -> [DaneUsage])
-> (DaneUsage -> DaneUsage -> [DaneUsage])
-> (DaneUsage -> DaneUsage -> [DaneUsage])
-> (DaneUsage -> DaneUsage -> DaneUsage -> [DaneUsage])
-> Enum DaneUsage
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: DaneUsage -> DaneUsage
succ :: DaneUsage -> DaneUsage
$cpred :: DaneUsage -> DaneUsage
pred :: DaneUsage -> DaneUsage
$ctoEnum :: Int -> DaneUsage
toEnum :: Int -> DaneUsage
$cfromEnum :: DaneUsage -> Int
fromEnum :: DaneUsage -> Int
$cenumFrom :: DaneUsage -> [DaneUsage]
enumFrom :: DaneUsage -> [DaneUsage]
$cenumFromThen :: DaneUsage -> DaneUsage -> [DaneUsage]
enumFromThen :: DaneUsage -> DaneUsage -> [DaneUsage]
$cenumFromTo :: DaneUsage -> DaneUsage -> [DaneUsage]
enumFromTo :: DaneUsage -> DaneUsage -> [DaneUsage]
$cenumFromThenTo :: DaneUsage -> DaneUsage -> DaneUsage -> [DaneUsage]
enumFromThenTo :: DaneUsage -> DaneUsage -> DaneUsage -> [DaneUsage]
Enum, DaneUsage
DaneUsage -> DaneUsage -> Bounded DaneUsage
forall a. a -> a -> Bounded a
$cminBound :: DaneUsage
minBound :: DaneUsage
$cmaxBound :: DaneUsage
maxBound :: DaneUsage
Bounded, Integer -> DaneUsage
DaneUsage -> DaneUsage
DaneUsage -> DaneUsage -> DaneUsage
(DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage)
-> (Integer -> DaneUsage)
-> Num DaneUsage
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: DaneUsage -> DaneUsage -> DaneUsage
+ :: DaneUsage -> DaneUsage -> DaneUsage
$c- :: DaneUsage -> DaneUsage -> DaneUsage
- :: DaneUsage -> DaneUsage -> DaneUsage
$c* :: DaneUsage -> DaneUsage -> DaneUsage
* :: DaneUsage -> DaneUsage -> DaneUsage
$cnegate :: DaneUsage -> DaneUsage
negate :: DaneUsage -> DaneUsage
$cabs :: DaneUsage -> DaneUsage
abs :: DaneUsage -> DaneUsage
$csignum :: DaneUsage -> DaneUsage
signum :: DaneUsage -> DaneUsage
$cfromInteger :: Integer -> DaneUsage
fromInteger :: Integer -> DaneUsage
Num, Num DaneUsage
Ord DaneUsage
(Num DaneUsage, Ord DaneUsage) =>
(DaneUsage -> Rational) -> Real DaneUsage
DaneUsage -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: DaneUsage -> Rational
toRational :: DaneUsage -> Rational
Real, Enum DaneUsage
Real DaneUsage
(Real DaneUsage, Enum DaneUsage) =>
(DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> DaneUsage)
-> (DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage))
-> (DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage))
-> (DaneUsage -> Integer)
-> Integral DaneUsage
DaneUsage -> Integer
DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage)
DaneUsage -> DaneUsage -> DaneUsage
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: DaneUsage -> DaneUsage -> DaneUsage
quot :: DaneUsage -> DaneUsage -> DaneUsage
$crem :: DaneUsage -> DaneUsage -> DaneUsage
rem :: DaneUsage -> DaneUsage -> DaneUsage
$cdiv :: DaneUsage -> DaneUsage -> DaneUsage
div :: DaneUsage -> DaneUsage -> DaneUsage
$cmod :: DaneUsage -> DaneUsage -> DaneUsage
mod :: DaneUsage -> DaneUsage -> DaneUsage
$cquotRem :: DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage)
quotRem :: DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage)
$cdivMod :: DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage)
divMod :: DaneUsage -> DaneUsage -> (DaneUsage, DaneUsage)
$ctoInteger :: DaneUsage -> Integer
toInteger :: DaneUsage -> Integer
Integral, Int -> DaneUsage -> ShowS
[DaneUsage] -> ShowS
DaneUsage -> String
(Int -> DaneUsage -> ShowS)
-> (DaneUsage -> String)
-> ([DaneUsage] -> ShowS)
-> Show DaneUsage
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DaneUsage -> ShowS
showsPrec :: Int -> DaneUsage -> ShowS
$cshow :: DaneUsage -> String
show :: DaneUsage -> String
$cshowList :: [DaneUsage] -> ShowS
showList :: [DaneUsage] -> ShowS
Show, ReadPrec [DaneUsage]
ReadPrec DaneUsage
Int -> ReadS DaneUsage
ReadS [DaneUsage]
(Int -> ReadS DaneUsage)
-> ReadS [DaneUsage]
-> ReadPrec DaneUsage
-> ReadPrec [DaneUsage]
-> Read DaneUsage
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS DaneUsage
readsPrec :: Int -> ReadS DaneUsage
$creadList :: ReadS [DaneUsage]
readList :: ReadS [DaneUsage]
$creadPrec :: ReadPrec DaneUsage
readPrec :: ReadPrec DaneUsage
$creadListPrec :: ReadPrec [DaneUsage]
readListPrec :: ReadPrec [DaneUsage]
Read)

instance Presentable DaneUsage where
    present :: DaneUsage -> Builder -> Builder
present (DaneUsage Word8
u) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
u
    {-# INLINE present #-}

-- | TLSA selectors, displayed as a number
newtype DaneSelector = DaneSelector Word8
    deriving newtype (DaneSelector -> DaneSelector -> Bool
(DaneSelector -> DaneSelector -> Bool)
-> (DaneSelector -> DaneSelector -> Bool) -> Eq DaneSelector
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DaneSelector -> DaneSelector -> Bool
== :: DaneSelector -> DaneSelector -> Bool
$c/= :: DaneSelector -> DaneSelector -> Bool
/= :: DaneSelector -> DaneSelector -> Bool
Eq, Eq DaneSelector
Eq DaneSelector =>
(DaneSelector -> DaneSelector -> Ordering)
-> (DaneSelector -> DaneSelector -> Bool)
-> (DaneSelector -> DaneSelector -> Bool)
-> (DaneSelector -> DaneSelector -> Bool)
-> (DaneSelector -> DaneSelector -> Bool)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> Ord DaneSelector
DaneSelector -> DaneSelector -> Bool
DaneSelector -> DaneSelector -> Ordering
DaneSelector -> DaneSelector -> DaneSelector
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
$ccompare :: DaneSelector -> DaneSelector -> Ordering
compare :: DaneSelector -> DaneSelector -> Ordering
$c< :: DaneSelector -> DaneSelector -> Bool
< :: DaneSelector -> DaneSelector -> Bool
$c<= :: DaneSelector -> DaneSelector -> Bool
<= :: DaneSelector -> DaneSelector -> Bool
$c> :: DaneSelector -> DaneSelector -> Bool
> :: DaneSelector -> DaneSelector -> Bool
$c>= :: DaneSelector -> DaneSelector -> Bool
>= :: DaneSelector -> DaneSelector -> Bool
$cmax :: DaneSelector -> DaneSelector -> DaneSelector
max :: DaneSelector -> DaneSelector -> DaneSelector
$cmin :: DaneSelector -> DaneSelector -> DaneSelector
min :: DaneSelector -> DaneSelector -> DaneSelector
Ord, Int -> DaneSelector
DaneSelector -> Int
DaneSelector -> [DaneSelector]
DaneSelector -> DaneSelector
DaneSelector -> DaneSelector -> [DaneSelector]
DaneSelector -> DaneSelector -> DaneSelector -> [DaneSelector]
(DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector)
-> (Int -> DaneSelector)
-> (DaneSelector -> Int)
-> (DaneSelector -> [DaneSelector])
-> (DaneSelector -> DaneSelector -> [DaneSelector])
-> (DaneSelector -> DaneSelector -> [DaneSelector])
-> (DaneSelector -> DaneSelector -> DaneSelector -> [DaneSelector])
-> Enum DaneSelector
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: DaneSelector -> DaneSelector
succ :: DaneSelector -> DaneSelector
$cpred :: DaneSelector -> DaneSelector
pred :: DaneSelector -> DaneSelector
$ctoEnum :: Int -> DaneSelector
toEnum :: Int -> DaneSelector
$cfromEnum :: DaneSelector -> Int
fromEnum :: DaneSelector -> Int
$cenumFrom :: DaneSelector -> [DaneSelector]
enumFrom :: DaneSelector -> [DaneSelector]
$cenumFromThen :: DaneSelector -> DaneSelector -> [DaneSelector]
enumFromThen :: DaneSelector -> DaneSelector -> [DaneSelector]
$cenumFromTo :: DaneSelector -> DaneSelector -> [DaneSelector]
enumFromTo :: DaneSelector -> DaneSelector -> [DaneSelector]
$cenumFromThenTo :: DaneSelector -> DaneSelector -> DaneSelector -> [DaneSelector]
enumFromThenTo :: DaneSelector -> DaneSelector -> DaneSelector -> [DaneSelector]
Enum, DaneSelector
DaneSelector -> DaneSelector -> Bounded DaneSelector
forall a. a -> a -> Bounded a
$cminBound :: DaneSelector
minBound :: DaneSelector
$cmaxBound :: DaneSelector
maxBound :: DaneSelector
Bounded, Integer -> DaneSelector
DaneSelector -> DaneSelector
DaneSelector -> DaneSelector -> DaneSelector
(DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector)
-> (Integer -> DaneSelector)
-> Num DaneSelector
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: DaneSelector -> DaneSelector -> DaneSelector
+ :: DaneSelector -> DaneSelector -> DaneSelector
$c- :: DaneSelector -> DaneSelector -> DaneSelector
- :: DaneSelector -> DaneSelector -> DaneSelector
$c* :: DaneSelector -> DaneSelector -> DaneSelector
* :: DaneSelector -> DaneSelector -> DaneSelector
$cnegate :: DaneSelector -> DaneSelector
negate :: DaneSelector -> DaneSelector
$cabs :: DaneSelector -> DaneSelector
abs :: DaneSelector -> DaneSelector
$csignum :: DaneSelector -> DaneSelector
signum :: DaneSelector -> DaneSelector
$cfromInteger :: Integer -> DaneSelector
fromInteger :: Integer -> DaneSelector
Num, Num DaneSelector
Ord DaneSelector
(Num DaneSelector, Ord DaneSelector) =>
(DaneSelector -> Rational) -> Real DaneSelector
DaneSelector -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: DaneSelector -> Rational
toRational :: DaneSelector -> Rational
Real, Enum DaneSelector
Real DaneSelector
(Real DaneSelector, Enum DaneSelector) =>
(DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> DaneSelector)
-> (DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector))
-> (DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector))
-> (DaneSelector -> Integer)
-> Integral DaneSelector
DaneSelector -> Integer
DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector)
DaneSelector -> DaneSelector -> DaneSelector
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: DaneSelector -> DaneSelector -> DaneSelector
quot :: DaneSelector -> DaneSelector -> DaneSelector
$crem :: DaneSelector -> DaneSelector -> DaneSelector
rem :: DaneSelector -> DaneSelector -> DaneSelector
$cdiv :: DaneSelector -> DaneSelector -> DaneSelector
div :: DaneSelector -> DaneSelector -> DaneSelector
$cmod :: DaneSelector -> DaneSelector -> DaneSelector
mod :: DaneSelector -> DaneSelector -> DaneSelector
$cquotRem :: DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector)
quotRem :: DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector)
$cdivMod :: DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector)
divMod :: DaneSelector -> DaneSelector -> (DaneSelector, DaneSelector)
$ctoInteger :: DaneSelector -> Integer
toInteger :: DaneSelector -> Integer
Integral, Int -> DaneSelector -> ShowS
[DaneSelector] -> ShowS
DaneSelector -> String
(Int -> DaneSelector -> ShowS)
-> (DaneSelector -> String)
-> ([DaneSelector] -> ShowS)
-> Show DaneSelector
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DaneSelector -> ShowS
showsPrec :: Int -> DaneSelector -> ShowS
$cshow :: DaneSelector -> String
show :: DaneSelector -> String
$cshowList :: [DaneSelector] -> ShowS
showList :: [DaneSelector] -> ShowS
Show, ReadPrec [DaneSelector]
ReadPrec DaneSelector
Int -> ReadS DaneSelector
ReadS [DaneSelector]
(Int -> ReadS DaneSelector)
-> ReadS [DaneSelector]
-> ReadPrec DaneSelector
-> ReadPrec [DaneSelector]
-> Read DaneSelector
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS DaneSelector
readsPrec :: Int -> ReadS DaneSelector
$creadList :: ReadS [DaneSelector]
readList :: ReadS [DaneSelector]
$creadPrec :: ReadPrec DaneSelector
readPrec :: ReadPrec DaneSelector
$creadListPrec :: ReadPrec [DaneSelector]
readListPrec :: ReadPrec [DaneSelector]
Read)

instance Presentable DaneSelector where
    present :: DaneSelector -> Builder -> Builder
present (DaneSelector Word8
s) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
s
    {-# INLINE present #-}

-- | TLSA matching types, displayed as a number
newtype DaneMtype = DaneMtype Word8
    deriving newtype (DaneMtype -> DaneMtype -> Bool
(DaneMtype -> DaneMtype -> Bool)
-> (DaneMtype -> DaneMtype -> Bool) -> Eq DaneMtype
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: DaneMtype -> DaneMtype -> Bool
== :: DaneMtype -> DaneMtype -> Bool
$c/= :: DaneMtype -> DaneMtype -> Bool
/= :: DaneMtype -> DaneMtype -> Bool
Eq, Eq DaneMtype
Eq DaneMtype =>
(DaneMtype -> DaneMtype -> Ordering)
-> (DaneMtype -> DaneMtype -> Bool)
-> (DaneMtype -> DaneMtype -> Bool)
-> (DaneMtype -> DaneMtype -> Bool)
-> (DaneMtype -> DaneMtype -> Bool)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> Ord DaneMtype
DaneMtype -> DaneMtype -> Bool
DaneMtype -> DaneMtype -> Ordering
DaneMtype -> DaneMtype -> DaneMtype
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
$ccompare :: DaneMtype -> DaneMtype -> Ordering
compare :: DaneMtype -> DaneMtype -> Ordering
$c< :: DaneMtype -> DaneMtype -> Bool
< :: DaneMtype -> DaneMtype -> Bool
$c<= :: DaneMtype -> DaneMtype -> Bool
<= :: DaneMtype -> DaneMtype -> Bool
$c> :: DaneMtype -> DaneMtype -> Bool
> :: DaneMtype -> DaneMtype -> Bool
$c>= :: DaneMtype -> DaneMtype -> Bool
>= :: DaneMtype -> DaneMtype -> Bool
$cmax :: DaneMtype -> DaneMtype -> DaneMtype
max :: DaneMtype -> DaneMtype -> DaneMtype
$cmin :: DaneMtype -> DaneMtype -> DaneMtype
min :: DaneMtype -> DaneMtype -> DaneMtype
Ord, Int -> DaneMtype
DaneMtype -> Int
DaneMtype -> [DaneMtype]
DaneMtype -> DaneMtype
DaneMtype -> DaneMtype -> [DaneMtype]
DaneMtype -> DaneMtype -> DaneMtype -> [DaneMtype]
(DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype)
-> (Int -> DaneMtype)
-> (DaneMtype -> Int)
-> (DaneMtype -> [DaneMtype])
-> (DaneMtype -> DaneMtype -> [DaneMtype])
-> (DaneMtype -> DaneMtype -> [DaneMtype])
-> (DaneMtype -> DaneMtype -> DaneMtype -> [DaneMtype])
-> Enum DaneMtype
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: DaneMtype -> DaneMtype
succ :: DaneMtype -> DaneMtype
$cpred :: DaneMtype -> DaneMtype
pred :: DaneMtype -> DaneMtype
$ctoEnum :: Int -> DaneMtype
toEnum :: Int -> DaneMtype
$cfromEnum :: DaneMtype -> Int
fromEnum :: DaneMtype -> Int
$cenumFrom :: DaneMtype -> [DaneMtype]
enumFrom :: DaneMtype -> [DaneMtype]
$cenumFromThen :: DaneMtype -> DaneMtype -> [DaneMtype]
enumFromThen :: DaneMtype -> DaneMtype -> [DaneMtype]
$cenumFromTo :: DaneMtype -> DaneMtype -> [DaneMtype]
enumFromTo :: DaneMtype -> DaneMtype -> [DaneMtype]
$cenumFromThenTo :: DaneMtype -> DaneMtype -> DaneMtype -> [DaneMtype]
enumFromThenTo :: DaneMtype -> DaneMtype -> DaneMtype -> [DaneMtype]
Enum, DaneMtype
DaneMtype -> DaneMtype -> Bounded DaneMtype
forall a. a -> a -> Bounded a
$cminBound :: DaneMtype
minBound :: DaneMtype
$cmaxBound :: DaneMtype
maxBound :: DaneMtype
Bounded, Integer -> DaneMtype
DaneMtype -> DaneMtype
DaneMtype -> DaneMtype -> DaneMtype
(DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype)
-> (Integer -> DaneMtype)
-> Num DaneMtype
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: DaneMtype -> DaneMtype -> DaneMtype
+ :: DaneMtype -> DaneMtype -> DaneMtype
$c- :: DaneMtype -> DaneMtype -> DaneMtype
- :: DaneMtype -> DaneMtype -> DaneMtype
$c* :: DaneMtype -> DaneMtype -> DaneMtype
* :: DaneMtype -> DaneMtype -> DaneMtype
$cnegate :: DaneMtype -> DaneMtype
negate :: DaneMtype -> DaneMtype
$cabs :: DaneMtype -> DaneMtype
abs :: DaneMtype -> DaneMtype
$csignum :: DaneMtype -> DaneMtype
signum :: DaneMtype -> DaneMtype
$cfromInteger :: Integer -> DaneMtype
fromInteger :: Integer -> DaneMtype
Num, Num DaneMtype
Ord DaneMtype
(Num DaneMtype, Ord DaneMtype) =>
(DaneMtype -> Rational) -> Real DaneMtype
DaneMtype -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: DaneMtype -> Rational
toRational :: DaneMtype -> Rational
Real, Enum DaneMtype
Real DaneMtype
(Real DaneMtype, Enum DaneMtype) =>
(DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> DaneMtype)
-> (DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype))
-> (DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype))
-> (DaneMtype -> Integer)
-> Integral DaneMtype
DaneMtype -> Integer
DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype)
DaneMtype -> DaneMtype -> DaneMtype
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: DaneMtype -> DaneMtype -> DaneMtype
quot :: DaneMtype -> DaneMtype -> DaneMtype
$crem :: DaneMtype -> DaneMtype -> DaneMtype
rem :: DaneMtype -> DaneMtype -> DaneMtype
$cdiv :: DaneMtype -> DaneMtype -> DaneMtype
div :: DaneMtype -> DaneMtype -> DaneMtype
$cmod :: DaneMtype -> DaneMtype -> DaneMtype
mod :: DaneMtype -> DaneMtype -> DaneMtype
$cquotRem :: DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype)
quotRem :: DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype)
$cdivMod :: DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype)
divMod :: DaneMtype -> DaneMtype -> (DaneMtype, DaneMtype)
$ctoInteger :: DaneMtype -> Integer
toInteger :: DaneMtype -> Integer
Integral, Int -> DaneMtype -> ShowS
[DaneMtype] -> ShowS
DaneMtype -> String
(Int -> DaneMtype -> ShowS)
-> (DaneMtype -> String)
-> ([DaneMtype] -> ShowS)
-> Show DaneMtype
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> DaneMtype -> ShowS
showsPrec :: Int -> DaneMtype -> ShowS
$cshow :: DaneMtype -> String
show :: DaneMtype -> String
$cshowList :: [DaneMtype] -> ShowS
showList :: [DaneMtype] -> ShowS
Show, ReadPrec [DaneMtype]
ReadPrec DaneMtype
Int -> ReadS DaneMtype
ReadS [DaneMtype]
(Int -> ReadS DaneMtype)
-> ReadS [DaneMtype]
-> ReadPrec DaneMtype
-> ReadPrec [DaneMtype]
-> Read DaneMtype
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS DaneMtype
readsPrec :: Int -> ReadS DaneMtype
$creadList :: ReadS [DaneMtype]
readList :: ReadS [DaneMtype]
$creadPrec :: ReadPrec DaneMtype
readPrec :: ReadPrec DaneMtype
$creadListPrec :: ReadPrec [DaneMtype]
readListPrec :: ReadPrec [DaneMtype]
Read)

instance Presentable DaneMtype where
    present :: DaneMtype -> Builder -> Builder
present (DaneMtype Word8
m) = Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
m
    {-# INLINE present #-}

-- | SSH host key algorithms
newtype SshKeyAlgorithm = SshKeyAlgorithm Word8
    deriving newtype (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
(SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> Eq SshKeyAlgorithm
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
== :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
$c/= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
/= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
Eq, Eq SshKeyAlgorithm
Eq SshKeyAlgorithm =>
(SshKeyAlgorithm -> SshKeyAlgorithm -> Ordering)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> Bool)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> Ord SshKeyAlgorithm
SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
SshKeyAlgorithm -> SshKeyAlgorithm -> Ordering
SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
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
$ccompare :: SshKeyAlgorithm -> SshKeyAlgorithm -> Ordering
compare :: SshKeyAlgorithm -> SshKeyAlgorithm -> Ordering
$c< :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
< :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
$c<= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
<= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
$c> :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
> :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
$c>= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
>= :: SshKeyAlgorithm -> SshKeyAlgorithm -> Bool
$cmax :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
max :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$cmin :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
min :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
Ord, Int -> SshKeyAlgorithm
SshKeyAlgorithm -> Int
SshKeyAlgorithm -> [SshKeyAlgorithm]
SshKeyAlgorithm -> SshKeyAlgorithm
SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
SshKeyAlgorithm
-> SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
(SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm)
-> (Int -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> Int)
-> (SshKeyAlgorithm -> [SshKeyAlgorithm])
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm])
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm])
-> (SshKeyAlgorithm
    -> SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm])
-> Enum SshKeyAlgorithm
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: SshKeyAlgorithm -> SshKeyAlgorithm
succ :: SshKeyAlgorithm -> SshKeyAlgorithm
$cpred :: SshKeyAlgorithm -> SshKeyAlgorithm
pred :: SshKeyAlgorithm -> SshKeyAlgorithm
$ctoEnum :: Int -> SshKeyAlgorithm
toEnum :: Int -> SshKeyAlgorithm
$cfromEnum :: SshKeyAlgorithm -> Int
fromEnum :: SshKeyAlgorithm -> Int
$cenumFrom :: SshKeyAlgorithm -> [SshKeyAlgorithm]
enumFrom :: SshKeyAlgorithm -> [SshKeyAlgorithm]
$cenumFromThen :: SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
enumFromThen :: SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
$cenumFromTo :: SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
enumFromTo :: SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
$cenumFromThenTo :: SshKeyAlgorithm
-> SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
enumFromThenTo :: SshKeyAlgorithm
-> SshKeyAlgorithm -> SshKeyAlgorithm -> [SshKeyAlgorithm]
Enum, SshKeyAlgorithm
SshKeyAlgorithm -> SshKeyAlgorithm -> Bounded SshKeyAlgorithm
forall a. a -> a -> Bounded a
$cminBound :: SshKeyAlgorithm
minBound :: SshKeyAlgorithm
$cmaxBound :: SshKeyAlgorithm
maxBound :: SshKeyAlgorithm
Bounded, Integer -> SshKeyAlgorithm
SshKeyAlgorithm -> SshKeyAlgorithm
SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
(SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm)
-> (Integer -> SshKeyAlgorithm)
-> Num SshKeyAlgorithm
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
+ :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$c- :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
- :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$c* :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
* :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$cnegate :: SshKeyAlgorithm -> SshKeyAlgorithm
negate :: SshKeyAlgorithm -> SshKeyAlgorithm
$cabs :: SshKeyAlgorithm -> SshKeyAlgorithm
abs :: SshKeyAlgorithm -> SshKeyAlgorithm
$csignum :: SshKeyAlgorithm -> SshKeyAlgorithm
signum :: SshKeyAlgorithm -> SshKeyAlgorithm
$cfromInteger :: Integer -> SshKeyAlgorithm
fromInteger :: Integer -> SshKeyAlgorithm
Num, Num SshKeyAlgorithm
Ord SshKeyAlgorithm
(Num SshKeyAlgorithm, Ord SshKeyAlgorithm) =>
(SshKeyAlgorithm -> Rational) -> Real SshKeyAlgorithm
SshKeyAlgorithm -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: SshKeyAlgorithm -> Rational
toRational :: SshKeyAlgorithm -> Rational
Real, Enum SshKeyAlgorithm
Real SshKeyAlgorithm
(Real SshKeyAlgorithm, Enum SshKeyAlgorithm) =>
(SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm)
-> (SshKeyAlgorithm
    -> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm))
-> (SshKeyAlgorithm
    -> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm))
-> (SshKeyAlgorithm -> Integer)
-> Integral SshKeyAlgorithm
SshKeyAlgorithm -> Integer
SshKeyAlgorithm
-> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm)
SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
quot :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$crem :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
rem :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$cdiv :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
div :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$cmod :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
mod :: SshKeyAlgorithm -> SshKeyAlgorithm -> SshKeyAlgorithm
$cquotRem :: SshKeyAlgorithm
-> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm)
quotRem :: SshKeyAlgorithm
-> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm)
$cdivMod :: SshKeyAlgorithm
-> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm)
divMod :: SshKeyAlgorithm
-> SshKeyAlgorithm -> (SshKeyAlgorithm, SshKeyAlgorithm)
$ctoInteger :: SshKeyAlgorithm -> Integer
toInteger :: SshKeyAlgorithm -> Integer
Integral, Int -> SshKeyAlgorithm -> ShowS
[SshKeyAlgorithm] -> ShowS
SshKeyAlgorithm -> String
(Int -> SshKeyAlgorithm -> ShowS)
-> (SshKeyAlgorithm -> String)
-> ([SshKeyAlgorithm] -> ShowS)
-> Show SshKeyAlgorithm
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> SshKeyAlgorithm -> ShowS
showsPrec :: Int -> SshKeyAlgorithm -> ShowS
$cshow :: SshKeyAlgorithm -> String
show :: SshKeyAlgorithm -> String
$cshowList :: [SshKeyAlgorithm] -> ShowS
showList :: [SshKeyAlgorithm] -> ShowS
Show, ReadPrec [SshKeyAlgorithm]
ReadPrec SshKeyAlgorithm
Int -> ReadS SshKeyAlgorithm
ReadS [SshKeyAlgorithm]
(Int -> ReadS SshKeyAlgorithm)
-> ReadS [SshKeyAlgorithm]
-> ReadPrec SshKeyAlgorithm
-> ReadPrec [SshKeyAlgorithm]
-> Read SshKeyAlgorithm
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS SshKeyAlgorithm
readsPrec :: Int -> ReadS SshKeyAlgorithm
$creadList :: ReadS [SshKeyAlgorithm]
readList :: ReadS [SshKeyAlgorithm]
$creadPrec :: ReadPrec SshKeyAlgorithm
readPrec :: ReadPrec SshKeyAlgorithm
$creadListPrec :: ReadPrec [SshKeyAlgorithm]
readListPrec :: ReadPrec [SshKeyAlgorithm]
Read)

instance Presentable SshKeyAlgorithm where
    present :: SshKeyAlgorithm -> Builder -> Builder
present SshKeyAlgorithm
SSHKEYRSA           = forall a. Presentable a => a -> Builder -> Builder
present @String String
"RSA"
    present SshKeyAlgorithm
SSHKEYDSA           = forall a. Presentable a => a -> Builder -> Builder
present @String String
"DSA"
    present SshKeyAlgorithm
SSHKEYECDSA         = forall a. Presentable a => a -> Builder -> Builder
present @String String
"ECDSA"
    present SshKeyAlgorithm
SSHKEYED25519       = forall a. Presentable a => a -> Builder -> Builder
present @String String
"Ed25519"
    present SshKeyAlgorithm
SSHKEYED448         = forall a. Presentable a => a -> Builder -> Builder
present @String String
"Ed448"
    present (SshKeyAlgorithm Word8
n) = forall a. Presentable a => a -> Builder -> Builder
present @String String
"SSHKEYTYPE" (Builder -> Builder) -> (Builder -> Builder) -> Builder -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
n

-- | SSH hash type
newtype SshHashType = SshHashType Word8
    deriving newtype (SshHashType -> SshHashType -> Bool
(SshHashType -> SshHashType -> Bool)
-> (SshHashType -> SshHashType -> Bool) -> Eq SshHashType
forall a. (a -> a -> Bool) -> (a -> a -> Bool) -> Eq a
$c== :: SshHashType -> SshHashType -> Bool
== :: SshHashType -> SshHashType -> Bool
$c/= :: SshHashType -> SshHashType -> Bool
/= :: SshHashType -> SshHashType -> Bool
Eq, Eq SshHashType
Eq SshHashType =>
(SshHashType -> SshHashType -> Ordering)
-> (SshHashType -> SshHashType -> Bool)
-> (SshHashType -> SshHashType -> Bool)
-> (SshHashType -> SshHashType -> Bool)
-> (SshHashType -> SshHashType -> Bool)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> Ord SshHashType
SshHashType -> SshHashType -> Bool
SshHashType -> SshHashType -> Ordering
SshHashType -> SshHashType -> SshHashType
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
$ccompare :: SshHashType -> SshHashType -> Ordering
compare :: SshHashType -> SshHashType -> Ordering
$c< :: SshHashType -> SshHashType -> Bool
< :: SshHashType -> SshHashType -> Bool
$c<= :: SshHashType -> SshHashType -> Bool
<= :: SshHashType -> SshHashType -> Bool
$c> :: SshHashType -> SshHashType -> Bool
> :: SshHashType -> SshHashType -> Bool
$c>= :: SshHashType -> SshHashType -> Bool
>= :: SshHashType -> SshHashType -> Bool
$cmax :: SshHashType -> SshHashType -> SshHashType
max :: SshHashType -> SshHashType -> SshHashType
$cmin :: SshHashType -> SshHashType -> SshHashType
min :: SshHashType -> SshHashType -> SshHashType
Ord, Int -> SshHashType
SshHashType -> Int
SshHashType -> [SshHashType]
SshHashType -> SshHashType
SshHashType -> SshHashType -> [SshHashType]
SshHashType -> SshHashType -> SshHashType -> [SshHashType]
(SshHashType -> SshHashType)
-> (SshHashType -> SshHashType)
-> (Int -> SshHashType)
-> (SshHashType -> Int)
-> (SshHashType -> [SshHashType])
-> (SshHashType -> SshHashType -> [SshHashType])
-> (SshHashType -> SshHashType -> [SshHashType])
-> (SshHashType -> SshHashType -> SshHashType -> [SshHashType])
-> Enum SshHashType
forall a.
(a -> a)
-> (a -> a)
-> (Int -> a)
-> (a -> Int)
-> (a -> [a])
-> (a -> a -> [a])
-> (a -> a -> [a])
-> (a -> a -> a -> [a])
-> Enum a
$csucc :: SshHashType -> SshHashType
succ :: SshHashType -> SshHashType
$cpred :: SshHashType -> SshHashType
pred :: SshHashType -> SshHashType
$ctoEnum :: Int -> SshHashType
toEnum :: Int -> SshHashType
$cfromEnum :: SshHashType -> Int
fromEnum :: SshHashType -> Int
$cenumFrom :: SshHashType -> [SshHashType]
enumFrom :: SshHashType -> [SshHashType]
$cenumFromThen :: SshHashType -> SshHashType -> [SshHashType]
enumFromThen :: SshHashType -> SshHashType -> [SshHashType]
$cenumFromTo :: SshHashType -> SshHashType -> [SshHashType]
enumFromTo :: SshHashType -> SshHashType -> [SshHashType]
$cenumFromThenTo :: SshHashType -> SshHashType -> SshHashType -> [SshHashType]
enumFromThenTo :: SshHashType -> SshHashType -> SshHashType -> [SshHashType]
Enum, SshHashType
SshHashType -> SshHashType -> Bounded SshHashType
forall a. a -> a -> Bounded a
$cminBound :: SshHashType
minBound :: SshHashType
$cmaxBound :: SshHashType
maxBound :: SshHashType
Bounded, Integer -> SshHashType
SshHashType -> SshHashType
SshHashType -> SshHashType -> SshHashType
(SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType)
-> (SshHashType -> SshHashType)
-> (SshHashType -> SshHashType)
-> (Integer -> SshHashType)
-> Num SshHashType
forall a.
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a)
-> (a -> a)
-> (a -> a)
-> (Integer -> a)
-> Num a
$c+ :: SshHashType -> SshHashType -> SshHashType
+ :: SshHashType -> SshHashType -> SshHashType
$c- :: SshHashType -> SshHashType -> SshHashType
- :: SshHashType -> SshHashType -> SshHashType
$c* :: SshHashType -> SshHashType -> SshHashType
* :: SshHashType -> SshHashType -> SshHashType
$cnegate :: SshHashType -> SshHashType
negate :: SshHashType -> SshHashType
$cabs :: SshHashType -> SshHashType
abs :: SshHashType -> SshHashType
$csignum :: SshHashType -> SshHashType
signum :: SshHashType -> SshHashType
$cfromInteger :: Integer -> SshHashType
fromInteger :: Integer -> SshHashType
Num, Num SshHashType
Ord SshHashType
(Num SshHashType, Ord SshHashType) =>
(SshHashType -> Rational) -> Real SshHashType
SshHashType -> Rational
forall a. (Num a, Ord a) => (a -> Rational) -> Real a
$ctoRational :: SshHashType -> Rational
toRational :: SshHashType -> Rational
Real, Enum SshHashType
Real SshHashType
(Real SshHashType, Enum SshHashType) =>
(SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> SshHashType)
-> (SshHashType -> SshHashType -> (SshHashType, SshHashType))
-> (SshHashType -> SshHashType -> (SshHashType, SshHashType))
-> (SshHashType -> Integer)
-> Integral SshHashType
SshHashType -> Integer
SshHashType -> SshHashType -> (SshHashType, SshHashType)
SshHashType -> SshHashType -> SshHashType
forall a.
(Real a, Enum a) =>
(a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> a)
-> (a -> a -> (a, a))
-> (a -> a -> (a, a))
-> (a -> Integer)
-> Integral a
$cquot :: SshHashType -> SshHashType -> SshHashType
quot :: SshHashType -> SshHashType -> SshHashType
$crem :: SshHashType -> SshHashType -> SshHashType
rem :: SshHashType -> SshHashType -> SshHashType
$cdiv :: SshHashType -> SshHashType -> SshHashType
div :: SshHashType -> SshHashType -> SshHashType
$cmod :: SshHashType -> SshHashType -> SshHashType
mod :: SshHashType -> SshHashType -> SshHashType
$cquotRem :: SshHashType -> SshHashType -> (SshHashType, SshHashType)
quotRem :: SshHashType -> SshHashType -> (SshHashType, SshHashType)
$cdivMod :: SshHashType -> SshHashType -> (SshHashType, SshHashType)
divMod :: SshHashType -> SshHashType -> (SshHashType, SshHashType)
$ctoInteger :: SshHashType -> Integer
toInteger :: SshHashType -> Integer
Integral, Int -> SshHashType -> ShowS
[SshHashType] -> ShowS
SshHashType -> String
(Int -> SshHashType -> ShowS)
-> (SshHashType -> String)
-> ([SshHashType] -> ShowS)
-> Show SshHashType
forall a.
(Int -> a -> ShowS) -> (a -> String) -> ([a] -> ShowS) -> Show a
$cshowsPrec :: Int -> SshHashType -> ShowS
showsPrec :: Int -> SshHashType -> ShowS
$cshow :: SshHashType -> String
show :: SshHashType -> String
$cshowList :: [SshHashType] -> ShowS
showList :: [SshHashType] -> ShowS
Show, ReadPrec [SshHashType]
ReadPrec SshHashType
Int -> ReadS SshHashType
ReadS [SshHashType]
(Int -> ReadS SshHashType)
-> ReadS [SshHashType]
-> ReadPrec SshHashType
-> ReadPrec [SshHashType]
-> Read SshHashType
forall a.
(Int -> ReadS a)
-> ReadS [a] -> ReadPrec a -> ReadPrec [a] -> Read a
$creadsPrec :: Int -> ReadS SshHashType
readsPrec :: Int -> ReadS SshHashType
$creadList :: ReadS [SshHashType]
readList :: ReadS [SshHashType]
$creadPrec :: ReadPrec SshHashType
readPrec :: ReadPrec SshHashType
$creadListPrec :: ReadPrec [SshHashType]
readListPrec :: ReadPrec [SshHashType]
Read)

instance Presentable SshHashType where
    present :: SshHashType -> Builder -> Builder
present SshHashType
SSHSHA2_256     = forall a. Presentable a => a -> Builder -> Builder
present @String String
"SHA256"
    present SshHashType
SSHSHA2_512     = forall a. Presentable a => a -> Builder -> Builder
present @String String
"SHA512"
    present (SshHashType Word8
n) = forall a. Presentable a => a -> Builder -> Builder
present @String String
"SSHHashTYPE" (Builder -> Builder) -> (Builder -> Builder) -> Builder -> Builder
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Word8 -> Builder -> Builder
forall a. Presentable a => a -> Builder -> Builder
present Word8
n

-- DNSKEY algorithms

pattern KA_RSAMD5 :: DNSKEYAlg
pattern $mKA_RSAMD5 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_RSAMD5 :: DNSKEYAlg
KA_RSAMD5  = DNSKEYAlg 1

pattern KA_DH :: DNSKEYAlg
pattern $mKA_DH :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_DH :: DNSKEYAlg
KA_DH  = DNSKEYAlg 2

pattern KA_DSA :: DNSKEYAlg
pattern $mKA_DSA :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_DSA :: DNSKEYAlg
KA_DSA  = DNSKEYAlg 3

pattern KA_RSASHA1 :: DNSKEYAlg
pattern $mKA_RSASHA1 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_RSASHA1 :: DNSKEYAlg
KA_RSASHA1  = DNSKEYAlg 5

pattern KA_DSA_NSEC3_SHA1 :: DNSKEYAlg
pattern $mKA_DSA_NSEC3_SHA1 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_DSA_NSEC3_SHA1 :: DNSKEYAlg
KA_DSA_NSEC3_SHA1  = DNSKEYAlg 6

pattern KA_RSASHA1_NSEC3_SHA1 :: DNSKEYAlg
pattern $mKA_RSASHA1_NSEC3_SHA1 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_RSASHA1_NSEC3_SHA1 :: DNSKEYAlg
KA_RSASHA1_NSEC3_SHA1  = DNSKEYAlg 7

pattern KA_RSASHA256 :: DNSKEYAlg
pattern $mKA_RSASHA256 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_RSASHA256 :: DNSKEYAlg
KA_RSASHA256  = DNSKEYAlg 8

pattern KA_RSASHA512 :: DNSKEYAlg
pattern $mKA_RSASHA512 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_RSASHA512 :: DNSKEYAlg
KA_RSASHA512  = DNSKEYAlg 10

pattern KA_ECC_GOST :: DNSKEYAlg
pattern $mKA_ECC_GOST :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_ECC_GOST :: DNSKEYAlg
KA_ECC_GOST  = DNSKEYAlg 12

pattern KA_ECDSAP256SHA256 :: DNSKEYAlg
pattern $mKA_ECDSAP256SHA256 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_ECDSAP256SHA256 :: DNSKEYAlg
KA_ECDSAP256SHA256  = DNSKEYAlg 13

pattern KA_ECDSAP384SHA384 :: DNSKEYAlg
pattern $mKA_ECDSAP384SHA384 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_ECDSAP384SHA384 :: DNSKEYAlg
KA_ECDSAP384SHA384  = DNSKEYAlg 14

pattern KA_ED25519 :: DNSKEYAlg
pattern $mKA_ED25519 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_ED25519 :: DNSKEYAlg
KA_ED25519  = DNSKEYAlg 15

pattern KA_ED448 :: DNSKEYAlg
pattern $mKA_ED448 :: forall {r}. DNSKEYAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bKA_ED448 :: DNSKEYAlg
KA_ED448  = DNSKEYAlg 16

-- DS digest type algorithms

pattern DS_SHA1 :: DSHashAlg
pattern $mDS_SHA1 :: forall {r}. DSHashAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bDS_SHA1 :: DSHashAlg
DS_SHA1  = DSHashAlg 1

pattern DS_SHA256 :: DSHashAlg
pattern $mDS_SHA256 :: forall {r}. DSHashAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bDS_SHA256 :: DSHashAlg
DS_SHA256  = DSHashAlg 2

pattern DS_GOST94 :: DSHashAlg
pattern $mDS_GOST94 :: forall {r}. DSHashAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bDS_GOST94 :: DSHashAlg
DS_GOST94  = DSHashAlg 3

pattern DS_SHA384 :: DSHashAlg
pattern $mDS_SHA384 :: forall {r}. DSHashAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bDS_SHA384 :: DSHashAlg
DS_SHA384  = DSHashAlg 4

-- NSEC3 Hash algorithms

pattern N3_SHA1 :: NSEC3HashAlg
pattern $mN3_SHA1 :: forall {r}. NSEC3HashAlg -> ((# #) -> r) -> ((# #) -> r) -> r
$bN3_SHA1 :: NSEC3HashAlg
N3_SHA1  = NSEC3HashAlg 1

-- DANE TLSA certificate usages

pattern PKIX_TA :: DaneUsage
pattern $mPKIX_TA :: forall {r}. DaneUsage -> ((# #) -> r) -> ((# #) -> r) -> r
$bPKIX_TA :: DaneUsage
PKIX_TA  = DaneUsage 0

pattern PKIX_EE :: DaneUsage
pattern $mPKIX_EE :: forall {r}. DaneUsage -> ((# #) -> r) -> ((# #) -> r) -> r
$bPKIX_EE :: DaneUsage
PKIX_EE  = DaneUsage 1

pattern DANE_TA :: DaneUsage
pattern $mDANE_TA :: forall {r}. DaneUsage -> ((# #) -> r) -> ((# #) -> r) -> r
$bDANE_TA :: DaneUsage
DANE_TA  = DaneUsage 2

pattern DANE_EE :: DaneUsage
pattern $mDANE_EE :: forall {r}. DaneUsage -> ((# #) -> r) -> ((# #) -> r) -> r
$bDANE_EE :: DaneUsage
DANE_EE  = DaneUsage 3

pattern PrivCert :: DaneUsage
pattern $mPrivCert :: forall {r}. DaneUsage -> ((# #) -> r) -> ((# #) -> r) -> r
$bPrivCert :: DaneUsage
PrivCert  = DaneUsage 255

-- DANE TLSA selectors

pattern Cert :: DaneSelector
pattern $mCert :: forall {r}. DaneSelector -> ((# #) -> r) -> ((# #) -> r) -> r
$bCert :: DaneSelector
Cert  = DaneSelector 0

pattern SPKI :: DaneSelector
pattern $mSPKI :: forall {r}. DaneSelector -> ((# #) -> r) -> ((# #) -> r) -> r
$bSPKI :: DaneSelector
SPKI  = DaneSelector 1

pattern PrivSel :: DaneSelector
pattern $mPrivSel :: forall {r}. DaneSelector -> ((# #) -> r) -> ((# #) -> r) -> r
$bPrivSel :: DaneSelector
PrivSel  = DaneSelector 255

-- DANE TLSA matching types

pattern Full :: DaneMtype
pattern $mFull :: forall {r}. DaneMtype -> ((# #) -> r) -> ((# #) -> r) -> r
$bFull :: DaneMtype
Full  = DaneMtype 0

pattern SHA2_256 :: DaneMtype
pattern $mSHA2_256 :: forall {r}. DaneMtype -> ((# #) -> r) -> ((# #) -> r) -> r
$bSHA2_256 :: DaneMtype
SHA2_256  = DaneMtype 1

pattern SHA2_512 :: DaneMtype
pattern $mSHA2_512 :: forall {r}. DaneMtype -> ((# #) -> r) -> ((# #) -> r) -> r
$bSHA2_512 :: DaneMtype
SHA2_512  = DaneMtype 2

pattern PrivMatch :: DaneMtype
pattern $mPrivMatch :: forall {r}. DaneMtype -> ((# #) -> r) -> ((# #) -> r) -> r
$bPrivMatch :: DaneMtype
PrivMatch  = DaneMtype 255

-- [SSHFP KEY algorithms](https://www.iana.org/assignments/dns-sshfp-rr-parameters/dns-sshfp-rr-parameters.xhtml)

pattern SSHKEYRSA     :: SshKeyAlgorithm;       pattern $mSSHKEYRSA :: forall {r}. SshKeyAlgorithm -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHKEYRSA :: SshKeyAlgorithm
SSHKEYRSA     = 1
pattern SSHKEYDSA     :: SshKeyAlgorithm;       pattern $mSSHKEYDSA :: forall {r}. SshKeyAlgorithm -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHKEYDSA :: SshKeyAlgorithm
SSHKEYDSA     = 2
pattern SSHKEYECDSA   :: SshKeyAlgorithm;       pattern $mSSHKEYECDSA :: forall {r}. SshKeyAlgorithm -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHKEYECDSA :: SshKeyAlgorithm
SSHKEYECDSA   = 3
pattern SSHKEYED25519 :: SshKeyAlgorithm;       pattern $mSSHKEYED25519 :: forall {r}. SshKeyAlgorithm -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHKEYED25519 :: SshKeyAlgorithm
SSHKEYED25519 = 4
pattern SSHKEYED448   :: SshKeyAlgorithm;       pattern $mSSHKEYED448 :: forall {r}. SshKeyAlgorithm -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHKEYED448 :: SshKeyAlgorithm
SSHKEYED448   = 6

pattern SSHSHA2_256   :: SshHashType;           pattern $mSSHSHA2_256 :: forall {r}. SshHashType -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHSHA2_256 :: SshHashType
SSHSHA2_256   = 1
pattern SSHSHA2_512   :: SshHashType;           pattern $mSSHSHA2_512 :: forall {r}. SshHashType -> ((# #) -> r) -> ((# #) -> r) -> r
$bSSHSHA2_512 :: SshHashType
SSHSHA2_512   = 2