keystore-0.8.1.1: Managing stores of secret things

Safe HaskellNone
LanguageHaskell2010

Data.KeyStore.Types

Contents

Description

The KeyStore and Associated Types

Note that most of these types and functions were generated by the api-tools (Data.Api.Tools) from the schema in Data.KeyStore.Types.Schema, marked down in https://github.com/cdornan/keystore/blob/master/schema.md.

Synopsis

Documentation

data Dirctn Source #

Constructors

Encrypting 
Decrypting 
Instances
Show Dirctn Source # 
Instance details

Defined in Data.KeyStore.Types

data Pattern Source #

Keystore session context, created at the start of a session and passed to the keystore access functions.

Constructors

Pattern 
Instances
Eq Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Pattern -> Pattern -> Bool #

(/=) :: Pattern -> Pattern -> Bool #

Show Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

IsString Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

fromString :: String -> Pattern #

ToJSON Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

newtype Void Source #

Constructors

Void 

Fields

Instances
Eq Void Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Void -> Void -> Bool #

(/=) :: Void -> Void -> Bool #

Ord Void Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

compare :: Void -> Void -> Ordering #

(<) :: Void -> Void -> Bool #

(<=) :: Void -> Void -> Bool #

(>) :: Void -> Void -> Bool #

(>=) :: Void -> Void -> Bool #

max :: Void -> Void -> Void #

min :: Void -> Void -> Void #

Show Void Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

showsPrec :: Int -> Void -> ShowS #

show :: Void -> String #

showList :: [Void] -> ShowS #

ToJSON Void Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Void Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Void Source # 
Instance details

Defined in Data.KeyStore.Types

newtype SignaturePacket Source #

Constructors

SignaturePacket 

newtype EncryptionPacket Source #

Constructors

EncryptionPacket 
Instances
Eq EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

Ord EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

Show EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs EncryptionPacket Source # 
Instance details

Defined in Data.KeyStore.Types

newtype RSASecretBytes Source #

Constructors

RSASecretBytes 

newtype RSAEncryptedKey Source #

Constructors

RSAEncryptedKey 

newtype AESKey Source #

Constructors

AESKey 

Fields

Instances
Eq AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: AESKey -> AESKey -> Bool #

(/=) :: AESKey -> AESKey -> Bool #

Ord AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

Show AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs AESKey Source # 
Instance details

Defined in Data.KeyStore.Types

newtype IV Source #

Constructors

IV 

Fields

Instances
Eq IV Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: IV -> IV -> Bool #

(/=) :: IV -> IV -> Bool #

Ord IV Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

compare :: IV -> IV -> Ordering #

(<) :: IV -> IV -> Bool #

(<=) :: IV -> IV -> Bool #

(>) :: IV -> IV -> Bool #

(>=) :: IV -> IV -> Bool #

max :: IV -> IV -> IV #

min :: IV -> IV -> IV #

Show IV Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

showsPrec :: Int -> IV -> ShowS #

show :: IV -> String #

showList :: [IV] -> ShowS #

ToJSON IV Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON IV Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs IV Source # 
Instance details

Defined in Data.KeyStore.Types

newtype Salt Source #

Constructors

Salt 

Fields

Instances
Eq Salt Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Salt -> Salt -> Bool #

(/=) :: Salt -> Salt -> Bool #

Ord Salt Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

compare :: Salt -> Salt -> Ordering #

(<) :: Salt -> Salt -> Bool #

(<=) :: Salt -> Salt -> Bool #

(>) :: Salt -> Salt -> Bool #

(>=) :: Salt -> Salt -> Bool #

max :: Salt -> Salt -> Salt #

min :: Salt -> Salt -> Salt #

Show Salt Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

showsPrec :: Int -> Salt -> ShowS #

show :: Salt -> String #

showList :: [Salt] -> ShowS #

ToJSON Salt Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Salt Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Salt Source # 
Instance details

Defined in Data.KeyStore.Types

newtype EnvVar Source #

Constructors

EnvVar 

Fields

Instances
Eq EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: EnvVar -> EnvVar -> Bool #

(/=) :: EnvVar -> EnvVar -> Bool #

Ord EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

Show EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

IsString EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

fromString :: String -> EnvVar #

ToJSON EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs EnvVar Source # 
Instance details

Defined in Data.KeyStore.Types

newtype Comment Source #

Constructors

Comment 

Fields

Instances
Eq Comment Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Comment -> Comment -> Bool #

(/=) :: Comment -> Comment -> Bool #

Ord Comment Source # 
Instance details

Defined in Data.KeyStore.Types

Show Comment Source # 
Instance details

Defined in Data.KeyStore.Types

IsString Comment Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

fromString :: String -> Comment #

ToJSON Comment Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Comment Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Comment Source # 
Instance details

Defined in Data.KeyStore.Types

newtype Octets Source #

Constructors

Octets 

Fields

Instances
Eq Octets Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Octets -> Octets -> Bool #

(/=) :: Octets -> Octets -> Bool #

Num Octets Source # 
Instance details

Defined in Data.KeyStore.Types

Ord Octets Source # 
Instance details

Defined in Data.KeyStore.Types

Show Octets Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON Octets Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Octets Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Octets Source # 
Instance details

Defined in Data.KeyStore.Types

newtype Iterations Source #

Constructors

Iterations 

Fields

Instances
Eq Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

Num Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

Ord Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

Show Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Iterations Source # 
Instance details

Defined in Data.KeyStore.Types

newtype REP__Pattern Source #

Constructors

REP__Pattern 

Fields

Instances
Eq REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

Ord REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

Show REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

IsString REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs REP__Pattern Source # 
Instance details

Defined in Data.KeyStore.Types

newtype FragmentID Source #

Constructors

FragmentID 

Fields

data HashPRF Source #

Instances
Bounded HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

Enum HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

Eq HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: HashPRF -> HashPRF -> Bool #

(/=) :: HashPRF -> HashPRF -> Bool #

Ord HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

Show HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs HashPRF Source # 
Instance details

Defined in Data.KeyStore.Types

data Cipher Source #

Instances
Bounded Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

Enum Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

Eq Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Cipher -> Cipher -> Bool #

(/=) :: Cipher -> Cipher -> Bool #

Ord Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

Show Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Cipher Source # 
Instance details

Defined in Data.KeyStore.Types

data Hash Source #

Instances
Eq Hash Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: Hash -> Hash -> Bool #

(/=) :: Hash -> Hash -> Bool #

Show Hash Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

showsPrec :: Int -> Hash -> ShowS #

show :: Hash -> String #

showList :: [Hash] -> ShowS #

ToJSON Hash Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON Hash Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs Hash Source # 
Instance details

Defined in Data.KeyStore.Types

data KeyMap_ Source #

Constructors

KeyMap_ 
Instances
Eq KeyMap_ Source # 
Instance details

Defined in Data.KeyStore.Types

Methods

(==) :: KeyMap_ -> KeyMap_ -> Bool #

(/=) :: KeyMap_ -> KeyMap_ -> Bool #

Show KeyMap_ Source # 
Instance details

Defined in Data.KeyStore.Types

ToJSON KeyMap_ Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON KeyMap_ Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs KeyMap_ Source # 
Instance details

Defined in Data.KeyStore.Types

map_from_list :: Ord a => String -> (c -> [b]) -> (b -> a) -> (a -> Text) -> c -> ParserWithErrs (Map a b) Source #

data PublicKey #

Represent a RSA public key

Constructors

PublicKey 

Fields

Instances
Eq PublicKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Data PublicKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PublicKey -> c PublicKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PublicKey #

toConstr :: PublicKey -> Constr #

dataTypeOf :: PublicKey -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PublicKey) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PublicKey) #

gmapT :: (forall b. Data b => b -> b) -> PublicKey -> PublicKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PublicKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> PublicKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PublicKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PublicKey -> m PublicKey #

Read PublicKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Show PublicKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

ToJSON PublicKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON PublicKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs PublicKey Source # 
Instance details

Defined in Data.KeyStore.Types

ASN1Object PublicKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

data PrivateKey #

Represent a RSA private key.

Only the pub, d fields are mandatory to fill.

p, q, dP, dQ, qinv are by-product during RSA generation, but are useful to record here to speed up massively the decrypt and sign operation.

implementations can leave optional fields to 0.

Constructors

PrivateKey 

Fields

Instances
Eq PrivateKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Data PrivateKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrivateKey -> c PrivateKey #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrivateKey #

toConstr :: PrivateKey -> Constr #

dataTypeOf :: PrivateKey -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrivateKey) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrivateKey) #

gmapT :: (forall b. Data b => b -> b) -> PrivateKey -> PrivateKey #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrivateKey -> r #

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrivateKey -> r #

gmapQ :: (forall d. Data d => d -> u) -> PrivateKey -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> PrivateKey -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrivateKey -> m PrivateKey #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrivateKey -> m PrivateKey #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrivateKey -> m PrivateKey #

Read PrivateKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Show PrivateKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

ToJSON PrivateKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSON PrivateKey Source # 
Instance details

Defined in Data.KeyStore.Types

FromJSONWithErrs PrivateKey Source # 
Instance details

Defined in Data.KeyStore.Types

ASN1Object PrivateKey 
Instance details

Defined in Crypto.Types.PubKey.RSA

Orphan instances

ToJSON PrivateKey Source # 
Instance details

ToJSON PublicKey Source # 
Instance details

ToJSON Safeguard Source # 
Instance details

ToJSON Name Source # 
Instance details

FromJSON PrivateKey Source # 
Instance details

FromJSON PublicKey Source # 
Instance details

FromJSON Safeguard Source # 
Instance details

FromJSON Name Source # 
Instance details

FromJSONWithErrs PrivateKey Source # 
Instance details

FromJSONWithErrs PublicKey Source # 
Instance details

FromJSONWithErrs Safeguard Source # 
Instance details

FromJSONWithErrs Name Source # 
Instance details